../ Constrain/Get rid of redundant code that collapses ParseDefs13 years ago Alias.hsAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment.13 years ago Environment.hsAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment.13 years ago ExtraChecks.hsAdd an occurs check to finally resolve #29413 years ago Fragment.hsUse new Located datastructure, add source strings where appropriate13 years ago Inference.hsUpdate for new type of module (no t v)13 years ago PrettyPrint.hsreprime when printing types13 years ago Solve.hsGo to original error style. I think it's nicer.13 years ago State.hsGo to original error style. I think it's nicer.13 years ago Type.hsAlso catch Just [] as an error13 years ago Unify.hsAdd note about no sharing between top-level and let-bound type variables13 years ago