ychenfo
917d447605
nac3core: clean up, fix broken test
2021-09-09 02:09:35 +08:00
ychenfo
f1013d9a17
nac3core: top level fix type var within list tuple, test of type var application compatibility
2021-09-09 02:03:44 +08:00
ychenfo
2ce507964c
nac3core: fix broken top level test due to hashmap order
2021-09-09 00:44:56 +08:00
ychenfo
5a1a8ecee3
nac3core: self is not not allowed to explicitly appear in method type annotations
2021-09-08 21:53:54 +08:00
ychenfo
1300b5ebdd
nac3core: clean up and format
2021-09-08 19:45:36 +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
247b364191
nac3core: top level fix cyclic ancestor analysis, add tests
2021-09-07 17:30:15 +08:00
ychenfo
bbcec6ae6f
nac3core: toplevel fix bug in make self annotation and return type check
2021-09-07 10:03:31 +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
dc7c014b10
nac3core: top level more test
2021-08-31 17:40:38 +08:00
ychenfo
1ae6acc061
nac3core: top level fix function/methods none return type
2021-08-31 15:41:48 +08:00
ychenfo
98d032b72a
nac3core: top level fix duplicate def, start adding tests
2021-08-31 15:23:57 +08:00
ychenfo
7bbd608492
nac3core: top level cleanup, rewrite ancestors handling, __init__ occruence check
2021-08-31 13:54:16 +08:00
ychenfo
4a9593efa3
nac3core: top level clean up and fix ancestors analysis
2021-08-30 22:47:55 +08:00
ychenfo
098bd1e6e6
nac3core: top level check inheritance method overload
2021-08-30 17:39:29 +08:00
ychenfo
82c2edcf8d
nac3core: toplevel cleanup and add list and tuple support
2021-08-30 14:16:11 +08:00
ychenfo
40e58d02ed
nac3core: toplevel all ancestors are put into the def list, disallow generic base class for now
2021-08-30 14:15:57 +08:00
ychenfo
e2a9bdd8bc
nac3core: toplevel no duplicate type var too early
2021-08-30 14:15:36 +08:00
ychenfo
236989defc
nac3core: remove unnecessary inline and function parameters
2021-08-27 16:52:31 +08:00
pca006132
22a728833d
nac3core: fixed broken test
2021-08-27 16:50:53 +08:00
pca006132
2223c86d9b
nac3standalone: compile multiple functions
2021-08-27 16:25:59 +08:00
pca006132
72aebed559
nac3core: unification table optimization
...
avoid cloning values that we no longer need.
2021-08-27 13:05:06 +08:00
pca006132
8c1c7fcfc3
nac3core: fixed broken tests
2021-08-27 13:04:51 +08:00
pca006132
6633eabb89
nac3core: optimized by using HashSet
2021-08-27 12:36:51 +08:00
pca006132
d81249cabe
nac3standalone: enabled optimization and recorded time
2021-08-27 12:35:21 +08:00
pca006132
bf4e0009c0
codegen: do not generate cont_bb if unreachable
2021-08-27 11:46:12 +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
35ef0386db
move helper function to another file
2021-08-27 10:21:51 +08:00
ychenfo
b9a580d271
handle class method/fields type var
2021-08-27 09:53:09 +08:00
ychenfo
018d6643e1
top level: top level function type var handled
...
top level: class methods/fields type var handling
2021-08-27 01:41:34 +08:00
ychenfo
935e7410fd
check type params in class generic base declaration
2021-08-26 11:54:37 +08:00
ychenfo
1a21fb1072
fix codegen test about top level composer return type change
2021-08-25 18:00:01 +08:00
ychenfo
35a331552b
cyclic inheritance check added
2021-08-25 17:47:26 +08:00
ychenfo
0bab477ab0
get rid of nested tuple in type annotation helper function
2021-08-25 17:47:26 +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
e2b11c3fee
codegen: fixed deadlock and added call test
2021-08-25 17:44:01 +08:00
pca006132
0608fd9659
fixed test and nac3standalone
2021-08-25 15:30:36 +08:00
pca006132
173102fc56
codegen/expr: function codegen and refactoring
2021-08-25 15:29:58 +08:00
pca006132
93270d7227
use forked version of rustpython
...
to implement Clone for AST nodes
2021-08-25 15:28:32 +08:00
pca006132
1ffa1a8bb0
typecheck/typedef: added copy_from
...
This function would copy concrete type from one unifier to another
unifier, and can handle recursive types. This would be used in code
generation for moving types from one unification table to another one.
2021-08-25 12:02:10 +08:00
ychenfo
01f7a31aae
put parse ast into type annotation into one function
2021-08-24 17:44:37 +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
39f300b62a
clean up and add duplicate function/parameter/class name test
...
formatted
2021-08-23 14:22:46 +08:00
ychenfo
7b1fe36e90
formatted
2021-08-23 11:13:45 +08:00
ychenfo
fb5b4697a9
fix rebase conflict and some test failure with unifier's error message
2021-08-23 10:34:11 +08:00
ychenfo
pca006132