git.iko.soy/elk
on 609cc3d help sign in
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 9592d28Start using Data.Graph to work out dependency problems and other minor tweaksEvan Czaplicki ca4502bSave the current environment on CSaveEnvEvan Czaplicki b0f96a2Switch from [Def t v] to (LExpr t v) for program representationEvan Czaplicki 4dc68acStop creating types for ADT's, use Constant and Flexible in the right placeEvan Czaplicki 4c0f716Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variableEvan Czaplicki 807076aAdd CSaveEnv, optimize CAnd, make it prettierEvan Czaplicki 648cbd4Use letters for arguments in adt constructorsEvan Czaplicki c942afeNicer pretty printing and a special variable to "Save the Environment"Evan Czaplicki c1aef78Flatten lets only during JavaScript generationEvan Czaplicki ce652d9Print errors more nicelyEvan Czaplicki 45b43e8When creating a named var, allow it to be flexible.Evan Czaplicki