summaryrefslogtreecommitdiff
path: root/ghc/compiler/parser/constr.ugn
diff options
context:
space:
mode:
Diffstat (limited to 'ghc/compiler/parser/constr.ugn')
-rw-r--r--ghc/compiler/parser/constr.ugn47
1 files changed, 0 insertions, 47 deletions
diff --git a/ghc/compiler/parser/constr.ugn b/ghc/compiler/parser/constr.ugn
deleted file mode 100644
index 5d678c8698..0000000000
--- a/ghc/compiler/parser/constr.ugn
+++ /dev/null
@@ -1,47 +0,0 @@
-%{
-#include "hspincl.h"
-%}
-%{{
-
-module U_constr where
-
-#include "HsVersions.h"
-
-import UgenUtil
-
-import U_maybe
-import U_list
-import U_qid
-import U_ttype
-%}}
-type constr;
- /* constr in prefix form: */
- constrpre : < gconcid : qid;
- gconctypel : list; /* [ttype] */
- gconcline : long; >;
-
- /* constr in infix form: */
- constrinf : < gconity1 : ttype;
- gconiop : qid;
- gconity2 : ttype;
- gconiline : long; >;
-
- /* constr in record form: */
- constrrec : < gconrid : qid;
- gconrfieldl : list; /* [field] */
- gconrline : long; >;
-
- /* constr in simple "newtype" form: */
- constrnew : < gconnid : qid;
- gconnty : ttype;
- gconnla : maybe; /* Maybe qvar */
- gconnline : long; >;
-
- /* constr with a existential prefixed context C => ... */
- constrex : < gcontvs : list; /* tyvars */
- gconcxt : list; /* theta */
- gconcon : constr; >;
-
- field : < gfieldn : list;
- gfieldt : ttype; >;
-end;