on 254d71f help sign in
all commits
7b20993Get rid of dependency on uniplate so AST does not need to derive Data or TypeableEvan Czaplicki 26a8c82Get rid of Build.Info file, move compiler version to Elm.Internal.Version and use Elm's version conventionsEvan Czaplicki dac51abFinish refactoring code into Build/ directory, make some names more consistent and remove unneeded dependenciesEvan Czaplicki 158c70eFix typoMichael Sondergaard 4a11189Add invalid serialization errors to Module.hsMichael Sondergaard c845e58Give more helpful error messages when deserializing elmi filesJustin Leitgeb 576bc28Print types even when the elm file has already been compiled.Justin Leitgeb 37f1be6Add fixities to module interfacesEvan Czaplicki 6ba2d70Revert 95ec3a8..1a093acEvan Czaplicki fea6e5dAdd fixities to module interfacesEvan Czaplicki 7093436Switch to SrcTypes after type inference, not in compilerEvan Czaplicki eb96d7aGet rid of current canonicalization codeEvan Czaplicki 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