From: simonpj@microsoft.com <unknown>
Date: Fri, 18 Dec 2009 16:41:19 +0000 (+0000)
Subject: Comments only
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=6f2fc241ccad5e32826ecad404d0b8166b93de5b;hp=ed0ad23b638a61f809f12fa25218da2921266b75

Comments only
---

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 37bebcf..a2fb4ce 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -1113,7 +1113,9 @@ Note carefully:
      isn't what the user expected
 
   b) We use the magic 'inline' Id to ensure that $dmop1 really is
-     inlined in $cop1, even though the latter itself has an INLINE pragma
+     inlined in $cop1, even though 
+       (i)  the latter itself has an INLINE pragma
+       (ii) $dmop1 is not saturated
      That is important to allow the mutual recursion between $fooInt and
      $cop1 to be broken