git.iko.soy/elk
on 45cfc8f help sign in
history ofcompiler/Types/Types.hs
all commits
6b28feaSwitch name of Context to Located. Whoo static types :)evancz 530bc6eFix how types are converted to strings. This actually fixes some bugs that come from generating docs.json, which led to incorrect types being used in the compiler.evancz 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 87fa86cGet type dealiasing working.evancz 82f888cGet the type-checker running based on docs.json information. Also add rules for `Nil` and `Tuple0`, `Tuple2`, etc.evancz 87a275aFix bugs: * types rendered "::" instead of ":" * `Signal.count` was broken * Prelude didn't have `show`evancz 1822ebcMove the compiler down a directory, mostly.evancz