%}
%{{
module U_binding where
-import Ubiq -- debugging consistency check
+
+#include "HsVersions.h"
+
import UgenUtil
import U_constr
-import U_coresyn ( U_coresyn ) -- for interfaces only
-import U_hpragma
import U_list
-import U_literal ( U_literal ) -- for interfaces only
import U_maybe
import U_qid
import U_ttype
gtbindid : ttype; /* applied tycon */
gtbindl : list; /* [constr] */
gtbindd : maybe; /* Maybe [deriving] */
- gtline : long;
- gtpragma : hpragma; >;
+ gtline : long; >;
ntbind : < gntbindc : list; /* [context entries] */
gntbindid : ttype; /* applied tycon */
gntbindcty : list; /* [constr] (only 1 constrnew) */
gntbindd : maybe; /* Maybe [deriving] */
- gntline : long;
- gntpragma : hpragma; >;
+ gntline : long; >;
nbind : < gnbindid : ttype;
gnbindas : ttype;
gnline : long; >;
gfline : long; >;
abind : < gabindfst : binding;
gabindsnd : binding; >;
- ibind : < gibindsrc : long; /* 1 => source; 0 => interface */
- gibindmod : stringId; /* the original module */
- gibindc : list;
- gibindid : qid;
- gibindi : ttype;
+ ibind : < gibindi : ttype;
gibindw : binding;
- giline : long;
- gipragma : hpragma; >;
+ giline : long; >;
dbind : < gdbindts : list;
gdline : long; >;
cbind : < gcbindc : list;
gcbindid : ttype;
gcbindw : binding;
- gcline : long;
- gcpragma : hpragma; >;
+ gcline : long; >;
sbind : < gsbindids : list;
gsbindid : ttype;
- gsline : long;
- gspragma : hpragma; >;
-
- mbind : < gmbindmodn : stringId; /* import (in an interface) <mod> <entities> */
- gmbindimp : list; /* [entity] */
- gmline : long; >;
- mfbind : < gmfixes : list; >; /* fixites in an import: [fixop] */
+ gsline : long; >;
nullbind : < >;
- import : < gibindiface : stringId;
- gibindfile : stringId;
- gibinddef : binding;
- gibindimod : stringId;
- gibindqual : long;
- gibindas : maybe;
- gibindspec : maybe;
- gibindline : long; >;
+ import : < gibindimod : stringId;
+ gibindqual : long;
+ gibindas : maybe;
+ gibindspec : maybe;
+ gibindsource : long;
+ gibindline : long; >;
/* user-specified pragmas:XXXX */
inline_uprag: < ginline_id : qid;
ginline_line : long; >;
- deforest_uprag: < gdeforest_id : qid;
- gdeforest_line : long; >;
+ noinline_uprag: < gnoinline_id : qid;
+ gnoinline_line : long; >;
magicuf_uprag:< gmagicuf_id : qid;
gmagicuf_str : stringId;