git.iko.soy/elk
on master help sign in
history of22bbeae..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 4b032e5Merge pull request #1458 from jvoigtlaender/patch-2Evan Czaplicki c8eeb8dadd #1240 to issue templateJanis Voigtländer 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 c7826f7less demanding wordingJanis Voigtländer 48f6a26in issue template, direct to "meta" issuesJanis Voigtländer 70d4933Merge pull request #1437 from elm-lang/pr/1342Evan Czaplicki eae9303Add version constraint on aeson-prettyEvan Czaplicki 62cfdafMove stuff into .github/ directoryEvan Czaplicki 46708ecCreate issue template to try to reduce duplicatesMax Goldstein