git.iko.soy/elk
on e9cfb68 help sign in
e9cfb68Merge branch 'dev'Evan Czaplicki 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 4f5db92Revert "Merge pull request #1470 from brianhempel/faster_builds"Evan Czaplicki 96a4695Merge pull request #1470 from brianhempel/faster_buildsEvan Czaplicki a3ef05fSpeed up exhaustiveness checker.Brian Hempel 7894dacOnly generate message types for nowEvan Czaplicki ee39e7eMerge pull request #1463 from jvoigtlaender/patch-2Evan Czaplicki 24e4c84fix wrong link in port type errorJanis Voigtländer 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 4b032e5Merge pull request #1458 from jvoigtlaender/patch-2Evan Czaplicki c8eeb8dadd #1240 to issue templateJanis Voigtländer