ref: 70be28808b1526435a4926f934753706bb5c389f
parent: 954613b633856e3a17e92dd7c78a1b50aa96eb35
author: Lennart Augustsson <lennart@augustsson.net>
date: Sun Sep 3 15:29:00 EDT 2023
Update TODO
--- a/TODO
+++ b/TODO
@@ -5,11 +5,11 @@
- Add fixity table to TModule
* Put on hackage
* Have compile return a Stats record of timing etc
-* Prettier printing of types
* Special noMatch function with location
* Add overloading
* Implement deriving
* Add forall to the syntax of types so it can be nested
+ - Rank-N requires small changes in the type checker
* Implement mutual recursion in let
- Use SCC
* Add [x..y] syntax
@@ -19,7 +19,7 @@
* use 'data = primitive "Int"' for primitive types.
* make an interactive version
- implement a simple readline
- - implement catch (and maybe throw)
+ - implement catch (and maybe throw) using setjmp & longjmp
- make the runtime system catch ^C and stop execution
* implement low level equality
- maybe?
@@ -28,4 +28,3 @@
* add Double primitive type
* implement Data.Integer
* add pretty printing library
-* add kind signatures
--
⑨