Commit c064369e authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

TODO updated

parent 35aa03e8
......@@ -15,6 +15,5 @@ Still to do
- option to disable nondeterminism by overlapping
- option/check for case mode
- FFI for C (Haskell?)
- Extend error messages of the type checker (and maybe others, too)
- Extend error messages of the type checker (and maybe others, too)
with the origin of the inferred types in case of a type conflict
- Split Renaming and TypeChecking into two modules?
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment