git.iko.soy/elk
on fe1e5d2 help sign in
history ofsrc/Type/Type.hs
all commits
912d652Fix problem where added type variable names were trashedEvan Czaplicki 4c2e9adFix #832, compiler hangs on certain infinite typesEvan Czaplicki a28acb2Better model of types in Type.TypeEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 19f39f8Avoid cascading errorsEvan Czaplicki c62bea9Show proper errors for infinite types againEvan Czaplicki 2dadd1fAllow hints on type constraints, leading to improved error messagesEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki d7ce6b1Do not alias built-in types like Int and FloatEvan Czaplicki 55420d4Track dealiasing more preciselyEvan Czaplicki dfdb2c0Fix #694, converting types to source typesEvan Czaplicki 5e43eb1Properly preserve type aliases after canonicalization and through type inferenceEvan Czaplicki aeb02cdRefactor Type.Type: better style, flow, and commentsEvan Czaplicki 96dfd88Stop deriving Show for Type stuffEvan Czaplicki ff9acf5Conform to modern style guideEvan Czaplicki ee72256Remove special syntax for lists in typesEvan Czaplicki 914e047Rename compiler/ to src/Evan Czaplicki 9c61b17rename src/ to compiler/ because the runtime/ directory is going to be top-levelEvan Czaplicki bb5d079Remove redundant -W flags from source codeEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki