../ Generate/Flatten lets only during JavaScript generation13 years ago Language/Create a serializable interface for a module's type information13 years ago Metadata/Switch the internal data constructor name for tuples. Before tuple constructors could be shadowed by user defined ADT's such as "Tuple0", "Tuple2", etc. Now it uses "_Tuple0" to make it impossible to overlap with user defined ASTs.13 years ago Parse/Begin parsing types and patterns such as A.B.C13 years ago SourceSyntax/Begin to canonicalize imported values and types13 years ago Transform/Add a way to flatten lets that have become nested13 years ago Type/Begin to canonicalize imported values and types13 years ago Compiler.hsMake a type less general13 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.hsMake a type less general13 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