git.iko.soy/elk
on 93d2efe help sign in
history ofcompiler/SourceSyntax/Module.hs
all commits
9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki ce07355Minor style changeEvan Czaplicki a5684ffMaking #486 more in line with the style of the rest of the codebaseEvan Czaplicki 8594f6aAdded Pretty instance for ModuleJoey Eremondi b00a8cbAdd check that all ports appear in the "main" moduleEvan Czaplicki 6ba394cGet rid of experimental code for handling "deriving"Evan Czaplicki 96f55fcTake ports out of MetadataModule, where it is no longer neededEvan Czaplicki 270dbf8Add -Wall to a bunch of SourceSyntax files and get them warning freeEvan Czaplicki bd4d76eChenge representation of Expr, add ports representationEvan Czaplicki 5c509f2Make Binary serialization code nicerEvan Czaplicki 740702cBegin switch from current FFI syntax to "port" syntaxEvan Czaplicki 83e8badAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment.Evan Czaplicki 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