occheung/artiq
1
0
Fork 0
forked from M-Labs/artiq
Code Pull Requests Activity
1,083 Commits 14 Branches 35 Tags 23 MiB
7a00a4a47f
Commit Graph

11 Commits

Author SHA1 Message Date
whitequark
20e0e69358 Add support for function types and LambdaT. 
Also fix scoping of Nonlocal.
 2015-06-15 11:30:50 +03:00
whitequark
20b7a73b49 Add support for Compare. 2015-06-14 22:48:04 +03:00
whitequark
7b78e7de67 Add support for BinOp. 2015-06-14 12:07:13 +03:00
whitequark
faaf189961 Add support for Attribute. 2015-06-13 13:50:56 +03:00
whitequark
61434a8da3 Split off builtins from types. 
builtins will contain attribute definitions as well.
 2015-06-13 10:29:26 +03:00
whitequark
3e2d104014 Make typing.Inferencer idempotent. 2015-06-13 09:32:53 +03:00
whitequark
c89bf6fae0 Add support for UnaryOp. 2015-06-12 08:59:41 +03:00
whitequark
d08598fa0f Add support for NameConstant. 2015-06-06 15:12:40 +03:00
whitequark
4b01e604db Make unification reflective. 2015-06-04 14:50:32 +03:00
whitequark
995d84d4ee Add inferencing for Tuple, List, For. 2015-06-04 14:13:49 +03:00
whitequark
abbc87e981 Add new type inferencer. 2015-05-29 09:53:24 +03:00