Tree @drop-cps-interpreter (Download .tar.gz)
History of
src
@drop-cps-interpreter
git clone https://git.catseye.tc/Robin/
- Checkpoint debugging builtins. Chris Pressey 4 years ago
- Evaluate to abort values in Env, fix QuickCheck tests for aborts. Chris Pressey 4 years ago
- Checkpoint trying to understand this. Chris Pressey 4 years ago
- Checkpoint troubleshooting why some operators don't abort correctly. Chris Pressey 4 years ago
- Convert evaluator from continuation-passing-style to ordinary-style. Chris Pressey 4 years ago
- Replace `--no-builtins` with `--enable-builtins`. Chris Pressey 4 years ago
- Update language involving `macros` and `operators` in specification. Chris Pressey 4 years ago
- Rename Builtin -> Operator. Chris Pressey 4 years ago
- Remove `Macro` type internally, replace `macro?` with `operator?` Chris Pressey 4 years ago
- Checkpoint removing `self`. list, choose, remainder need rewriting. Chris Pressey 4 years ago
- Better not to pretend that stock Hugs can handle the QuickCheck. Chris Pressey 4 years ago
- Almost allow the QuickCheck tests to run under Hugs. Chris Pressey 4 years ago
- Get sources to run under Hugs once again. Chris Pressey 4 years ago
- Note that abort values now have a defined representation. Chris Pressey 4 years ago
- No need for Either in World results. Chris Pressey 4 years ago
- Unwind more in TopLevel. Chris Pressey 4 years ago
- Begin unwinding error messages in TopLevel. Chris Pressey 4 years ago
- Canonical representation of abort values. Chris Pressey 4 years ago
- Remove `error` from Language.Robin.CmdLine as well. Chris Pressey 4 years ago
- Do not call `error` in Robin.Language.TopLevel. Chris Pressey 4 years ago
- Remove two more `error`s from Language.Robin.TopLevel. Chris Pressey 4 years ago
- Begin removing `error`s from Robin.TopLevel. Chris Pressey 4 years ago
- Fix arbitrary instances. Successfully check multiple definitions! Chris Pressey 4 years ago
- Mostly write down some notes. Chris Pressey 4 years ago
- Intrinsics are Builtins, but not the other way around. Chris Pressey 4 years ago
- Consider macros to be intensionally equal. Chris Pressey 4 years ago
- First pass at QuickCheck-ing multiple definitions for equivalence. Chris Pressey 4 years ago
- Collect secondaryDefs. Need to test each against its primary def now. Chris Pressey 4 years ago
- Refactor so that CmdLine module deals with Worlds. Chris Pressey 4 years ago
- Rename ADT Chris Pressey 4 years ago