Tidy-up sweep, following the Great Skolemisation Simplification
authorsimonpj@microsoft.com <unknown>
Thu, 21 Oct 2010 07:08:37 +0000 (07:08 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 21 Oct 2010 07:08:37 +0000 (07:08 +0000)
commitb10d7d079ec9c3fc22d4700fe484dd297bddb805
treec817e0f357f654dc30d6f930d4f8c3f9356c70f1
parent9a0d8e2bb7957e22f4555fb4f461bd71bd3bdca6
Tidy-up sweep, following the Great Skolemisation Simplification
compiler/typecheck/TcArrows.lhs
compiler/typecheck/TcBinds.lhs
compiler/typecheck/TcClassDcl.lhs
compiler/typecheck/TcExpr.lhs
compiler/typecheck/TcInstDcls.lhs
compiler/typecheck/TcMatches.lhs
compiler/typecheck/TcPat.lhs
compiler/typecheck/TcRnTypes.lhs
compiler/typecheck/TcSplice.lhs
compiler/typecheck/TcUnify.lhs