From 6f2fc241ccad5e32826ecad404d0b8166b93de5b Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 18 Dec 2009 16:41:19 +0000 Subject: [PATCH] Comments only --- compiler/typecheck/TcInstDcls.lhs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 1.7.10.4