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