From dd89a1387aef5280152c03cf7e2a98b8e73216f0 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Wed, 2 Aug 2017 15:52:49 +0100 Subject: Comments, plus adjust debug print of TcTyThing(ATyVar) --- compiler/hsSyn/HsDecls.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/hsSyn/HsDecls.hs') diff --git a/compiler/hsSyn/HsDecls.hs b/compiler/hsSyn/HsDecls.hs index 2163300292..3053f3edaa 100644 --- a/compiler/hsSyn/HsDecls.hs +++ b/compiler/hsSyn/HsDecls.hs @@ -1330,7 +1330,7 @@ type patterns, i.e. fv(pat_tys). Note in particular '_' gets its own unique. In this context wildcards behave just like an ordinary type variable, only anonymous. -* The hsib_vars *including* type variables that are already in scope +* The hsib_vars *includes* type variables that are already in scope Eg class C s t where type F t p :: * -- cgit v1.2.1