History of
src
/
castile
/
checker.py
@master
git clone https://git.catseye.tc/Castile/
-
Report line numbers on type errors.
Chris Pressey
2 years ago
-
No equality between unions that contain structs.
Chris Pressey
2 years ago
-
Structs cannot be tested for equality with `==` or `!=`.
Chris Pressey
2 years ago
-
Make field access limited by struct scope too. All tests pass.
Chris Pressey
2 years ago
-
Prevent `make` where struct is inaccessible.
Chris Pressey
2 years ago
-
Checkpoint implementing scoped structs.
Chris Pressey
2 years ago
-
flake8 cleanups
Chris Pressey
3 years ago
-
Allow promoting union type to itself, or to a bigger union type.
Chris Pressey
3 years ago
-
Each of the individual types named in the union type must be unique.
Chris Pressey
3 years ago
-
Struct equality (actually more like "hash-consing") in stackmac.
Chris Pressey
3 years ago
-
PEP-8 style cleanups.
Chris Pressey
3 years ago
-
In C backend, generate field initializers in the correct order.
Chris Pressey
3 years ago
-
Update sources to run under either Python 2 or Python 3.
Chris Pressey
3 years ago
-
Prevent local vars defined inside control blocks. No 'var'.
catseye
11 years ago
-
Make local variables Python-like. Add failing test cases.
catseye
11 years ago
-
Clean up checker a bit (no assignable, no struct_fields.)
catseye
11 years ago
-
Clean up AST.aux, allow empty structs in stackmac; all tests pass.
catseye
11 years ago
-
Types on every AST node; simpler AST structure; AST.copy().
catseye
11 years ago
-
AST nodes have tags (names) and types (language-domain.)
catseye
11 years ago
-
Test for order not mattering in union types and struct creation.
catseye
11 years ago
-
Make grammar less verbose (in eval, tag based on Python type).
catseye
11 years ago
-
Local declarations must be first thing in function body.
catseye
11 years ago
-
Flush out struct/union parts of the stackmac backend.
catseye
11 years ago
-
Save old baseptr. Don't push/return void (size=0) values.
catseye
11 years ago
-
Read and write locals rel baseptr. "Only" 27 fails for stackmac.
catseye
11 years ago
-
input, read, write in eval and Ruby backend. Better exceptions.
catseye
11 years ago
-
true/false/null are literals. Ruby backend with "only" 11 fails.
catseye
11 years ago
-
Typecheck function values, add test cases, update README.
catseye
11 years ago
-
Implement `break`.
catseye
11 years ago
-
Field names in make, typechecker independence, Javascript broken.
catseye
11 years ago