on ba5cd88 help sign in
elk/compiler/Types
7 files
../ Alias.hsAdd support for type annotations in let Constrain.hsUpdate 'at patterns' to use the as notation per mailing list discussion Hints.hsClean up imports in many files. Solver.hsSwitch name of Context to Located. Whoo static types :) Substitutions.hsSupport @ patterns as in Haskell Types.hsAdd support for type annotations in let Unify.hsClean up imports in many files.