on abb6dc1 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/Prettier printing for infix functions like `div` Transform/Simplify code to check for structural errors Type/Properly unify constrained variables, serious changes here!!! 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.hsMake a type less general 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.