1 files changed, 31 insertions, 0 deletions
diff --git a/ghc/compiler/parser/ttype.ugn b/ghc/compiler/parser/ttype.ugn
new file mode 100644
index 0000000000..3b03cd376e
--- /dev/null
+++ b/ghc/compiler/parser/ttype.ugn
@@ -0,0 +1,31 @@
+%{
+#include "hspincl.h"
+%}
+%{{
+module U_ttype where
+import Ubiq --  debugging consistency check
+import UgenUtil
+
+import U_list
+import U_qid
+%}}
+type ttype;
+	tname	: < gtypeid	: qid; 	>;
+	namedtvar : < gnamedtvar : unkId; /* ToDo: rm unkIds entirely??? */ >;
+	tllist	: < gtlist	: ttype; >;
+	ttuple	: < gttuple	: list; >;
+	tfun	: < gtin	: ttype;
+		    gtout	: ttype; >;
+	tapp	: < gtapp	: ttype;
+		    gtarg	: 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;
+