6f94400Begin parsing types and patterns such as A.B.CEvan Czaplicki13 years ago 22f7f8aCreate a serializable interface for a module's type informationEvan Czaplicki13 years ago 5cb82c6Add support for "(,,) a b c" as a valid type annotationEvan Czaplicki13 years ago 08ff939Be more flexible with the position of the closing bracket of a record type.Evan Czaplicki13 years ago d29ca3bCreate a Parse.Declaration file for all declarations. Get rid of special purpose Parse.Foreign library.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 69ed763Start switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas).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 459cf8eSwitch parsers over to new ASTevancz13 years ago