../ Constrain/Fix issue in which patterns could become too general13 years ago Environment.hsFix issue in which patterns could become too general13 years ago Fragment.hsFix type constraints for case-expressions13 years ago Inference.hsPrettier printing for infix operator definitions13 years ago PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier13 years ago Solve.hsAssume all variables with the "Native." prefix exist and have type "a"13 years ago State.hsChange the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable13 years ago Type.hsCreate a serializable interface for a module's type information13 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