git.iko.soy/elk
on 104faf1 help sign in
history ofcompiler/Types/Constrain.hs
all commits
7d03f69Provide a way to define super-types in type annotations. Should not be used outside of core libraries.evancz 703508fFix prelude imports and correctly generalize for library types that use `Number`.evancz 1d04b34Permit pattern matching on records in case-expressions.evancz 0354fadExplicitly list imports for a module.evancz 82f888cGet the type-checker running based on docs.json information. Also add rules for `Nil` and `Tuple0`, `Tuple2`, etc.evancz 1822ebcMove the compiler down a directory, mostly.evancz