git.iko.soy/elk
on 267f708 help sign in
history ofsrc/Type/Constrain/Expression.hs
all commits
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 dca97aeImprove error messages when extra arguments are given to a functionEvan Czaplicki 33261ecMake errors for bad argument types nicerEvan Czaplicki 43d4388Make errors for binary operators much more specificEvan Czaplicki 37a5687Make type error messages more specific for listsEvan Czaplicki 60a112aImprove type errors for applicationEvan Czaplicki cd20a9cCheck the overall record type last, pinning down more types for error messagesEvan Czaplicki 0769e58Improve type error messages for case-expressionsEvan Czaplicki ca5f9daImprove type error messages for if-expressionsEvan Czaplicki 2dadd1fAllow hints on type constraints, leading to improved error messagesEvan Czaplicki 91d07b2Use slightly improved names in Type.Constrain.ExpressionEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 5111919Allow Tasks through portsEvan Czaplicki 0d83d8dGet rid of "perform", revert ports to 0.14 meaningEvan Czaplicki 896c502Add support for "perform" keywordEvan Czaplicki 306a7eeImprove naming and indentation in Type.Constrain.ExpressionEvan Czaplicki cbe557dSwitch to "port" syntax for PortsEvan Czaplicki 8036fcaAdd support for running promises with loopback declarationsEvan Czaplicki 5018b35Add basic support for the loopback constructEvan Czaplicki