../ 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.hsCreate an `isOp` function for strings.13 years ago Helpers.hsCreate an `isOp` function for strings.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.hsAdd field to MetadataModule for datatypes13 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.hsFix naming bug for List type13 years ago Variable.hsAdd support for pattern matching on literals.13 years ago