mkDFunUnfolding wants the type of the dfun to be a PredTy
authorbenl@ouroborus.net <unknown>
Tue, 14 Sep 2010 06:29:39 +0000 (06:29 +0000)
committerbenl@ouroborus.net <unknown>
Tue, 14 Sep 2010 06:29:39 +0000 (06:29 +0000)

No differences found