../ 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.hsNicer pretty printing and a special variable to "Save the Environment"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.hsFirst draft of cross-module type checking13 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.hsNicer pretty printing and a special variable to "Save the Environment"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.hsCreate a serializable interface for a module's type information13 years ago Variable.hsAdd support for pattern matching on literals.13 years ago