../ Constrain/Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable13 years ago Environment.hsStop creating types for ADT's, use Constant and Flexible in the right place13 years ago Fragment.hsMove the Environment.hs and Fragment.hs files down a directory.13 years ago Inference.hsRefactor type environment13 years ago PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier13 years ago Solve.hsMake error message in solver slightly more specific13 years ago State.hsChange the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable13 years ago Type.hsAdd CSaveEnv, optimize CAnd, make it prettier13 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