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

added some todos

parent 9dcc6e10
Records: Es ist kein qualifizierter Import von Records möglich, da die
Feldbezeichnungen nicht mit importiert werden können.
import CompilerOpts -- okay
import CompilerOpts (Options) -- okay, aber Feldbezeichner nicht importiert
import CompilerOpts (Options (..)) Fehler: Options is not a data type
- Anonymous free variables implemented
- hierarchically structured modules
Hierarchische Module
Nondeterminism by overlapping abschaltbar?
QName wird als Typvariable angesehen
DHO als Variable
\ No newline at end of file
Still to do
- !!! Check correctness of created FlatCurry files by comparison with the old frontend !!!
- 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
- Module pragmas
- type classes
- option to disable nondeterminism by overlapping
- option / check for case mode
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