[project @ 1998-12-02 13:17:09 by simonm]

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

diff --git a/ghc/compiler/parser/constr.ugn b/ghc/compiler/parser/constr.ugn
index d4e588b..7894455 100644 (file)
--- a/ghc/compiler/parser/constr.ugn
+++ b/ghc/compiler/parser/constr.ugn
@@ -36,8 +36,9 @@ type constr;
                        gconnty     : ttype;
                        gconnline   : long; >;
 
-       /* constr with a prefixed context C => ... */
-       constrcxt   : < gconcxt     : list;
+       /* constr with a existential prefixed context C => ... */
+       constrex   : < gcontvs      : list;     /* tyvars */
+                       gconcxt     : list;     /* theta */
                        gconcon     : constr; >;
                        
        field       : < gfieldn     : list;