git.iko.soy/elk
on ab17521 help sign in
history ofcompiler/Type/Inference.hs
all commits
a159f20Begin fixingEvan Czaplicki a88ed26Switch imports from SourceSyntax to ASTEvan Czaplicki 9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki a97b995Add checks for port types to ensure that only JS values go through ports and that type annotations are correct and consistentEvan Czaplicki c966776Add -W flag to many files, mostly getting rid of dead importsEvan Czaplicki 5e3f94cUpdate for new type of module (no t v)Evan Czaplicki 576bc28Print types even when the elm file has already been compiled.Justin Leitgeb 95ec3a8Stop using `error` when constraining patterns and when instantiating source typesEvan Czaplicki 18c67cbProperly perform extraChecksEvan Czaplicki 4d25352Show realiased types when printing errors and when printing module typesEvan Czaplicki 7093436Switch to SrcTypes after type inference, not in compilerEvan Czaplicki b5979b4Add occurs check and a test to make sure it worksEvan Czaplicki 70f1242Check that main is a Signal or (Signal Element), add tests for this caseEvan Czaplicki 51bc878Use new Located datastructure, add source strings where appropriateEvan Czaplicki b1f53d0Pipe source locations through the type checkerEvan Czaplicki ec24738Get rid of dead codeEvan Czaplicki eb96d7aGet rid of current canonicalization codeEvan Czaplicki da346eaShow type errors in the order they appear in the source fileEvan Czaplicki 2a5bee0Include type aliases from dependenciesEvan Czaplicki 0f85a2fResolve type aliases in `instantiator`Evan Czaplicki 6948858Allow multiple different imports of the same module, clean up `canonicalize` codeEvan Czaplicki 0681fbeGet rid of dead function and give instantiateTypeWithContext a shorter nameEvan Czaplicki 9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 8ffcf9ePrettier printing for infix operator definitionsEvan Czaplicki 802be96Fix issue in which patterns could become too generalEvan Czaplicki 138e99cBegin to canonicalize imported values and typesEvan Czaplicki 81522b3Make cross-module types aware of user-specified aliasesEvan Czaplicki c140d69First draft of cross-module type checkingEvan Czaplicki b0f96a2Switch from [Def t v] to (LExpr t v) for program representationEvan Czaplicki a3a7b3eRefactor type environmentEvan Czaplicki 8145e60Create MetadataModule for more refined information about modulesEvan Czaplicki ce357b3Switch to reporting errors with [Doc] for prettier layout.Evan Czaplicki 67ef1ecCreate the Type.Inference module which handles type inference from start to finish. Give it a Module and it returns a dictionary mapping top-level values to types.Evan Czaplicki