../ Generate/Cosmetic changes13 years ago Language/Create a serializable interface for a module's type information13 years ago Metadata/Change name of Prelude to Basic, matching change in libraries/13 years ago Parse/Remove use of SourceSyntax.Rename, which no longer exists13 years ago SourceSyntax/Add types and `deprime` function to SourceSyntax.Helpers13 years ago Transform/Get rid of logging and add Int, Float, Char, Bool to the global environment13 years ago Type/Get rid of current canonicalization code13 years ago Compiler.hsPrettify code to print program13 years ago Docs.hsGet all of the Haskell files compiling with the new type checker. Does not actually work, undefined is used in some places as a stopgap measure.13 years ago Dummy.cabalRemove SourceSyntax.Rename13 years ago Initialize.hsIntroduce Transform.Canonicalize13 years ago Paths_Elm.hsAdd two dummy files to make it possible to build the compiler from within emacs. This makes it faster to type-check things and start testing functions.13 years ago Unique.hsParameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.13 years ago