71 Commits

Author	SHA1	Message	Date
pca006132	4a5f2d495e	added time measurement to track performance	2021-09-22 14:45:56 +08:00
ychenfo	e66693282c	nac3core: change the place to unify constructor type for function body type check ... add really basic field initialize check	2021-09-20 23:44:39 +08:00
pca006132	4939ff4dbd	simple implementation of classes	2021-09-19 22:54:06 +08:00
ychenfo	2b74895b71	nac3standalone, nac3core: can use top level composer to compile and run mandelbrot	2021-09-19 16:19:49 +08:00
ychenfo	2ac3f9a176	nac3core: separate top level compoer to a new file	2021-09-12 05:10:10 +08:00
ychenfo	03b5e51822	nac3standalone: cleanup	2021-09-10 21:27:08 +08:00
ychenfo	87f25e1c5d	nac3core: remove mutex on dyn symbol resolve	2021-09-08 19:27:32 +08:00
ychenfo	54b4572c5f	nac3core: allow interior mutability to dyn symbolresolver, add add_id_def to symbolresolver trait, remove primitive from top level def list	2021-09-06 19:23:04 +08:00
pca006132	2223c86d9b	nac3standalone: compile multiple functions	2021-08-27 16:25:59 +08:00
pca006132	d81249cabe	nac3standalone: enabled optimization and recorded time	2021-08-27 12:35:21 +08:00
pca006132	52dd792b3e	nac3standalone: added return check	2021-08-27 11:39:36 +08:00
pca006132	a24e204824	type_inferencer: check defined identifiers during inference	2021-08-27 11:13:43 +08:00
ychenfo	862d205f67	remove self kind and extra primitive info in the return of top level composer constructor, adding some helper function for type annotation	2021-08-25 17:47:26 +08:00
pca006132	0608fd9659	fixed test and nac3standalone	2021-08-25 15:30:36 +08:00
ychenfo	32773c14e0	move top level related things to a separate module	2021-08-24 17:19:17 +08:00
ychenfo	fb5b4697a9	fix rebase conflict and some test failure with unifier's error message	2021-08-23 10:34:11 +08:00
pca006132	957ceb74e4	nac3core/typecheck: added basic location information	2021-08-21 14:51:46 +08:00
pca006132	39545c0005	nac3standalone usable	2021-08-19 15:30:52 +08:00
Sebastien Bourdeauducq	703059adab	nac3standalone: renames	2020-12-18 22:35:59 +08:00
Sebastien Bourdeauducq	947a528656	libnac3 -> nac3core	2020-12-18 10:18:21 +08:00
Sebastien Bourdeauducq	06d2fbd25c	split off standalone compiler	2020-12-17 22:20:30 +08:00