error-less io - #6

Closed

Kha wants to merge 11 commits into

Commits on Aug 17, 2018

feat(library/noncomputable): mark all VM builtins as computable
Kha
committed
3088c66
feat(library/noncomputable): sorts are computable
Kha
committed
f6ba637
refactor(library/vm/vm_io,library/system/io): remove io classes, make errors explicit
Kha
committed
e7e98f1
refactor(library/system/io): move into `init`
Kha
committed
4030a2d
feat(library/init/io): introduce `has_eval` class to customize `#eval` output
Kha
committed
5555d3f
fix(library/{vm/vm_io,init/io}): fix bugs and tests
Kha
committed
afc4c5e
feat(library/init/{io,control/except}): use `lift_t` to automatically upcast io and other errors
Kha
committed
7cf2452
refactor(library/init/io): replace `ioe` with `eio`
Kha
committed
7acc674
fix(library/vm/vm_io): move all primitives into `io`
Kha
committed
1ba3c3c
feat(library/init/control/coroutine_io): coroutine_io
Kha
committed
7bd57c9
chore(library/init/io): rename `io.print_ln` to `io.println`
Kha
committed
8e4aed5