git.iko.soy/elk
on bbb6583 help sign in
history ofsrc/Validate.hs
all commits
3d94566Remove effect typesEvan Czaplicki 8f032c9Make `command` and `subscription` functions available in effect modulesEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki d163289Parse more liberally, give errors in validation phase for better messagesEvan Czaplicki 3e8eb7bJust focus on effect modules, ignore foreign effects for nowEvan Czaplicki 4da491bProperly parse and validate define constructEvan Czaplicki 455dcb2Begin supporting "define" in Parse and Validate phasesEvan Czaplicki 6d9f01bRemove portsEvan Czaplicki a5b80f3cosmetic: add vertical whitespaceEvan Czaplicki 1529666Fix #1110, do not allow phantom types in type aliasesEvan Czaplicki 656bfb7Switch Reports to use Docs for pre and post hintsEvan Czaplicki a2427f5Rule out duplicate fields in Validate phase and provide nice error messageEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 75ccf81Give nicer errors for bad function defs and for duplicate variables in patternsEvan Czaplicki 92dc057Remove 'Crash' from AST.Expression.GeneralEvan Czaplicki 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 2fbfb20Thread doc comments through compilation processEvan Czaplicki fb1a6d2Throw errors when you have ports in a submoduleEvan Czaplicki 410ab22Fix presentation bug with unbound type variable errorsEvan Czaplicki 5b3458dCreate hints for syntax errorsEvan Czaplicki b4657b9Make error reporting parallelEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki