pca006132
c405e46b00
moving location and symbol_resolver out from typecheck
2021-08-07 10:28:41 +08:00
pca006132
29286210b5
implementing codegen
2021-08-05 14:56:09 +08:00
pca006132
f00c1813e3
top-level related changes
2021-08-03 13:38:27 +08:00
pca006132
c315227a28
init function check
2021-07-22 15:36:37 +08:00
pca006132
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
pca006132
0296844d5f
cleanup
2021-07-21 13:28:05 +08:00
pca006132
d4b85d0bac
expression type inference (WIP)
2021-07-19 13:35:01 +08:00
pca006132
f51603f6da
cleanup
2021-07-19 09:52:25 +08:00
pca006132
d94f25583b
added tests
2021-07-15 16:00:23 +08:00
pca006132
e554737b68
tmp
2021-07-14 08:12:47 +08:00
pca006132
84c980fed3
type scheme instantiation
2021-06-30 17:18:56 +08:00
pca006132
2985b88351
refactor for HM style inference...
2021-06-30 16:28:18 +08:00
pca006132
ed04cef431
added symbol resolver...
2021-06-28 14:48:04 +08:00
pca006132
7c9919256c
begin refactoring
2021-06-28 10:49:41 +08:00