git.iko.soy/elk
on master help sign in
history ofc2eecc2..master
compare
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 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 9ebce90cosmetic: switch from `fmap` to <$>Evan Czaplicki aae0428cosmetic: add vertical whitespaceEvan Czaplicki 59307faNitpick new Program typeEvan Czaplicki a778069Use fewer wordsEvan Czaplicki bdf7351Merge pull request #1448 from rafikdraoui/missing-patterns-updateEvan Czaplicki 5b5230cRemove references to `(?)` and `unsafe` in missing patterns hintsRafik Draoui 505bafcRephrase 'bad type annotation' error message to focus on the implementation.Richard Feldman 49eed34Merge pull request #1442 from rtfeldman/qualifier-error-messageEvan Czaplicki 7469b18Rephrased per @jvoiglaender's comment.Richard Feldman a26722eExpress unknown qualifier in terms of modules.Richard Feldman 98f3d69Merge pull request #1441 from elm-lang/evancz-patch-1Evan Czaplicki 0fe4d5dTrim down textEvan Czaplicki d0cffb7Merge pull request #1440 from jvoigtlaender/patch-2Evan Czaplicki