../ 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 record constructors, begin using lists to represent fields in record types to maintain ordering from the source program13 years ago SourceSyntax/Simplify code to generate record constraints13 years ago Transform/Simplify code to check for structural errors13 years ago Type/Simplify code to generate record constraints13 years ago Compiler.hsPut type aliases in ModuleInterface13 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.hsRewrite `readDeps` so that modules are never read more than once13 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