• Joined on 2021-03-29
ychenfo commented on pull request M-Labs/nac3#121 2021-12-03 03:58:14 +08:00
Parser modification to handle negative integer edge cases

Do you know why it was done that way in RustPython?

I think it does this way just to be consistent with original python where int has no size restriction:

Python 3.9.6 (default, Jun 28…
ychenfo created pull request M-Labs/nac3#121 2021-12-02 03:05:14 +08:00
Modify the parser to handle negative integer edge cases
ychenfo pushed to integer_range_fix at M-Labs/nac3 2021-12-02 02:54:30 +08:00
97e0f2c2bd nac3parser: modify parser to handle negative integer edge cases
ychenfo created branch integer_range_fix in M-Labs/nac3 2021-12-02 02:54:30 +08:00
ychenfo pushed to built_in_floor_ceil at M-Labs/nac3 2021-12-02 01:13:10 +08:00
aa2d79fea6 Merge branch 'master' into built_in_floor_ceil
1e6848ab92 nac3core: distinguish i64 and i32 in bool conversion
a91b2d602c flake: switch to nixos- branch
c683958e4a nac3artiq: clarify comment about virtual class
142f82f987 remove debug prints
Compare 6 commits »
ychenfo pushed to master at M-Labs/nac3 2021-12-02 01:02:48 +08:00
1e6848ab92 nac3core: distinguish i64 and i32 in bool conversion
ychenfo created pull request M-Labs/nac3#120 2021-12-01 03:27:36 +08:00
Add floor and ceil, move built-in functions to a separate file
ychenfo pushed to built_in_floor_ceil at M-Labs/nac3 2021-12-01 03:24:15 +08:00
fa2fe8ed5d nac3core: add ceil and floor
7ede4f15b6 nac3core: move builtin definitions to another file
Compare 2 commits »
ychenfo created branch built_in_floor_ceil in M-Labs/nac3 2021-12-01 03:24:13 +08:00
ychenfo deleted branch default_parameter from M-Labs/nac3 2021-12-01 02:34:14 +08:00
ychenfo pushed to err_msg_improvement at M-Labs/nac3 2021-12-01 02:32:04 +08:00
761e941cdc nac3artiq: raise a python runtime exception instead of panic for compilation error (#108)
d235d9a916 nac3artiq: raise a python runtime exception instead of panic for compilation error (#108)
Compare 2 commits »
ychenfo pushed to err_msg_improvement at M-Labs/nac3 2021-12-01 02:29:07 +08:00
d235d9a916 nac3artiq: raise a python runtime exception instead of panic for compilation error (#108)
8cd55b248a nac3artiq: raise a python runtime exception instead of panic for compilation error
Compare 2 commits »
ychenfo pushed to err_msg_improvement at M-Labs/nac3 2021-12-01 02:25:49 +08:00
8cd55b248a nac3artiq: raise a python runtime exception instead of panic for compilation error
84ef57cae6 Merge branch 'master' into err_msg_improvement
0fe346106d nac3core: fix converting int to bool (#119)
681d85d3be remove debug print
14119a2c80 Merge pull request 'KernelInvariant' (#114) from KernelInvariant into master
Compare 10 commits »
ychenfo pushed to polymorphism_fixes at M-Labs/nac3 2021-12-01 01:55:55 +08:00
87b71a2db3 nac3core: maintain order of unifying dummy types in top level
d03fd076f5 nac3core: maintain order of unifying dummy types in top level
Compare 2 commits »
ychenfo pushed to polymorphism_fixes at M-Labs/nac3 2021-12-01 01:52:46 +08:00
d03fd076f5 nac3core: maintain order of unifying dummy types in top level
0fe346106d nac3core: fix converting int to bool (#119)
681d85d3be remove debug print
14119a2c80 Merge pull request 'KernelInvariant' (#114) from KernelInvariant into master
b35075245b nac3artiq: remove debug print
Compare 13 commits »
ychenfo pushed to symbol_resolver_typevar at M-Labs/nac3 2021-12-01 01:51:12 +08:00
6e93e41a3b nac3artiq: symbol resolver resolve typevar type
41e05cb2ec Merge branch 'master' into symbol_resolver_typevar
0fe346106d nac3core: fix converting int to bool (#119)
681d85d3be remove debug print
14119a2c80 Merge pull request 'KernelInvariant' (#114) from KernelInvariant into master
Compare 10 commits »
ychenfo pushed to master at M-Labs/nac3 2021-11-30 03:02:57 +08:00
0fe346106d nac3core: fix converting int to bool (#119)
ychenfo commented on issue M-Labs/nac3#108 2021-11-26 04:39:23 +08:00
poor error message for wrong 1-tuple annotation

We should not panic from errors in user code

I am sorry that regarding this I am not sure how this should be handled.. since it is an error ultimately captured and unwraped in a rust code that…

ychenfo pushed to err_msg_improvement at M-Labs/nac3 2021-11-26 04:32:26 +08:00
3a68f805f3 nac3core: fix broken tests due to change of error message
48723f5f8b nac3core: error msg add location in some trivial cases (#112, #110, #108, #87)
934cf0534b nac3core: fix broken tests due to change of error message
99880f6afb nac3core: error msg add location in some trivial cases
Compare 4 commits »
ychenfo pushed to err_msg_improvement at M-Labs/nac3 2021-11-26 04:23:33 +08:00
934cf0534b nac3core: fix broken tests due to change of error message
99880f6afb nac3core: error msg add location in some trivial cases
Compare 2 commits »