692d8d8Throw errors for unbound type variables in ADTs and aliases, resolves #302Evan Czaplicki13 years ago c9824b4Nicer show for `Assoc`Evan Czaplicki13 years ago e4ca967Create a source syntax for types that will get converted into the internal type representation during type checking.Evan Czaplicki13 years ago f2b3ed7Start using the PrettyPrint library to show expressions, literals, and patterns.Evan Czaplicki13 years ago c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz13 years ago 339ad77Begin getting the parser to match the new SourceSyntax modules.evancz13 years ago bbb2b2aBegin migrating the AST to its own branch for the source syntax of the language.evancz13 years ago