git.iko.soy/elk
on d77dbb0 help sign in
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 d9471f6Add flexible variables for type annotated valuesEvan Czaplicki 6f94400Begin parsing types and patterns such as A.B.CEvan Czaplicki 97bd68aMake parse errors print more nicelyEvan Czaplicki 81522b3Make cross-module types aware of user-specified aliasesEvan Czaplicki c140d69First draft of cross-module type checkingEvan Czaplicki 4bcde7eAdd flag for printing a whole programEvan Czaplicki 1f8b7bbIntroduce TypeLibrary alias, a minor cosmetic changeEvan Czaplicki 0fd1f67Get things in place to pass Prelude interfacesEvan Czaplicki b1dd157Begin passing module interfaces when compiling dependenciesEvan Czaplicki 22f7f8aCreate a serializable interface for a module's type informationEvan Czaplicki 0c14f6eadd note about (,,) in typesEvan Czaplicki fa11f8eget rid of unused importsEvan Czaplicki 5cb82c6Add support for "(,,) a b c" as a valid type annotationEvan Czaplicki 1a4732aStart building a .elmi file that contains the types of all top-level functionsEvan Czaplicki c9a1cc9Minor reformatting and removing unused dependenciesEvan Czaplicki 2375829Improve pretty printing for typesEvan Czaplicki