git.iko.soy/elk
on b5df201 help sign in
history ofsrc/Validate.hs
all commits
70933c9Resolve TODOs in ValidateEvan Czaplicki a3ad7d2Make Elm.Name an opaque typeEvan Czaplicki 450b5e7Update validation phase for new AST var infoEvan Czaplicki 1b0a3bfGet Elm.Header working againEvan Czaplicki 2e099f9Tie all the phases togetherEvan Czaplicki 1aa236aUpdate validation for new Reporting.AnnotationEvan Czaplicki e34add9Update validate for AST shuffleEvan Czaplicki 85b2e31Remove AST.Literal stuff from validation phaseEvan Czaplicki 24caf2aVerify that init/onEffects/onSelfMsg exist in canonicalizationEvan Czaplicki fcbda99Get canonicalization of module going againEvan Czaplicki a561bf3Thread more region info through validationEvan Czaplicki 5fab52aSimplify validation phase a bunchEvan Czaplicki 8171eadcosmetic: rename wrn to w in type annotationsEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki f232da4Do DCE while generating JS.Evan Czaplicki 357b7e4Stop holding FilePath in AST.ModuleEvan Czaplicki 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