Massive simplification: always deeply skolemise
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 8 Jul 2015 13:12:34 +0000 (09:12 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 8 Jul 2015 13:12:34 +0000 (09:12 -0400)
commit683fce2dcdd26cbef2ea381eec486faccc490f15
treefd2f3ad07ae9613b48e49c37310661f13a2953c3
parent6e99ae5d1987cf227b6139a277284cf823970988
Massive simplification: always deeply skolemise
compiler/hsSyn/HsUtils.hs
compiler/typecheck/TcExpr.hs
compiler/typecheck/TcExpr.hs-boot
compiler/typecheck/TcMatches.hs
compiler/typecheck/TcPat.hs
compiler/typecheck/TcRnDriver.hs
compiler/typecheck/TcRules.hs
compiler/typecheck/TcSplice.hs
compiler/typecheck/TcUnify.hs