git.iko.soy/elk
on 609cc3d help sign in
history ofcompiler/SourceSyntax/Module.hs
all commits
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