git.iko.soy/elk
on bd2ab82 help sign in
history ofsrc/Type/Type.hs
all commits
0bdfd73Make some progress on type error messages!Evan Czaplicki b5df201Switch TRecord constructors to have (Maybe Name) extensionsEvan Czaplicki dd2feecCreate Type.Error module and simplify Error type a bitEvan Czaplicki 344579bCreate special "error type" that has extra informationEvan Czaplicki a3ad7d2Make Elm.Name an opaque typeEvan Czaplicki dc356dfHide Elm.Name implementation in more placesEvan Czaplicki 2e099f9Tie all the phases togetherEvan Czaplicki 7c33c13Get Type.Constrain.Module workingEvan Czaplicki d3fa290Update some uses of UF for the shorter namesEvan Czaplicki adb93faExpose Type.Type.SuperType since it moved from AST.TypeEvan Czaplicki 6e2f87eUpdate a couple Type/ modules for AST shuffleEvan Czaplicki e28d01eAdd a bunch of type primitivesEvan Czaplicki 9bdfe2bGenerate type constraints for patterns without any type lookups!Evan Czaplicki f3ae567Switch Text to N.Name in Type.Type and Type.StateEvan Czaplicki 5bc3a70Switch to max tuple size of 3 in Type.Type / rewrite getVarNamesEvan Czaplicki 40e0c37Move code for instantiating source types into Type.TypeEvan Czaplicki ed26ecaSwitch to Data.Map.Strict in type inferenceEvan Czaplicki fbff9ceImprove the error messages for bad rigid type variablesEvan Czaplicki a0fccd5Move Super type into AST.TypesEvan Czaplicki 34a253dCreate a newtype for Marks so ranks and marks never get mixed upEvan Czaplicki 3e23ef2Use NOINLINE values to reduce allocation of Descriptors in constraint generationEvan Czaplicki b02b4aaDo not expose Description fields / optimize copy and flattenEvan Czaplicki dbe6c75Move constraint primitives into Type.ConstraintEvan Czaplicki d228087Use faster data structure in Type.Solve.generalizeEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki 1408bc3The Error structure describes how it should be displayedEvan Czaplicki 7729527Start using strict State and WriterEvan Czaplicki 9593f00Get rid of pointless polymorphism in Type representationsEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki 942ee24Use user-defined type variables whenever possibleEvan Czaplicki 8506ed8Assume arguments match the type annotationsEvan Czaplicki c26cbf9Remove unused importEvan Czaplicki 3d94566Remove effect typesEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki 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