../ Generate/Get 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 Language/Add `hoverable` and `hoverables`13 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/Turn unary negation back on.13 years ago SourceSyntax/Add back in checks for duplicate and out-of-order definitions.13 years ago Transform/Add back in checks for duplicate and out-of-order definitions.13 years ago Type/Create the Type.Inference module which handles type inference from start to finish. Give it a Module and it returns a dictionary mapping top-level values to types.13 years ago Compiler.hsFinish parameterizing the AST and properly check errors in let expressions.13 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.hsAdd back in checks for duplicate and out-of-order definitions.13 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