git.iko.soy/elk
on c19ccfe help sign in
history ofcompiler/Type/Inference.hs
all commits
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