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

Removed old TODO file

parent ff7cc840
- Anonymous free variables implemented
- hierarchically structured modules
- Records: There is no way to explicitly import a record with its fields:
import CompilerOpts -- okay, works
import CompilerOpts (Options) -- okay, but no field labels imported
import CompilerOpts (Options (..)) -- fails: Options is not a data type
- Checked correctness of created FlatCurry files by comparison with the old
Still to do
- Module pragmas
- type classes
- 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)
with the origin of the inferred types in case of a type conflict
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