[project @ 1997-07-31 00:05:10 by sof]

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

diff --git a/ghc/compiler/parser/ttype.ugn b/ghc/compiler/parser/ttype.ugn
index 3b03cd3..25d4513 100644 (file)
--- a/ghc/compiler/parser/ttype.ugn
+++ b/ghc/compiler/parser/ttype.ugn
@@ -2,8 +2,10 @@
 #include "hspincl.h"
 %}
 %{{
+#include "HsVersions.h"
+
 module U_ttype where
-import Ubiq --  debugging consistency check
+IMP_Ubiq() --  debugging consistency check
 import UgenUtil
 
 import U_list
@@ -11,7 +13,7 @@ import U_qid
 %}}
 type ttype;
        tname   : < gtypeid     : qid;  >;
-       namedtvar : < gnamedtvar : unkId; /* ToDo: rm unkIds entirely??? */ >;
+       namedtvar : < gnamedtvar : qid; >;
        tllist  : < gtlist      : ttype; >;
        ttuple  : < gttuple     : list; >;
        tfun    : < gtin        : ttype;
@@ -21,11 +23,5 @@ type ttype;
        tbang   : < gtbang      : ttype; >;
        context : < gtcontextl  : list;
                    gtcontextt  : ttype; >;
-
-       unidict :   < gunidict_clas : qid;
-                     gunidict_ty   : ttype; >;
-       unityvartemplate: <gunityvartemplate : unkId; >;
-       uniforall : < guniforall_tv : list;
-                     guniforall_ty : ttype; >;
 end;