Driver API cleanups - Githubissues

pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

https://pikelet-lang.github.io/pikelet/

Apache License 2.0

610 stars 26 forks source link

Driver API cleanups #182

Closed brendanzab closed 5 years ago

brendanzab commented 5 years ago

Working towards #175

TODO

[x] Clean up existing driver API
[ ] Move intrinsic registration to driver API
[x] API docs for driver API
[x] Move REPL command parsing out of the main parser

brendanzab commented 5 years ago

I think this is a significant enough improvement to merge, but I'd still like to lift intrinsic registration out of the elaboration context. We should probably make another issue for this.