From 11b79683262dfba851d17f298186393ef063ed40 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 13 Nov 2009 14:59:44 +0000 Subject: [PATCH] Wibble to comment --- compiler/deSugar/DsBinds.lhs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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] ~~~~~~~~~~~~~~~~~~~~~ -- 1.7.10.4