../ Entailment.hsBetter context information for typed hole errors (#2247)10 years ago Kinds.hsImproved error messages in the constraint solver (#2230)10 years ago Monad.hsBetter context information for typed hole errors (#2247)10 years ago Rows.hsTravis tweaks (#2178)10 years ago Skolems.hsTravis tweaks (#2178)10 years ago Subsumption.hsImproved error messages in the constraint solver (#2230)10 years ago Synonyms.hsNoImplicitPrelude, enable some global extensions (#2094)10 years ago Types.hsFix #2252, instantiate types in array literals before unification (#2258)10 years ago Unify.hsBetter context information for typed hole errors (#2247)10 years ago