Remove SkolemiseMode -- always go deep.
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 18:39:16 +0000 (14:39 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 18:39:16 +0000 (14:39 -0400)
commitb4194abe0e2bc24a3ff63f491e266bb048b526a9
tree419ac230ebaa2e5dce61b1193c8c58615e354dac
parent890058c1d215d2d9de327542bd1c28ab83e92655
Remove SkolemiseMode -- always go deep.
compiler/typecheck/Inst.hs
compiler/typecheck/TcBinds.hs
compiler/typecheck/TcExpr.hs
compiler/typecheck/TcMatches.hs
compiler/typecheck/TcUnify.hs