../ 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/Add support for `let (==>) = Lambda in …`13 years ago SourceSyntax/Add pretty printing for record types13 years ago Transform/Simplify code to check for structural errors13 years ago Type/Unify any constrained variables with the same super-type13 years ago Compiler.hsPrettier printing for infix operator definitions13 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