Midstream changes to deal with spontaneous solving and flatten skolem equivalence...
authordimitris@microsoft.com <unknown>
Tue, 19 Oct 2010 17:15:14 +0000 (17:15 +0000)
committerdimitris@microsoft.com <unknown>
Tue, 19 Oct 2010 17:15:14 +0000 (17:15 +0000)
commit162c7e780267c73495fb245a873f7e3b8431471b
treebefc2e87dcc148186dfb2ae26acc9e8520a062cc
parent52b0eea0e1a22ce95b1f3b933ee01439234c96a7
Midstream changes to deal with spontaneous solving and flatten skolem equivalence classes
compiler/stgSyn/CoreToStg.lhs
compiler/typecheck/TcCanonical.lhs
compiler/typecheck/TcInteract.lhs
compiler/typecheck/TcSMonad.lhs