git.iko.soy/elk
on d7cdace help sign in
d7cdaceGet Automaton compilingEvan Czaplicki 6948858Allow multiple different imports of the same module, clean up `canonicalize` codeEvan Czaplicki 9386751Fix parser for "import List" which before was not importing anything.Evan Czaplicki 0ab92aeMinor tweaks to match type-checker generation of ADT constraintsEvan Czaplicki 0681fbeGet rid of dead function and give instantiateTypeWithContext a shorter nameEvan Czaplicki 32a331bLoad ADTs into the environment to fix constraint generation for patternsEvan Czaplicki 435822dGet Date and JS libraries compilingEvan Czaplicki 2b2bc08Minor cosmetic changeEvan Czaplicki ff67c66Get Matrix2D and Signal compilingEvan Czaplicki c19ccfeStop importing the Native library by defaultEvan Czaplicki 727d708Get libraries to compileEvan Czaplicki 1753583Get libraries compilingEvan Czaplicki ec86876Move type annotations out of Environment and into the Basics libraryEvan Czaplicki 4e1f79cGet List and Maybe compiling with the Basics moduleEvan Czaplicki 7968fa5Make Basics compileEvan Czaplicki c4880caRename Prelude to Basics to get rid of circular dependenciesEvan Czaplicki d77dbb0Switch to new type signaturesEvan Czaplicki eba7e62Trim some unused dependenciesEvan Czaplicki 016a199Start using Metadata.PreludeEvan Czaplicki d4b2366Rename Metadata.Libraries to Metadata.PreludeEvan Czaplicki a4468d2Combine two Metadata files into oneEvan Czaplicki 0db809fSwitch formatting for language pragmasEvan Czaplicki e702370Rename a moduleEvan Czaplicki 4c02f6bStart reworking the Metadata modulesEvan Czaplicki 6c808aachange whitespaceEvan Czaplicki 9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 642b1f7Properly handle constrained variables when converting from Src.Type to Type.TypeEvan Czaplicki 609cc3dUnify any constrained variables with the same super-typeEvan Czaplicki a05c82fMess with whitespaceEvan Czaplicki d9c1317Add pretty printing for record typesEvan Czaplicki 11c1b76Update to use the "number" type variableEvan Czaplicki 067773dUpdate the List library to use the number, comparable, and appendable type variablesEvan Czaplicki d059c36Fix the type of String literalsEvan Czaplicki abb6dc1Prettier printing for infix functions like `div`Evan Czaplicki b6144aeProperly unify constrained variables, serious changes here!!!Evan Czaplicki 856360bGet rid of unused part of the type error messageEvan Czaplicki 4e7ef5fAdd definitions for functions that act on numbers and comparablesEvan Czaplicki d456cecOverload literal numbers without a decimal point to be either Ints or FloatsEvan Czaplicki 82ca695Add support for "number" type which can be either an Int or FloatEvan Czaplicki 666d9f8Assume all variables with the "Native." prefix exist and have type "a"Evan Czaplicki 2609f5dAdd support for `let (==>) = Lambda in …`Evan Czaplicki 7b90975Simplify code to check for structural errorsEvan Czaplicki 8ffcf9ePrettier printing for infix operator definitionsEvan Czaplicki 802be96Fix issue in which patterns could become too generalEvan Czaplicki 175798fFix type constraints for case-expressionsEvan Czaplicki f37e05aFix type constraints for PDataEvan Czaplicki d15d84dGet patterns to type-check with the value in the case expressionEvan Czaplicki eaa751dMake pretty printing for types prettierEvan Czaplicki 138e99cBegin to canonicalize imported values and typesEvan Czaplicki eb722a2Make a type less generalEvan Czaplicki