forked from M-Labs/artiq
1
0
Fork 0
Commit Graph

1131 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 dbfdbc3c22 Add check for duplicate parameter names. 2015-06-15 09:05:24 +03:00
whitequark d27bb3168d Add support for ListComp. 2015-06-15 08:40:37 +03:00
whitequark 77adf2f6b5 Add support for With. 2015-06-14 23:13:41 +03:00
whitequark cd22b8178c Add support for Raise. 2015-06-14 23:02:28 +03:00
whitequark 20b7a73b49 Add support for Compare. 2015-06-14 22:48:04 +03:00
whitequark fe69c5b465 Implement BinOp coercion rules for AugAssign. 2015-06-14 13:10:32 +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 23f33d7239 Invert operand should be integer. 2015-06-13 13:45:09 +03:00
whitequark 1c48874a2a Documentation. 2015-06-13 13:08:16 +03:00
whitequark de6dff94cd GeneratorExp also includes assignment context. 2015-06-13 12:58:45 +03:00
whitequark 4b4805265d Add support for Break and Continue. 2015-06-13 12:10:30 +03:00
whitequark 55551714fa Error out on unsupported statements. 2015-06-13 11:33:38 +03:00
whitequark 4c95647162 Split ASTTypedRewriter off Inferencer. 2015-06-13 11:33:03 +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 56bba3009d Only build the master branch on Travis. 2015-06-13 09:34:31 +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 df686136f1 Separate inference and asttyped transformation.
This allows to run inference several times on the same tree,
as would be necessary when coercion nodes are added.
2015-06-11 06:34:26 +03:00
whitequark e18ea0daae Better error reporting for List. 2015-06-11 04:36:52 +03:00
whitequark 4b7d4c2425 Add support for BoolOp. 2015-06-11 04:36:51 +03:00
whitequark b8ce3f85bd Refactor error reporting in _unify to factor out custom notes. 2015-06-11 04:36:28 +03:00
whitequark ba9a7d087d Add support for IfExp. 2015-06-11 04:36:03 +03:00
whitequark 9953302cb6 Move old py2llvm code to artiq/py2llvm_old. 2015-06-11 02:58:29 +03:00
whitequark 159692339d Add tests for all diagnostics and unifications. 2015-06-06 18:05:06 +03:00
whitequark a8ff9d0152 AugAssign does not create a binding. 2015-06-06 17:55:04 +03:00
whitequark 98fe152159 Add lit-based tests for diagnostics. 2015-06-06 17:15:06 +03:00
whitequark 7f77632f1a Add lit-based tests for type inferencer. 2015-06-06 16:58:23 +03:00
whitequark 5f06c6af10 Add support for Return. 2015-06-06 15:12:56 +03:00
whitequark d08598fa0f Add support for NameConstant. 2015-06-06 15:12:40 +03:00
whitequark eb76f594a0 Replace single-quoted strings with double-quoted. 2015-06-05 12:04:27 +03:00
whitequark 6c3b5a95ee Use proper format function. 2015-06-04 17:53:38 +03:00
whitequark 4b01e604db Make unification reflective. 2015-06-04 14:50:32 +03:00
whitequark 1a08b50f0a Use a single type printer for inference errors.
This way, type variable names will be consistent among all
printed diagnostics.
2015-06-04 14:50:32 +03:00
whitequark c9623a106e Error out on unsupported expressions by default. 2015-06-04 14:50:32 +03:00
whitequark 10a269d77e Better error message for List inference. 2015-06-04 14:42:45 +03:00
whitequark 995d84d4ee Add inferencing for Tuple, List, For. 2015-06-04 14:13:49 +03:00
whitequark 76ce364fea Implement inferencing for AugAssign. 2015-06-04 11:52:15 +03:00
whitequark f979a76c7c Require nonlocal names to be bound in an outer scope. 2015-05-30 08:06:19 +03:00
whitequark 56d1a9bc57 Shorten the unification error message when too redundant. 2015-05-29 10:01:22 +03:00
whitequark abbc87e981 Add new type inferencer. 2015-05-29 09:53:24 +03:00
whitequark 74080f2cc6 Update .gitignore. 2015-05-29 09:53:00 +03:00
whitequark c75fd6bc88 Replace builtin ast with pythonparser.ast. 2015-05-27 17:04:18 +03:00
Sebastien Bourdeauducq f30d671359 test/worker: adapt to priority API 2015-05-24 23:38:05 +08:00
Sebastien Bourdeauducq 5fb86af3a4 gui: support experiment cancellation 2015-05-24 23:20:52 +08:00
Sebastien Bourdeauducq ae4615281f pyon/store_file: replace previous file atomically 2015-05-24 21:26:15 +08:00
Sebastien Bourdeauducq fc449509b8 scheduler: pass priority to experiments 2015-05-24 20:37:47 +08:00
Sebastien Bourdeauducq e611e17eeb gui: experiment submission 2015-05-24 20:24:07 +08:00
Sebastien Bourdeauducq a21373841c scheduler: catch worker exceptions in prepare and analyze stages 2015-05-24 20:23:49 +08:00