git.iko.soy/elk
on 951df07 help sign in
elk/compiler/Types
7 files
../ Alias.hsAdd support for type annotations in let Constrain.hsSwitch from sets of constraints to lists of constraints. This should have a positive performance impact, in that list insertion should be asymptotically faster than set insertion. Hints.hsClean up imports in many files. Solver.hsSwitch name of Context to Located. Whoo static types :) Substitutions.hsSwitch name of Context to Located. Whoo static types :) Types.hsAdd support for type annotations in let Unify.hsClean up imports in many files.