![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to ml.grm CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / lib / mlyacc|
Return to ml.grm CVS log | Up to [Research Unix] / researchv10no / cmd / sml / lib / mlyacc |
1.1 root 1: type Lineno = int
2: val lineno = ref 0
3: val error = fn x => fn (lineno : int) =>
4: (output std_out (makestring lineno ^ ": " ^ x ^ "\n"))
5: %%
6: %term EOF | ID | DOT | TYVAR | INT | REAL | STRING |
7: ABSTRACTION | ABSTYPE | AND | ARROW | AS | BAR | BARBAR |
8: CASE |
9: DATATYPE |
10: DOTDOTDOT | ELSE | END | EQUAL | EQTYPE | EXCEPTION |
11: EXCEPTIONX |
12: DO | DARROW | FN | FUN | FUNCTOR | HANDLE | HANDLEX | HASH |
13: IF | IN | INCLUDE | INFIX | INFIXR | LET |
14: LOCAL | NONFIX | OF | OP | OPEN | OVERLOAD |
15: QUERY | RAISE | RAISEX | REC |
16: SHARING | SIG | SIGNATURE | STRUCT | STRUCTURE |
17: THEN | TYPE | VAL | WHILE | WILD | WITH | WITHTYPE |
18: ASTERISK | COLON | COMMA | LBRACE | LBRACKET | LPAREN |
19: RBRACE | RBRACKET | RPAREN | SEMICOLON |
20: ORELSE | ANDALSO
21:
22: %nonterm iddot | ident | nonfix_ident | opid | qid | selector | elabel |
23: elabels | plabel | plabels | tlabel | tabels0 | ty0 | ty0_pc |
24: ty2 | ty | withclause | match | rule | handlerx | hrulex | exp_ps |
25: exp | exp1 | exp2 | constraint | exp3 | exp4 | aexp | bexp |
26: exp_2c | pat | pat1 | pat2 | pat3 | apat | apat1 | pat_2c | pat_ps |
27: vb | rvb | fg | apat_p | clause | tb | tyvars | tyvar_pc | db |
28: constr | eb | ebx | qid_p | fixity | ldec | exp_pa | ldecs |
29: ops | spec_s | spec | strspec | tyspec | valspec | exnspecx |
30: exnspec | fb | tlabels | tlabels0 |
31: sharespec | patheqn | sign | sigconstraint_op | sigb |
32: str | sdecs | sdec | strb | fparam | fctb | tdec | top |
33: interdec
34:
35: %verbose
36:
37: %start tdec
38: %eof EOF
39:
40: %nonassoc WITHTYPE
41: %right AND
42: %right BAR
43: %right ARROW
44: %right DO
45: %right HANDLE HANDLEX
46: %right RAISE
47: %left ORELSE
48: %left ANDALSO
49:
50: %%
51:
52: iddot : ID DOT
53: ()
54: ident : ID ()
55: | ASTERISK ()
56: | EQUAL ()
57:
58: nonfix_ident : ident ()
59:
60: opid : nonfix_ident ()
61: | OP ident ()
62:
63: qid : iddot qid ()
64: | ident ()
65:
66: selector: ID ()
67: | INT ()
68:
69: elabel : selector EQUAL exp ()
70:
71: elabels: elabel COMMA elabels ()
72: | elabel ()
73:
74: plabel : selector EQUAL pat ()
75: | ID ()
76: | ID AS pat ()
77: | ID COLON ty AS pat ()
78:
79: plabels : plabel COMMA plabels ()
80: | plabel ()
81: | DOTDOTDOT ()
82:
83: tlabel : selector COLON ty0 ()
84:
85: tlabels0: tlabel COMMA tlabels0 ()
86: | tlabel ()
87:
88: tlabels : tlabels0 ()
89: | ()
90:
91: ty0 : ty0 ARROW ty0 ()
92: | ty2 ASTERISK ty2 ()
93: | ty2 ()
94:
95: ty0_pc : ty0 ()
96: | ty0 COMMA ty0_pc ()
97:
98: ty2 : LPAREN ty0_pc RPAREN qid ()
99: | qid ()
100: | LBRACE tlabels RBRACE ()
101:
102: ty : ty0 ()
103:
104: withclause: WITH exp ()
105: | ()
106:
107: match : rule ()
108: | match BAR match ()
109:
110: rule : pat DARROW exp ()
111:
112: handlerx: handlerx BARBAR handlerx ()
113: | hrulex ()
114:
115: hrulex : qid WITH match ()
116: | qid DARROW exp ()
117: | QUERY DARROW exp ()
118:
119: exp_ps : exp ()
120: | exp SEMICOLON exp_ps ()
121:
122: exp : exp1 %prec BAR ()
123:
124: exp1 : exp1 HANDLEX handlerx ()
125: | exp1 HANDLE match ()
126: | exp2 %prec HANDLE ()
127:
128: exp2 : exp3 constraint ()
129: | exp3 bexp ()
130: | bexp ()
131: | exp2 ORELSE exp2 ()
132: | exp2 ANDALSO exp2 ()
133:
134: constraint: ()
135: | COLON ty ()
136:
137: exp3 : exp4 ()
138: | exp3 exp4 ()
139:
140: exp4 : ID ()
141: | aexp ()
142:
143: aexp : OP ID ()
144: | iddot qid ()
145: | INT ()
146: | REAL ()
147: | STRING ()
148: | HASH selector ()
149: | LBRACE elabels RBRACE ()
150: | LBRACE RBRACE ()
151: | LPAREN RPAREN ()
152: | LPAREN exp RPAREN ()
153: | LPAREN exp_2c RPAREN ()
154: | LBRACKET exp_ps RBRACKET ()
155: | LBRACKET RBRACKET ()
156: | LET ldecs IN exp_ps END ()
157:
158: bexp : FN match ()
159: | CASE exp OF match ()
160: | WHILE exp DO exp ()
161: | IF exp THEN exp ELSE exp ()
162: | RAISEX qid withclause ()
163: | RAISE exp2 ()
164:
165:
166: exp_2c : exp COMMA exp_2c ()
167: | exp COMMA exp ()
168:
169: pat : pat1 ()
170: | pat1 AS pat1 ()
171:
172: pat1 : pat2 ()
173: | pat2 COLON ty ()
174:
175: pat2 : pat3 ()
176: | pat2 pat3 ()
177:
178: pat3 : ID ()
179: | apat1 ()
180:
181: apat : ID ()
182: | apat1 ()
183:
184: apat1 : OP ident ()
185: | iddot qid ()
186: | INT ()
187: | REAL ()
188: | STRING ()
189: | WILD ()
190: | LPAREN RPAREN ()
191: | LPAREN pat RPAREN ()
192: | LPAREN pat_2c RPAREN ()
193: | LBRACKET RBRACKET ()
194: | LBRACKET pat_ps RBRACKET ()
195: | LBRACE RBRACE ()
196: | LBRACE plabels RBRACE ()
197:
198: pat_2c : pat COMMA pat_2c ()
199: | pat COMMA pat ()
200:
201: pat_ps : pat ()
202: | pat SEMICOLON pat_ps ()
203:
204: vb : vb AND vb ()
205: | pat EQUAL exp ()
206:
207: rvb : opid constraint EQUAL exp ()
208: | rvb AND rvb ()
209:
210: fb : clause ()
211: | clause BAR fb ()
212: | fb AND fb ()
213:
214: apat_p : apat ()
215: | apat_p apat ()
216:
217: clause : apat_p constraint EQUAL exp ()
218:
219: tb : tyvars ident EQUAL ty ()
220: | tb AND tb ()
221:
222: tyvars : TYVAR ()
223: | LPAREN tyvar_pc RPAREN ()
224: | ()
225:
226: tyvar_pc: TYVAR ()
227: | TYVAR COMMA tyvar_pc ()
228:
229: db : db AND db ()
230: | db WITHTYPE tb ()
231: | tyvars ident constr ()
232: | db BAR constr ()
233:
234: constr : opid ()
235: | opid OF ty ()
236:
237: eb : ident ()
238: | ident OF ty ()
239: | ident EQUAL qid ()
240: | eb AND eb ()
241:
242: ebx : ident constraint ()
243: | ident EQUAL qid ()
244: | ebx AND ebx ()
245:
246: qid_p : qid ()
247: | qid qid_p ()
248:
249:
250: fixity : INFIX ()
251: | INFIX INT ()
252: | INFIXR ()
253: | INFIXR INT ()
254: | NONFIX ()
255:
256: ldec : VAL vb ()
257: | VAL REC rvb ()
258: | FUN fb ()
259: | TYPE tb ()
260: | DATATYPE db ()
261: | ABSTYPE db WITH ldecs END ()
262: | EXCEPTION eb ()
263: | EXCEPTIONX ebx ()
264: | LOCAL ldecs IN ldecs END ()
265: | OPEN qid_p ()
266: | fixity ops ()
267: | OVERLOAD ident COLON ty AS exp_pa ()
268:
269: exp_pa : exp ()
270: | exp AND exp_pa ()
271:
272: ldecs : ldec ()
273: | ldecs ldec ()
274: | ldecs SEMICOLON ()
275:
276: ops : ident ()
277: | ident ops ()
278:
279: spec_s : ()
280: | spec spec_s ()
281: | spec SEMICOLON spec_s ()
282:
283: spec : STRUCTURE strspec ()
284: | DATATYPE db ()
285: | TYPE tyspec ()
286: | EQTYPE tyspec ()
287: | VAL valspec ()
288: | EXCEPTION exnspec ()
289: | EXCEPTIONX exnspecx ()
290: | fixity ops ()
291: | SHARING sharespec ()
292: | INCLUDE ident ()
293:
294: strspec : strspec AND strspec ()
295: | ident COLON sign ()
296:
297: tyspec : tyspec AND tyspec ()
298: | tyvars ident ()
299:
300: valspec : valspec AND valspec ()
301: | opid COLON ty ()
302:
303: exnspec : exnspec AND exnspec ()
304: | ident ()
305: | ident OF ty ()
306:
307: exnspecx: exnspecx AND exnspecx ()
308: | ident ()
309: | ident COLON ty ()
310:
311: sharespec: sharespec AND sharespec ()
312: | TYPE patheqn ()
313: | qid patheqn ()
314:
315: patheqn: qid EQUAL qid ()
316: | qid EQUAL patheqn ()
317:
318: sign : ID ()
319: | SIG spec_s END ()
320:
321: sigconstraint_op : ()
322: | COLON sign ()
323:
324: sigb : sigb AND sigb ()
325: | ident EQUAL sign ()
326:
327: str : qid ()
328: | STRUCT sdecs END ()
329: | ID LPAREN sdecs RPAREN ()
330: | ID LPAREN str RPAREN ()
331:
332: sdecs : sdecs sdec ()
333: | sdecs sdec SEMICOLON ()
334: | ()
335:
336: sdec : STRUCTURE strb ()
337: | ABSTRACTION strb ()
338: | SIGNATURE sigb ()
339: | FUNCTOR fctb ()
340: | ldec ()
341:
342: strb : ident sigconstraint_op EQUAL str ()
343: | strb AND strb ()
344:
345: fparam : ID COLON sign ()
346: | spec_s ()
347:
348: fctb : ident LPAREN fparam RPAREN sigconstraint_op EQUAL str ()
349: | fctb AND fctb ()
350:
351: tdec : SIGNATURE sigb ()
352: | FUNCTOR fctb ()
353: | STRUCTURE strb ()
354: | ABSTRACTION strb ()
355: | OPEN qid_p ()
356: | SEMICOLON tdec ()
357: | ()
358:
359: top : SIGNATURE sigb ()
360: | FUNCTOR fctb ()
361: | STRUCTURE strb ()
362: | ABSTRACTION strb ()
363: | OPEN qid_p ()
364: | ldec ()
365: | exp ()
366:
367: interdec: top ()
368: | interdec top ()
369: | SEMICOLON ()
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.