git.iko.soy/elk
on 2f5d445 help sign in
elk/elm/src/Types
5 files
../ Constrain.hsFix slightly broken constraint generator. Hints.hsAdd some type hints and print out any assumptions that escape type checking. Substitutions.hsFix bug in `concretize` in which a fold uses the base for every step instead of accumulating the result (i.e. `t` becomes `t'`). One character mistakes are the worst! Let-polymorphism should be working for everything now! FINALLY! Mabye... Types.hsChange module names in Types/ to include Types prefix. Work on getting let-polymorphism correct. Unify.hsAdd error messages for errors due to untyped native functions. Hopefully untyped native functions can be eliminated soon!