../ Constrain/Improve quality of error messages.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.hsGet all of the Haskell files compiling with the new type checker. Does not actually work, undefined is used in some places as a stopgap measure.13 years ago Type.hsMake constraint pretty printing prettier.13 years ago Unify.hsGet type inference working in the basic case. Begin working on printing errors in a prettier way.13 years ago