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

updated TODO

parent ed8cafaf
......@@ -13,4 +13,8 @@ Still to do
- Module pragmas
- type classes
- option to disable nondeterminism by overlapping
- option / check for case mode
- option/check for case mode
- FFI for C (Haskell?)
- 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?
Supports Markdown
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