../ Declaration.hsCreate a source syntax for types that will get converted into the internal type representation during type checking.13 years ago Everything.hsStart using the PrettyPrint library to show expressions, literals, and patterns.13 years ago Expression.hsSwitch 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 Helpers.hsSwitch 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 Literal.hsfix pretty printer for chars13 years ago Location.hsConvert more files to the new Expression format that relies more on patterns. Seems to clean things up so far.13 years ago Module.hsStart adding constraint generation for declarations.13 years ago Pattern.hsSwitch 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 PrettyPrint.hsGet type inference working in the basic case. Begin working on printing errors in a prettier way.13 years ago Rename.hsStart switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas).13 years ago Type.hsSwitch 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 Variable.hsAdd support for pattern matching on literals.13 years ago