git.iko.soy/elk
on fbff9ce help sign in
fbff9ceImprove the error messages for bad rigid type variablesEvan Czaplicki 40aafc6Stop attempting to rigidify when popping scheme poolEvan Czaplicki 0765fdeAdd some SCC annotations for generating type constraintsEvan Czaplicki 428b0a1Keep a pool stack, not just old and youngEvan Czaplicki 696ee0aMake Type.State.introduce allocate a bit lessEvan Czaplicki 09076ebcosmetic: move generalize to bottom of Type.Solve moduleEvan Czaplicki 7f27a2fUse qualified Type.bool so it is a little bit clearerEvan Czaplicki a0fccd5Move Super type into AST.TypesEvan Czaplicki 34a253dCreate a newtype for Marks so ranks and marks never get mixed upEvan Czaplicki 3e23ef2Use NOINLINE values to reduce allocation of Descriptors in constraint generationEvan Czaplicki b02b4aaDo not expose Description fields / optimize copy and flattenEvan Czaplicki dbe6c75Move constraint primitives into Type.ConstraintEvan Czaplicki e6b8eb3Only crawl type alias variables in adjustRankContent (and other optimizations)Evan Czaplicki d228087Use faster data structure in Type.Solve.generalizeEvan Czaplicki f2fb18cAdd missing case to Json.Encode.encodeEvan Czaplicki 2a6bddeMerge pull request #1615 from simonewebdesign/patch-1Evan Czaplicki 5344b31Fix typoSimone Vittori a166d94Make license go to presentEvan Czaplicki da3755aFix "need N more arguments" error messagespikefoo f82095cMerge pull request #1612 from gampleman/patch-1Evan Czaplicki a8a4987Fix a few typos in the imports hintJakub Hampl 21cf408Fix kernel symbol lookup for new parsing codeEvan Czaplicki 4cd5aecAdd generic way to handle conditional dev/prod kernel codeEvan Czaplicki d78a753Add more vertical whitespaceEvan Czaplicki 39de107Make canonicalization hint a bit friendlierEvan Czaplicki 61e7508Add a hint for canonicalization errorsEvan Czaplicki 445ea07Make it possible to JSON encode floatsEvan Czaplicki 23f06c9Redo decoder failure messages to look nicer with new error reportingEvan Czaplicki 03b111eDo not list (=>) as a default importEvan Czaplicki 2f5ffadFix bug in Json.Encode.encodeUglyEvan Czaplicki 372b73eAdd more restrictions on repo namesEvan Czaplicki 2e354ceFix typo in port conversionsEvan Czaplicki e4b451fAdd ability to parse very old documentation formatEvan Czaplicki 1361e2bBump to 0.19Evan Czaplicki 666edc3Helper to figure out kernel name conditionallyEvan Czaplicki 5a973c8Switch enums from numbers to stringsEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki 309a8f8cosmetic: shuffle code around a bitEvan Czaplicki b594c8fExpose Assoc and assocToText in Elm.DocsEvan Czaplicki c96fe59Add Json.Decode.stringEvan Czaplicki 466c477Stop including -} in doc commentsEvan Czaplicki 4cc8b09Introduce "ugly" encodingEvan Czaplicki 572f3c2Detect infinite types before unrolling functions upon mismatchEvan Czaplicki 70f3f60Do not claim it is an anonymous functionEvan Czaplicki 60ca557Show better error messages on infinite comparable typesEvan Czaplicki 1408bc3The Error structure describes how it should be displayedEvan Czaplicki 65aa02aDetect infinite comparable typesEvan Czaplicki 368cdbcMove the occurs check into its own moduleEvan Czaplicki 20fa5f2Better behavior when unifying with yourselfEvan Czaplicki 7729527Start using strict State and WriterEvan Czaplicki