6 import Ubiq -- debugging consistency check
16 tbind : < gtbindc : list; /* [context entries] */
17 gtbindid : ttype; /* applied tycon */
18 gtbindl : list; /* [constr] */
19 gtbindd : maybe; /* Maybe [deriving] */
21 ntbind : < gntbindc : list; /* [context entries] */
22 gntbindid : ttype; /* applied tycon */
23 gntbindcty : list; /* [constr] (only 1 constrnew) */
24 gntbindd : maybe; /* Maybe [deriving] */
26 nbind : < gnbindid : ttype;
29 pbind : < gpbindl : list;
31 fbind : < gfbindl : list;
33 abind : < gabindfst : binding;
34 gabindsnd : binding; >;
35 ibind : < gibindc : list;
40 dbind : < gdbindts : list;
42 cbind : < gcbindc : list;
46 sbind : < gsbindids : list;
52 import : < gibindimod : stringId;
58 /* user-specified pragmas:XXXX */
60 vspec_uprag : < gvspec_id : qid;
62 gvspec_line : long; >;
64 vspec_ty_and_id : < gvspec_ty : ttype;
65 gvspec_tyid : maybe; /* nil or singleton */ >;
67 ispec_uprag : < gispec_clas : qid;
69 gispec_line : long; >;
71 inline_uprag: < ginline_id : qid;
72 ginline_line : long; >;
74 deforest_uprag: < gdeforest_id : qid;
75 gdeforest_line : long; >;
77 magicuf_uprag:< gmagicuf_id : qid;
78 gmagicuf_str : stringId;
79 gmagicuf_line : long; >;
81 dspec_uprag : < gdspec_id : qid;
83 gdspec_line : long; >;