X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=a2fb4ceba5270722d827ffd6341c055a8b615cb3;hp=37bebcfddcf570f53ced43694226c7154fa74639;hb=6f2fc241ccad5e32826ecad404d0b8166b93de5b;hpb=ed0ad23b638a61f809f12fa25218da2921266b75

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