../ 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/Fix the confusion with "Cons" and "Nil" in issue #176.13 years ago Parse/Add pretty printing for type constraints.13 years ago SourceSyntax/Get type inference working in the basic case. Begin working on printing errors in a prettier way.13 years ago Transform/Get Optimize.hs updated for the newer AST.13 years ago Type/Begin generating constraints for whole programs. Need to perform dependency sort within let-expressions for things to work properly though.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.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 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