../ Generate/Stop importing the Native library by default13 years ago Language/Create a serializable interface for a module's type information13 years ago Metadata/Start using Metadata.Prelude13 years ago Parse/Add support for `let (==>) = Lambda in …`13 years ago SourceSyntax/Load ADTs into the environment to fix constraint generation for patterns13 years ago Transform/Simplify code to check for structural errors13 years ago Type/Load ADTs into the environment to fix constraint generation for patterns13 years ago Compiler.hsStart using Metadata.Prelude13 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.cabalAdd 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 Initialize.hsStart using Metadata.Prelude13 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