git.iko.soy/elk
on eebfe6a help sign in
eebfe6aHack to parse old JSON docs with primesEvan Czaplicki 9a852e2Suggest that people choose descriptive namesEvan Czaplicki 6de79b8Be more aggressive in committing to args in definitionsEvan Czaplicki cf107f9Make errors for primes in variables much more preciseEvan Czaplicki 0d71129Make the definition parser commit more aggressivelyEvan Czaplicki 84711ecDisallow primes in variable namesEvan Czaplicki 7e69419Flip the arguments to Json.Decode.andThen in generated JSEvan Czaplicki 849668aStop using (:=) in generated JSEvan Czaplicki 524ea0aBump version to 0.18Evan Czaplicki ba244b6Make Bitwise shift names match elm-lang/coreEvan Czaplicki f71c9d4Update the bitwise op inlining for new namesEvan Czaplicki 2372433Stop exposing defaultImports and do all import adding internallyEvan Czaplicki 8b484abFix #873, detect bad recursive valuesEvan Czaplicki dbc1665Inline bitwise operations and Basics.notEvan Czaplicki c77af53Resolve -Wall errors from Type.SolveEvan Czaplicki db0d6cdEnable -Wall on Type.SolveEvan Czaplicki b17a4f0Better error messages for bad record accessesEvan Czaplicki a2a2fc0Track region information in canonical defsEvan Czaplicki dcce951Improve error messages for bad return types (annotation /= def)Evan Czaplicki e481f00Make error messages nicer for rigid type variablesEvan Czaplicki 4bec0ecRemove Type.Solve.allDistinct for rigid var uniqueness checkEvan Czaplicki a5b21a1cosmetic: remove stray newlineEvan Czaplicki f5214d6cosmetic: remove stray newlineEvan Czaplicki 2de786dDo not drop aliases in Reporting.Render.TypeEvan Czaplicki 942ee24Use user-defined type variables whenever possibleEvan Czaplicki 8506ed8Assume arguments match the type annotationsEvan Czaplicki 3b23d86Rename Environment to Env in type inferencerEvan Czaplicki afb08b8Move Type.Fragment into Type.Constrain.PatternEvan Czaplicki c3ee8cacosmetic: move constrainAnnotatedDef below other def codeEvan Czaplicki 7894dacOnly generate message types for nowEvan Czaplicki 20ab198Filter out BuiltIn types from transitive program type dependenciesEvan Czaplicki 014d640Transitive type deps of program Model and MsgEvan Czaplicki 8c8e70aDo a better job with missing fieldsEvan Czaplicki 4d800cdImprove missing args type diffEvan Czaplicki 267f708Improve type error for mismatched entries in list literalEvan Czaplicki d5f706fMake hinting aware of position in recordEvan Czaplicki dd084ffBetter errors for large record typesEvan Czaplicki ecd68b3Emphasize missing arguments better in type diffsEvan Czaplicki 5bf3d0cDo not use the term "arguments" in binary operator errorsEvan Czaplicki 22bbeaeProvide hint for "not enough args"Evan Czaplicki d00bed9Capture result of guardedUnify more clearlyEvan Czaplicki 1038b75Don't track exactly the part that is mismatchedEvan Czaplicki 094830dAdd message on = and : for when you indented a definition wrongEvan Czaplicki 707bea1Make error messages nicer for single-quoted stringsEvan Czaplicki 816a476Nicer error when using = | : -> as infix opsEvan Czaplicki e212b97cosmetic: switch from <|> to choice [...]Evan Czaplicki a41b661Rule out backtick as a symbol in AST.HelpersEvan Czaplicki 0d2c5a2Remove [1..5] syntax in favor of List.rangeEvan Czaplicki bb54ad6Move operator parser infixOp into Parser.BinopEvan Czaplicki 7a2e15fRemove backtick-infix syntaxEvan Czaplicki