../ Generate/Fix pattern matching aliases so that it works in all cases. Previously it was totally broken.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 support for triple-quoted multi-line strings13 years ago SourceSyntax/Start writing a new type checker based on the ATAPL chapter on efficient type-inference.13 years ago Transform/Fix optimization bug with > sign.13 years ago Type/Start generating constraints for let-expressions. Account for mutual recursion, but will throw a runtime error if a user has given type annotations.13 years ago Types/Turn off debug code that printed all constraints during unify.13 years ago Compiler.hsFinish parameterizing the AST and properly check errors in let expressions.13 years ago Docs.hsGet the whole compiler building again.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.hsFinish parameterizing the AST and properly check errors in let expressions.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