git.iko.soy/elk
on 294ee07 help sign in
history ofsrc/Validate.hs
all commits
ea2a61eFix bug in parsing type applicationsEvan Czaplicki 99c8f4aConvert Validation phase from String to TextEvan Czaplicki 36e7961Detect duplicate fields in type annotations and port declarationsEvan Czaplicki b7403d0Detect duplicate fields in type and type alias declarationsEvan Czaplicki 0d6c87fBetter error messages for duplicate record fieldsEvan Czaplicki b97576dAttempt to speed up the parsing phaseEvan Czaplicki a2a2fc0Track region information in canonical defsEvan Czaplicki 0d2c5a2Remove [1..5] syntax in favor of List.rangeEvan Czaplicki 8677ff7Merge branch 'pr/1290' into devEvan Czaplicki 74bc3f2Clean up check for duplicate argumentsEvan Czaplicki 72da9daRename `Foreign` to `Port` across the codebaseEvan Czaplicki f24673bAdd "pkg" field to effect managersEvan Czaplicki fdb21dfAdd hint about program vs programWithFlagsEvan Czaplicki 856ac59Check programs that take flags, generate relevant decoderEvan Czaplicki 94ebc2dUse the same Result type everywhereEvan Czaplicki 66c833dGet foreign effects workingEvan Czaplicki cf4c998Add checks for cmdMap and subMapEvan Czaplicki 0d58deeGet rid of a couple TODO's related to error reporting for effect modulesEvan Czaplicki 2d33116Ensure that necessary effect manager functions existEvan Czaplicki fa09513Type check effect manager functionsEvan Czaplicki 3d94566Remove effect typesEvan Czaplicki ef280edAvoid repeated arguments at compile time. Fix #809Yoann Blein 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