git.iko.soy/elk
on da346ea help sign in
history ofcompiler/SourceSyntax/Module.hs
all commits
760ad90Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source programEvan Czaplicki 637c7e0Put type aliases in ModuleInterfaceEvan Czaplicki 6948858Allow multiple different imports of the same module, clean up `canonicalize` codeEvan Czaplicki 32a331bLoad ADTs into the environment to fix constraint generation for patternsEvan Czaplicki 138e99cBegin to canonicalize imported values and typesEvan Czaplicki c140d69First draft of cross-module type checkingEvan Czaplicki 22f7f8aCreate a serializable interface for a module's type informationEvan Czaplicki b0f96a2Switch from [Def t v] to (LExpr t v) for program representationEvan Czaplicki e852ae2Add field to MetadataModule for datatypesEvan Czaplicki 8145e60Create MetadataModule for more refined information about modulesEvan Czaplicki 2ef1882Start adding constraint generation for declarations.Evan Czaplicki c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz bbb2b2aBegin migrating the AST to its own branch for the source syntax of the language.evancz