[project @ 1999-03-15 15:11:03 by simonpj]

[ghc-hetmet.git] / ghc / compiler / parser / ttype.ugn

diff --git a/ghc/compiler/parser/ttype.ugn b/ghc/compiler/parser/ttype.ugn
index d89ee20..1058a99 100644 (file)
--- a/ghc/compiler/parser/ttype.ugn
+++ b/ghc/compiler/parser/ttype.ugn
@@ -25,5 +25,7 @@ type ttype;
        forall  : < gtforalltv  : list;         /* tyvars */
                    gtforallctxt : list;        /* theta */
                    gtforallt   : ttype; >;
+       imp_forall : < gtiforallctxt : list ;   /* Implicit forall; no explicit tyvars */
+                      gtiforallt    : ttype; >;
 end;