[project @ 1998-12-18 17:40:31 by simonpj]

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

diff --git a/ghc/compiler/parser/constr.ugn b/ghc/compiler/parser/constr.ugn
index 30cd438..7894455 100644 (file)
--- a/ghc/compiler/parser/constr.ugn
+++ b/ghc/compiler/parser/constr.ugn
@@ -2,10 +2,11 @@
 #include "hspincl.h"
 %}
 %{{
-#include "HsVersions.h"
 
 module U_constr where
-IMP_Ubiq() --  debugging consistency check
+
+#include "HsVersions.h"
+
 import UgenUtil
 
 import U_maybe
@@ -35,6 +36,11 @@ type constr;
                        gconnty     : ttype;
                        gconnline   : long; >;
 
+       /* constr with a existential prefixed context C => ... */
+       constrex   : < gcontvs      : list;     /* tyvars */
+                       gconcxt     : list;     /* theta */
+                       gconcon     : constr; >;
+                       
        field       : < gfieldn     : list;
                        gfieldt     : ttype; >;
 end;