1
0
forked from M-Labs/nac3
Commit Graph

238 Commits

Author SHA1 Message Date
09c9218852 use custom unification table implementation
as the ena implementation did not expose the underlying vector store, we
cannot map over it to get a table without Rc<RefCell<T>> so that we can
send it around...
2021-07-22 11:37:29 +08:00
4f81690128 modified occur check 2021-07-21 16:10:11 +08:00
b3d849ea7a list test 2021-07-21 16:06:06 +08:00
3e03398d9b obj test 2021-07-21 15:59:01 +08:00
2f5c3b3cb7 more cleanup and started adding tests 2021-07-21 15:36:35 +08:00
25ff24a320 modified interface 2021-07-21 14:24:46 +08:00
0296844d5f cleanup 2021-07-21 13:28:05 +08:00
e95bfe1d31 added statements 2021-07-20 16:56:04 +08:00
bc9b453b3e function call implementation 2021-07-20 16:13:43 +08:00
fa31e8f336 fold listcomp 2021-07-20 13:45:17 +08:00
22455e43ac lambda fold 2021-07-20 11:47:19 +08:00
016166de46 skeleton done 2021-07-19 17:26:51 +08:00
eb4b2bb7f6 refactored using constrain
to allow easier modification later with subtyping
2021-07-19 17:05:48 +08:00
e732f7e089 removed integer encoding 2021-07-19 16:51:58 +08:00
d4b85d0bac expression type inference (WIP) 2021-07-19 13:35:01 +08:00
c913fb28bd use signed integer for TSeq 2021-07-19 13:34:45 +08:00
f51603f6da cleanup 2021-07-19 09:52:25 +08:00
d67407716c function unification... 2021-07-16 15:55:52 +08:00
f4121b570d added documentation 2021-07-16 14:34:52 +08:00
8b078dfa1b naming 2021-07-16 13:59:08 +08:00
62736bd4bf cleanup: we don't actually need arena 2021-07-16 13:58:02 +08:00
c2d00aa762 occur check 2021-07-15 16:51:55 +08:00
d94f25583b added tests 2021-07-15 16:00:23 +08:00
1df3f4e757 most of unification... 2021-07-14 17:20:12 +08:00
97fe450a0b occur check 2021-07-14 16:40:50 +08:00
e8c5189fce simplified code with Rc<RefCell<T>> 2021-07-14 15:58:58 +08:00
291e642699 partial implementation 2021-07-14 15:24:00 +08:00
e554737b68 tmp 2021-07-14 08:12:47 +08:00
84c980fed3 type scheme instantiation 2021-06-30 17:18:56 +08:00
2985b88351 refactor for HM style inference... 2021-06-30 16:28:18 +08:00
52a82e8a39 updated readme 2021-06-28 17:17:08 +08:00
eb12f6f082 updated inference_context error msg 2021-06-28 16:36:24 +08:00
f43e225845 updated inference_context rules 2021-06-28 16:32:46 +08:00
e72d96f165 added location information for diagnostics 2021-06-28 15:05:05 +08:00
ed04cef431 added symbol resolver... 2021-06-28 14:48:04 +08:00
7c9919256c begin refactoring 2021-06-28 10:49:41 +08:00
42511334f7 fixed some inference rules... 2021-06-25 16:49:58 +08:00
5292f32835 removed method for type variables 2021-06-25 16:08:32 +08:00
ed28c09c51 updated readme 2021-06-25 12:57:43 +08:00
6996bb5ac1 added readme 2021-06-25 12:28:33 +08:00
4902f9f645 added expression_inference tests 2021-01-04 14:55:11 +08:00
24d512c30f added expression_inference 2021-01-04 14:54:57 +08:00
5b5e9ce04f added magic methods 2021-01-04 14:53:52 +08:00
6824b9c4d3 added inference_core tests 2021-01-04 14:53:33 +08:00
7c9e80cc1b added inference core 2021-01-04 14:52:50 +08:00
bde52f7ad3 added primitives 2021-01-04 14:52:00 +08:00
04e9f9c077 added inference context 2021-01-04 14:51:43 +08:00
7523b43a08 added top level context 2021-01-04 14:51:25 +08:00
7eb40e25dd added typedef 2021-01-04 14:49:48 +08:00
96317686af enabled clippy 2021-01-04 14:49:14 +08:00