|
|
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 |
|
|
|
2223c86d9b
|
nac3standalone: compile multiple functions
|
2021-08-27 16:25:59 +08:00 |
|
|
|
d81249cabe
|
nac3standalone: enabled optimization and recorded time
|
2021-08-27 12:35:21 +08:00 |
|
|
|
52dd792b3e
|
nac3standalone: added return check
|
2021-08-27 11:39:36 +08:00 |
|
|
|
a24e204824
|
type_inferencer: check defined identifiers during inference
|
2021-08-27 11:13:43 +08:00 |
|
|
|
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 |
|
|
|
0608fd9659
|
fixed test and nac3standalone
|
2021-08-25 15:30:36 +08:00 |
|
|
|
32773c14e0
|
move top level related things to a separate module
|
2021-08-24 17:19:17 +08:00 |
|
|
|
fb5b4697a9
|
fix rebase conflict and some test failure with unifier's error message
|
2021-08-23 10:34:11 +08:00 |
|
|
|
957ceb74e4
|
nac3core/typecheck: added basic location information
|
2021-08-21 14:51:46 +08:00 |
|
|
|
39545c0005
|
nac3standalone usable
|
2021-08-19 15:30:52 +08:00 |
|
|
|
703059adab
|
nac3standalone: renames
|
2020-12-18 22:35:59 +08:00 |
|
|
|
947a528656
|
libnac3 -> nac3core
|
2020-12-18 10:18:21 +08:00 |
|
|
|
06d2fbd25c
|
split off standalone compiler
|
2020-12-17 22:20:30 +08:00 |
|
