[project @ 1996-01-08 20:28:12 by partain]

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

diff --git a/ghc/compiler/yaccParser/ttype.ugn b/ghc/compiler/yaccParser/ttype.ugn
new file mode 100644 (file)
index 0000000..63ed306
--- /dev/null
+++ b/ghc/compiler/yaccParser/ttype.ugn
@@ -0,0 +1,31 @@
+%{
+#include "hspincl.h"
+%}
+%{{
+module U_ttype where
+import UgenUtil
+import Util
+
+import U_list
+%}}
+type ttype;
+       tname   : < gtypeid     : unkId;
+                   gtypel      : list; >;
+       namedtvar : < gnamedtvar : unkId; >;
+       tllist  : < gtlist      : ttype; >;
+       ttuple  : < gttuple     : list; >;
+       tfun    : < gtfun       : ttype;
+                   gtarg       : ttype; >;
+       context : < gtcontextl  : list;
+                   gtcontextt  : ttype; >;
+
+       unidict :   < gunidict_clas : unkId;
+                     gunidict_ty   : ttype; >;
+       unityvartemplate: <gunityvartemplate : unkId; >;
+       uniforall : < guniforall_tv : list;
+                     guniforall_ty : ttype; >;
+
+       ty_maybe_nothing : < >;
+       ty_maybe_just    : < gty_maybe : ttype; >;
+end;
+