History of
src
/
Language
@master
git clone https://git.catseye.tc/UampirNexol/
-
Use backpatching system to generate conditional (not correct yet).
Chris Pressey
17 days ago
-
genSym.
Chris Pressey
17 days ago
-
Use backpatching system to generate code for `repeat` loops.
Chris Pressey
17 days ago
-
First cut at a label backpatching system in the monad.
Chris Pressey
18 days ago
-
CodeGen gen's code, not ints.
Chris Pressey
20 days ago
-
Merge Linker and CodeGen modules.
Chris Pressey
20 days ago
-
Clean up Extractor.
Chris Pressey
20 days ago
-
Hey, it mostly works, how about that.
Chris Pressey
21 days ago
-
Keep on' checkpointin'.
Chris Pressey
21 days ago
-
Continue to checkpoint conversion to monadic
Chris Pressey
21 days ago
-
Checkpoint turning the code extractor into a monadic function.
Chris Pressey
21 days ago
-
Sketch how we might lift routines to a map for extraction. Might
Chris Pressey
21 days ago
-
Establish Linker module.
Chris Pressey
21 days ago
-
Parsing and testing of `routine` and `call`.
Chris Pressey
21 days ago
-
Checkpoint adding routines and a call operation.
Chris Pressey
22 days ago
-
Type STA so that the location is part of its output type.
Chris Pressey
22 days ago
-
Locations in expressions, and with these, implement STA.
Chris Pressey
22 days ago
-
Pass down environment during extraction, use it for let and vars.
Chris Pressey
22 days ago
-
No catch-all in extraction cases.
Chris Pressey
22 days ago
-
Parse let constructs correctly, add some test cases for them.
Chris Pressey
22 days ago
-
Checkpoint parsing let constructs and variable references.
Chris Pressey
23 days ago
-
Pass env down in evaluator, pass tenv down in type-checker.
Chris Pressey
23 days ago
-
A little bit more specific error cases.
Chris Pressey
23 days ago
-
Treat warnings as errors. Clean up following that.
Chris Pressey
a month ago
-
Syntax for address locations, and hexadecimal literals.
Chris Pressey
a month ago
-
Implement while loop as syntactic sugar.
Chris Pressey
a month ago
-
Assign types to repeat..until expressions.
Chris Pressey
a month ago
-
Type-checking for `if` expressions.
Chris Pressey
a month ago
-
Extract code for `if` and `repeat` (probably) correctly.
Chris Pressey
a month ago
-
Add --type-check option, to disable type checking in extraction
Chris Pressey
a month ago