git.iko.soy/elk
on 4cd5aec help sign in
history ofsrc/Type/State.hs
all commits
52e43bbDisallow equivalent representations of the same typeEvan Czaplicki 1408bc3The Error structure describes how it should be displayedEvan Czaplicki e00a3f3Update for new Type representationEvan Czaplicki ae8d75cAdd SCC annotations throughout type inferenceEvan Czaplicki b441190Redo Type.State.Solver to not use RWSEvan Czaplicki 314be83Stop relying on laziness in Type.State.makeCopyEvan Czaplicki 5a33259cosmetic: clean up Type.State quite a bitEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki 942ee24Use user-defined type variables whenever possibleEvan Czaplicki 5382c9dMake the error message more demandingEvan Czaplicki 095205atell users which repo they should report an error toJanis Voigtländer a28acb2Better model of types in Type.TypeEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 1fa2684Add MultiParamTypeClasses where appropriateAaron VonderHaar c62bea9Show proper errors for infinite types againEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 5e43eb1Properly preserve type aliases after canonicalization and through type inferenceEvan Czaplicki 0140873Improve indentation in Type.StateEvan Czaplicki 0d10d2fBail out of unification on first failureEvan Czaplicki cfaeff9Move source location to first line of type error messageEvan Czaplicki 6b0badbstyle: conform to modern styleEvan Czaplicki 96dfd88Stop deriving Show for Type stuffEvan Czaplicki 9aa9418Fix #825, nicer error messages when accessing missing fieldsEvan Czaplicki c1ce03aStop saying expected/actualEvan 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