24 Commits

Author	SHA1	Message	Date
pca006132	279f47f633	nac3core/codegen: avoid sending unifiers ... Previously, we have to copy types from one unification table to another, and make the table sendable. This requires cloning (processing) the whole table 3 times per function call which is not efficient and uses more memory than required when the unification table is large. We now use a concrete type table to only copy the type we need. This reduces the overhead as we only need to process the unification table for once (when we do the function codegen), and reduces memory usage by a bit (but not noticeable when the unification table is small, i.e. the types are simple).	2021-10-17 13:02:18 +08:00
pca006132	11144301ca	nac3artiq: added simple host value support	2021-10-06 16:07:42 +08:00
pca006132	084efe92af	nac3core: use string interning	2021-09-22 18:04:06 +08:00
ychenfo	87f25e1c5d	nac3core: remove mutex on dyn symbol resolve	2021-09-08 19:27:32 +08:00
ychenfo	55335fc05d	nac3core: top level simple type var handled	2021-09-08 02:27:12 +08:00
ychenfo	235b6e34d1	nac3core: top level derive fmt::Debug, fix dead lock	2021-09-07 00:20:40 +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
ychenfo	e2a9bdd8bc	nac3core: toplevel no duplicate type var too early	2021-08-30 14:15:36 +08:00
ychenfo	32773c14e0	move top level related things to a separate module	2021-08-24 17:19:17 +08:00
pca006132	c356062239	symbol_resolver: handle list and tuples	2021-08-24 14:58:19 +08:00
ychenfo	56f082ca7c	handle type var associated with class/function partially, change llvm version of nac3embedded to 11 ... format	2021-08-23 17:00:32 +08:00
ychenfo	7b1fe36e90	formatted	2021-08-23 11:13:45 +08:00
ychenfo	364054331c	handle class fields and methods	2021-08-23 02:54:45 +08:00
ychenfo	40b062ce0f	change the parse type annotation parameter type, refactoring top level	2021-08-23 02:54:45 +08:00
pca006132	cb01c79603	removed Arc from TypeEnum	2021-08-13 13:33:59 +08:00
pca006132	1db8378f60	formatting	2021-08-12 16:36:23 +08:00
pca006132	8c7ccb626b	fixed symbol_resolver blanket implementation	2021-08-12 14:44:50 +08:00
ychenfo	3a93e2b048	TypeEnum::TObj.param is now RefCell for interior mutability	2021-08-12 13:17:51 +08:00
pca006132	d46a4b2d38	symbol_resolver: fixed type variable handling	2021-08-12 10:25:32 +08:00
pca006132	de8b67b605	refactored symbol resolver	2021-08-11 17:28:29 +08:00
ychenfo	99276c8f31	formatted	2021-08-11 15:18:21 +08:00
ychenfo	82ce816177	refactored top level parsing, need review	2021-08-10 10:37:06 +08:00
pca006132	86ca02796b	function parameter handling	2021-08-07 17:25:14 +08:00
pca006132	c405e46b00	moving location and symbol_resolver out from typecheck	2021-08-07 10:28:41 +08:00