git.iko.soy/elk
on 54dfb21 help sign in
history ofsrc/Type/Constrain/Expression.hs
all commits
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 d959f5aRemove stray spacesEvan Czaplicki 06bc194Produce the correct type for shaders and texturesEvan Czaplicki f9f5d8eRemove markdown blocks as a language constructEvan 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 85eb0daremove dead code from markdown interpolation experimentEvan Czaplicki bb5d079Remove redundant -W flags from source codeEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki