on 6c808aa help sign in
elk/compiler
7 folders, 6 files
../ Generate/Flatten lets only during JavaScript generation Language/Create a serializable interface for a module's type information 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. Parse/Add support for `let (==>) = Lambda in …` SourceSyntax/Add pretty printing for record types Transform/Simplify code to check for structural errors Type/Change functions for creating type variables, distinguish names of different constraint type variables Compiler.hsPrettier printing for infix operator definitions 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. 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. Initialize.hschange whitespace 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. Unique.hsParameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.