From 3444b48ef7644c235d7f164f8837090dc30c23bb Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 5 Sep 2008 17:17:31 +0000 Subject: [PATCH] Comments only --- compiler/hsSyn/HsBinds.lhs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs index b4dc5b2..6a3f1b0 100644 --- a/compiler/hsSyn/HsBinds.lhs +++ b/compiler/hsSyn/HsBinds.lhs @@ -341,7 +341,11 @@ data HsWrapper -- Guaranteed not the identity coercion | WpApp Var -- [] d the 'd' is a type-class dictionary or coercion variable + | WpTyApp Type -- [] t the 't' is a type or corecion + -- ToDo: it'd be tidier if 't' was always a type (not coercion), + -- but that is inconvenient in Inst.instCallDicts + | WpLam Var -- \d. [] the 'd' is a type-class dictionary or coercion variable | WpTyLam TyVar -- \a. [] the 'a' is a type variable (not coercion var) | WpInline -- inline_me [] Wrap inline around the thing -- 1.7.10.4