23 commits

Author	SHA1	Message	Date
Mylloon	8129b36898	* add < to baselib ... * loop support	2022-12-13 17:10:14 +01:00
Mylloon	b5d13ab1d6	* add condition ... * fn can now return void * fix a bug in type checking a * fix a typo in the simplifier (Do/Return)	2022-12-13 16:09:25 +01:00
Mylloon	6a4c1744c4	add string support	2022-12-11 03:35:52 +01:00
Mylloon	79b9649979	be like pablo because pablo	2022-12-11 02:37:07 +01:00
Mylloon	add2ae999c	init: simplifier	2022-12-10 17:51:31 +01:00
Mylloon	db78e69267	use magic type for do	2022-12-10 16:49:51 +01:00
Mylloon	c5c2fd2d1c	handle non-void fn without return	2022-12-10 16:36:41 +01:00
Mylloon	16ee21d6d0	stop fn on return	2022-12-10 16:28:12 +01:00
Mylloon	c1d7a8e749	respect the fn type while return	2022-12-10 16:21:26 +01:00
Mylloon	c0c8880c56	handle args count	2022-12-10 16:11:37 +01:00
Mylloon	ceaafba460	handle no-main program	2022-12-10 15:39:18 +01:00
Mylloon	1c1e816457	add function semantics	2022-12-10 14:57:21 +01:00
Mylloon	f34245bbf0	add type to args of function	2022-12-10 13:49:05 +01:00
Mylloon	828a780f9c	WIP Function implementation ... * Add basic support of function * move debug function to test file * add a test who need to pass to end the implementation	2022-12-10 01:55:15 +01:00
Mylloon	6cd78dabaf	add void type	2022-12-09 22:20:05 +01:00
Mylloon	be24175a97	move all error related stuff to errors.ml file	2022-12-09 21:47:22 +01:00
Mylloon	cf14c64adc	add baselib support	2022-12-09 14:45:59 +01:00
Mylloon	d433aafc4f	wip (fn): add return	2022-12-09 14:14:33 +01:00
Mylloon	6f4eb269de	add boolean support	2022-12-08 21:30:39 +01:00
Mylloon	ca02eb9a3d	add variable support	2022-12-08 19:55:22 +01:00
Mylloon	b4f384ea76	add int into value type in IR	2022-12-08 14:04:46 +01:00
Mylloon	47adc5c8ed	use ocamlformat	2022-12-06 22:22:48 +01:00
Mylloon	1acd0af734	add project startup	2022-12-06 20:39:15 +01:00