6 import Ubiq -- debugging consistency check
9 import U_constr ( U_constr ) -- interface only
18 hmodule : < ghname : stringId;
19 ghimplist : list; /* [import] */
20 ghexplist : maybe; /* Maybe [entity] */
21 ghfixes : list; /* [fixop] */
25 fixop : < gfixop : qid;
29 ident : < gident : qid; >;
30 lit : < glit : literal; >;
34 infixap : < ginffun : qid;
37 negate : < gnexp : tree; >;
39 lambda : < glampats : list;
43 let : < gletvdefs : binding;
45 casee : < gcaseexpr : tree;
48 ife : < gifpred : tree;
55 dobind : < gdobindpat : tree;
57 gdobindline : long; >;
58 doexp : < gdoexp : tree;
60 seqlet : < gseqlet : binding; >;
62 record : < grcon : qid;
63 grbinds : list; >; /* [rbind] */
64 rupdate : < gupdexp : tree;
65 gupdbinds : list; >; /* [rbind] */
66 rbind : < grbindvar : qid;
67 grbindexp : maybe; >; /* Maybe expr */
69 par : < gpare : tree; >;
72 lazyp : < glazyp : tree; >;
75 restr : < grestre : tree;
78 tuple : < gtuplelist : list; >;
79 llist : < gllist : list; >;
80 eenum : < gefrom : tree;
83 comprh : < gcexp : tree;
85 qual : < gqpat : tree;
87 guard : < ggexp : tree; >;
89 lsection: < glsexp : tree;
91 rsection: < grsop : qid;
94 ccall : < gccid : stringId;
97 scc : < gsccid : hstring;