Fix IPRun by fixing the inferred quantification mechanism
authorsimonpj@microsoft.com <unknown>
Tue, 19 Oct 2010 09:02:20 +0000 (09:02 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 19 Oct 2010 09:02:20 +0000 (09:02 +0000)
commit921d73679d8238a16878fce91b656b129ba2b8b4
treee87a0038ee14585a1aa5ac67b8521baceb12ae08
parent51462af9d4af9e16b29da1530929e802c0d846e2
Fix IPRun by fixing the inferred quantification mechanism
compiler/typecheck/TcSimplify.lhs