git.iko.soy/elk
on 802be96 help sign in
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 2673890Make error message in solver slightly more specificEvan Czaplicki b540fb4Fix bug in generating Def for ADT constructorsEvan Czaplicki b87e45aChange module prefixes for some valuesEvan Czaplicki c881bd8Fix bug in type application when converting SourceSyntax.Type to Type.TypeEvan Czaplicki 901179cMarginally better errors when a variable is undefined.Evan Czaplicki a3a7b3eRefactor type environmentEvan Czaplicki 90c5c7dAdd terse way to do type applicationEvan Czaplicki 334d39cManual dead code elimination ;)Evan Czaplicki 1d10836Fix naming bug for List typeEvan Czaplicki e852ae2Add field to MetadataModule for datatypesEvan Czaplicki fceb46dTry to support polymorphic pattern matchingEvan Czaplicki 3bb618bProvide the type *and definition* for data constructurs during type checkingEvan Czaplicki 82983a6Update more modules to use the MetadataModule data structureEvan Czaplicki 8145e60Create MetadataModule for more refined information about modulesEvan Czaplicki 621a9c2Add a way to flatten lets that have become nestedEvan Czaplicki 0cfae2eMore specific importsEvan Czaplicki