From: simonpj@microsoft.com Date: Fri, 13 Nov 2009 14:59:44 +0000 (+0000) Subject: Wibble to comment X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=11b79683262dfba851d17f298186393ef063ed40 Wibble to comment --- diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs index 85487e6..3fe8d54 100644 --- a/compiler/deSugar/DsBinds.lhs +++ b/compiler/deSugar/DsBinds.lhs @@ -376,9 +376,9 @@ get to do the inlining, which is a Terribly Bad thing given that the user said "inline"! To avoid this we pre-emptively eta-expand the definition, so that foo -has arity 2 (one for the Eq and one for x); and that in turn should -mean that (foo d) is a PAP and we don't share it. - +has the arity with which it is declared in the source code. In this +example it has arity 2 (one for the Eq and one for x). Doing this +should mean that (foo d) is a PAP and we don't share it. Note [Nested arities] ~~~~~~~~~~~~~~~~~~~~~