git.iko.soy/elk
on ff9d643 help sign in
ff9d643register port names before canonicalizationEvan Czaplicki 6e59427cosmetic: make module' function a bit clearerEvan Czaplicki 6c3be9bcosmetic: make "infer" more clear with ErrorTEvan Czaplicki 0f3f409Generate valid ports codeEvan Czaplicki 34b72a2Make arbitrary instances more restrictiveEvan Czaplicki 8bd16fdDon't alias super simple stuff like Int and FloatEvan Czaplicki 537c881Pretty print aliases correctly for descriptorsEvan Czaplicki e541928cosmetic: make names more consistentEvan Czaplicki 53565e2Carry aliases entirely through type inferenceEvan Czaplicki c051175cosmetic: switch to forM to improve styleEvan Czaplicki eaea367Get rid of debugging print that snuck inEvan Czaplicki 0dc89bfcosmetic: make actuallyUnify less monolithicEvan Czaplicki a12554fcosmetic: try to make -Wall happierEvan Czaplicki f32c040Alias on the return type of record constructorsEvan Czaplicki b16e876Add "alias" as a field in tvars and TermN'sEvan Czaplicki f99c924cosmetic: remove structuredVar and improve styleEvan Czaplicki e9a2672Properly print the unit typeEvan Czaplicki e9ecbe1cosmetic: remove Type.Alias mess from Build.PrintEvan Czaplicki 07907a0Remove the Type.Alias moduleEvan Czaplicki 9715180cosmetic: make adjustRank a bit easier to readEvan Czaplicki 70bd232Filter unused modulesEvan Czaplicki e6ac3d3Update JS gen to use canonicals & be nicer/fasterEvan Czaplicki 12a1752Add Text as default importEvan Czaplicki 702f99cPrettier error on mutually recursive type aliasesEvan Czaplicki ed195c1cosmetic: more consistent Binary instancesEvan Czaplicki 0e73928Add canonicalization helper modulesEvan Czaplicki 25eaad1Split canonicalization setup into new moduleEvan Czaplicki e2c3e2ccosmetic: align things more nicelyEvan Czaplicki 5340536Get docs compiling for nowEvan Czaplicki 64bececUse corrected ADT import syntaxEvan Czaplicki 677e16dexplicitly list exports of Maybe moduleEvan Czaplicki ceae300cosmetic: add Env prefix to insert functionsEvan Czaplicki 4a5093fcosmetic: use module prefixes for variable canonicalizationEvan Czaplicki cb72b98Explicitly list exportsEvan Czaplicki 25a6477cosmetic: use more module prefixesEvan Czaplicki d8b5511cosmetic: format code to a bit easier to readEvan Czaplicki 0bd70e7Explicitly list exportsEvan Czaplicki 9e272b6Do a better job canonicalizing valuesEvan Czaplicki d970976cosmetic: make line a bit shorterEvan Czaplicki e327216Fix errors with importsEvan Czaplicki 65008eeProperly resolve ADTs with no exposed constructorsEvan Czaplicki f89574cDummy implementations until everything else worksEvan Czaplicki 46841f0Canonicalize values and ADTs before type inferenceEvan Czaplicki 440c182When canonicalizing, prefer local definitionsEvan Czaplicki dfdf96dProperly import (::)Evan Czaplicki 6a7c0d6only expose exported values, add commentsEvan Czaplicki eae58a7Use canonical names during type inferenceEvan Czaplicki e2a0b46Take steps to allow higher kinded polymorphismEvan Czaplicki c33ca8aUse fewer local varsEvan Czaplicki fcd5d23cosmetic: mess with indentationEvan Czaplicki