blob: 9337aaa002f19348c473d9ae73f60a023cbd1d39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
%{
#include "hspincl.h"
%}
%{{
module U_binding where
import Ubiq -- debugging consistency check
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
%}}
type binding;
tbind : < gtbindc : list; /* [context entries] */
gtbindid : ttype; /* applied tycon */
gtbindl : list; /* [constr] */
gtbindd : maybe; /* Maybe [deriving] */
gtline : long;
gtpragma : hpragma; >;
ntbind : < gntbindc : list; /* [context entries] */
gntbindid : ttype; /* applied tycon */
gntbindcty : list; /* [constr] (only 1 constrnew) */
gntbindd : maybe; /* Maybe [deriving] */
gntline : long;
gntpragma : hpragma; >;
nbind : < gnbindid : ttype;
gnbindas : ttype;
gnline : long; >;
pbind : < gpbindl : list;
gpline : long; >;
fbind : < gfbindl : list;
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;
gibindw : binding;
giline : long;
gipragma : hpragma; >;
dbind : < gdbindts : list;
gdline : long; >;
cbind : < gcbindc : list;
gcbindid : ttype;
gcbindw : binding;
gcline : long;
gcpragma : hpragma; >;
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] */
nullbind : < >;
import : < gibindiface : stringId;
gibindfile : stringId;
gibinddef : binding;
gibindimod : stringId;
gibindqual : long;
gibindas : maybe;
gibindspec : maybe;
gibindline : long; >;
/* user-specified pragmas:XXXX */
vspec_uprag : < gvspec_id : qid;
gvspec_tys : list;
gvspec_line : long; >;
vspec_ty_and_id : < gvspec_ty : ttype;
gvspec_tyid : maybe; /* nil or singleton */ >;
ispec_uprag : < gispec_clas : qid;
gispec_ty : ttype;
gispec_line : long; >;
inline_uprag: < ginline_id : qid;
ginline_line : long; >;
deforest_uprag: < gdeforest_id : qid;
gdeforest_line : long; >;
magicuf_uprag:< gmagicuf_id : qid;
gmagicuf_str : stringId;
gmagicuf_line : long; >;
dspec_uprag : < gdspec_id : qid;
gdspec_tys : list;
gdspec_line : long; >;
end;
|
