git.iko.soy/elk
on c19392f help sign in
history ofsrc/Type/Constrain/Expression.hs
all commits
ed26ecaSwitch to Data.Map.Strict in type inferenceEvan Czaplicki fbff9ceImprove the error messages for bad rigid type variablesEvan Czaplicki 7f27a2fUse qualified Type.bool so it is a little bit clearerEvan Czaplicki 3e23ef2Use NOINLINE values to reduce allocation of Descriptors in constraint generationEvan Czaplicki dbe6c75Move constraint primitives into Type.ConstraintEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki d5b0b43Name changes for simpler Type representationEvan Czaplicki f232da4Do DCE while generating JS.Evan Czaplicki 2feb357Begin upgrade of Reporting code from String to TextEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki b97576dAttempt to speed up the parsing phaseEvan Czaplicki b17a4f0Better error messages for bad record accessesEvan Czaplicki a2a2fc0Track region information in canonical defsEvan Czaplicki a5b21a1cosmetic: remove stray newlineEvan Czaplicki 8506ed8Assume arguments match the type annotationsEvan Czaplicki 3b23d86Rename Environment to Env in type inferencerEvan Czaplicki afb08b8Move Type.Fragment into Type.Constrain.PatternEvan Czaplicki c3ee8cacosmetic: move constrainAnnotatedDef below other def codeEvan Czaplicki 0d2c5a2Remove [1..5] syntax in favor of List.rangeEvan Czaplicki 72da9daRename `Foreign` to `Port` across the codebaseEvan Czaplicki 856ac59Check programs that take flags, generate relevant decoderEvan Czaplicki 66c833dGet foreign effects workingEvan Czaplicki 0d58deeGet rid of a couple TODO's related to error reporting for effect modulesEvan Czaplicki fa09513Type check effect manager functionsEvan Czaplicki 8f032c9Make `command` and `subscription` functions available in effect modulesEvan Czaplicki 3bd0d85Primarily rename *Pattern and *Decl to just * in a ton of placesEvan Czaplicki 6d9f01bRemove portsEvan Czaplicki 25a0d74Get rid of (<?) helper, use CInstance directlyEvan Czaplicki 4e73834cosmetic: modernize whitespaceEvan Czaplicki 55c1099Flip some constraints around to match how they are displayedEvan Czaplicki 780ee73Make error message a bit nicer when there is only one argumentEvan Czaplicki 20b254cGive hints for mismatches with rigid and super variablesEvan Czaplicki 74db13fGet rid of Show and Pretty instances for AST 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 92dc057Remove 'Crash' from AST.Expression.GeneralEvan Czaplicki b0beee4Added Facts to Canonical.DefJoeyEremondi 2b577feRemove surface syntax for multiway ifEvan Czaplicki c5efca9Merge branch 'simpler-records'Evan Czaplicki 7552469Generate a minimal number of closuresEvan Czaplicki 779f7aaRemove syntax for record insert and removeEvan Czaplicki 7d8e07bMake function arity message way betterEvan Czaplicki 8a77ab9refactor: reorder tuple values to better match usageEvan Czaplicki c0df141Better error messages for function argumentsEvan Czaplicki 6fbbd1bAlways provide a specialized hint when unification failsEvan Czaplicki d5d6028Fix #964, type variable escaping constraintsEvan Czaplicki c62bea9Show proper errors for infinite types againEvan Czaplicki 6ea2189Underline type when type annotation does not match bodyEvan Czaplicki 304d4f3Improve error message when type annotation does not match defined valueEvan Czaplicki 4a2cdd8Fix #937, problem with empty listsEvan Czaplicki