git.iko.soy/elk
on ee2805a help sign in
elk/elm/src/Types
5 files
../ Constrain.hsAdd error messages for errors due to untyped native functions. Hopefully untyped native functions can be eliminated soon! 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!