git.iko.soy/elk
on bbb2b2a help sign in
elk/compiler/Types
7 files
../ Alias.hsAdd support for type annotations in let Constrain.hsSwitch to using MultiIf for all if expressions. Simplifies AST. Hints.hsClean up imports in many files. Solver.hsSwitch name of Context to Located. Whoo static types :) Substitutions.hsSupport @ patterns as in Haskell Types.hsPrint out a bunch of extra information about type checking. Unify.hsPrint out a bunch of extra information about type checking.