../ Constrain/Switch 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 Environment.hsAdd pretty printing for type constraints.13 years ago Fragment.hsMove the Environment.hs and Fragment.hs files down a directory.13 years ago Solve.hsFix error in generalization in which some variables would escape their rank. Problem was that young variables were not all being marked as young.13 years ago State.hsRemove some debugging stuff and generally clean up the code. There was one potential error in which a debug needed to be a liftIO, the computation it performed was not optional.13 years ago Type.hsMake constraint pretty printing prettier.13 years ago Unify.hsRemove some debugging stuff and generally clean up the code. There was one potential error in which a debug needed to be a liftIO, the computation it performed was not optional.13 years ago