![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to mlyacc.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 mlyacc.grm CVS log | Up to [Research Unix] / researchv10no / cmd / sml / lib / mlyacc |
1.1 root 1: (* MLPG.GRM: Grammar specification for ml parser generator
2: Created by David Tarditi
3: *)
4: open Misc;
5: %%
6:
7: %eof EOF
8: %right ARROW
9: %left ASTERISK
10:
11: %term DELIMITER | OF | Term | Nonterm | START | COLON | ID of string |
12: UNKNOWN of string | EOF | BAR | PROG of string | PREC of LexValue |
13: PERCENT_EOF | PREC_TAG | HEADER of string | PREFER | IPREFER |
14: KEYWORD | FOR | LBRACE | RBRACE | COMMA | ASTERISK | ARROW |
15: TYVAR of string | IDDOT of string | RPAREN | LPAREN | INT of string |
16: STRUCT | VERBOSE | TO | VAL | EQUAL | BLOCK
17:
18: %nonterm MPC_DECLS of decl_data | MPC_DECL of decl_data |
19: ID_LIST of string list | TRULE of rule list | TRULELIST of rule list |
20: BEGIN | TY of string list |
21: CONSTR_LIST of (constr*constr_data) list |
22: RHSLIST of rhs_data | RULEPREC of string option |
23: SUBST_DECL of (string*string) list |
24: TYPELIST of string list | RECORDLIST of string list |
25: QUALID of string list | LABEL of string
26:
27: %%
28:
29: BEGIN : HEADER MPC_DECLS DELIMITER TRULELIST
30: (make_parser (HEADER,MPC_DECLS,TRULELIST))
31:
32: MPC_DECLS : MPC_DECLS MPC_DECL (join_decls MPC_DECLS MPC_DECL)
33:
34: MPC_DECLS: ({start=NONE,prec=NONE,nonterm=NONE,term=NONE,eof=NONE,
35: prefer=nil,iprefer=nil,keyword=nil,structure'=NONE,
36: verbose=false})
37:
38: MPC_DECL: Term CONSTR_LIST
39: ({ start=NONE,prec=NONE,nonterm=NONE,
40: term = make_tok_dict CONSTR_LIST, eof = NONE,
41: prefer=nil,iprefer=nil,keyword=nil,structure'=NONE,
42: verbose=false})
43:
44: | Nonterm CONSTR_LIST
45: ({ start=NONE,prec=NONE,nonterm=make_tok_dict CONSTR_LIST,
46: term = NONE, eof = NONE,prefer=nil,iprefer=nil,keyword=nil,
47: structure'=NONE,verbose=false})
48: | PREC ID_LIST
49: ({start=NONE,prec=save_prec(ID_LIST1,PREC1),
50: nonterm=NONE,term=NONE,eof=NONE,prefer=nil,iprefer=nil,
51: keyword=nil,structure'=NONE,verbose=false})
52:
53: | START ID
54: ({start=SOME ID,prec=NONE,nonterm=NONE,structure'=NONE,
55: term = NONE, eof = NONE,prefer=nil,iprefer=nil,keyword=nil,
56: verbose=false})
57:
58: | PERCENT_EOF ID
59: ({start=NONE,prec=NONE,nonterm=NONE,term=NONE,eof=SOME ID,
60: prefer=nil,iprefer=nil,keyword=nil,structure'=NONE,
61: verbose=false})
62:
63: | KEYWORD ID_LIST
64: ({start=NONE,prec=NONE,nonterm=NONE,term=NONE,eof=NONE,
65: prefer=nil,iprefer=nil,keyword=ID_LIST1,structure'=NONE,
66: verbose=false})
67:
68: | IPREFER ID_LIST
69: ({start=NONE,prec=NONE,nonterm=NONE,term=NONE,eof=NONE,
70: prefer=nil,iprefer=ID_LIST1,keyword=nil,structure'=NONE,
71: verbose=false})
72:
73: | PREFER SUBST_DECL
74: ({start=NONE,prec=NONE,nonterm=NONE,term=NONE,eof=NONE,
75: prefer=SUBST_DECL1,iprefer=nil,keyword=nil,structure'=NONE,
76: verbose=false})
77:
78: | STRUCT ID
79: ({start=NONE,prec=NONE,nonterm=NONE,term=NONE,eof=NONE,
80: prefer=nil,iprefer=nil,keyword=nil,structure'=SOME ID,
81: verbose=false})
82:
83: | VERBOSE
84: ({start=NONE,prec=NONE,nonterm=NONE,term=NONE,eof=NONE,
85: prefer=nil,iprefer=nil,keyword=nil,structure'=NONE,
86: verbose=true})
87:
88: SUBST_DECL : SUBST_DECL BAR ID FOR ID
89: ((ID1,ID2)::SUBST_DECL)
90:
91: | ID FOR ID
92: ([(ID1,ID2)])
93:
94: CONSTR_LIST : CONSTR_LIST BAR ID OF TY
95: ((ID,{ty=SOME TY,num=0})::CONSTR_LIST)
96:
97: | CONSTR_LIST BAR ID
98: ((ID,{ty=NONE,num=0})::CONSTR_LIST)
99:
100: | ID OF TY ([(ID,{ty=SOME TY,num=0})])
101:
102: | ID ([(ID,{ty=NONE,num=0})])
103:
104: TRULE : ID COLON RHSLIST
105: (map (fn {rhs,code,prec} => {lhs=ID1,rhs=rev rhs,code=code,prec=prec})
106: RHSLIST1)
107:
108: TRULELIST: TRULELIST TRULE (TRULE1 @ TRULELIST1)
109:
110: | (nil)
111:
112: ID_LIST : ID_LIST ID (ID1 :: ID_LIST1)
113:
114: | (nil)
115:
116: RHSLIST : ID_LIST RULEPREC PROG
117: ([{rhs=ID_LIST1,code=PROG1,prec=RULEPREC1}])
118:
119: | RHSLIST BAR ID_LIST RULEPREC PROG
120: ({rhs=ID_LIST1,code=PROG1,prec=RULEPREC1}::RHSLIST1)
121:
122: TY : TYVAR
123: ([TYVAR])
124: | LBRACE RECORDLIST RBRACE
125: ("{ "::RECORDLIST@[" } "])
126: | LBRACE RBRACE
127: (["{ }"])
128: | LPAREN TY RPAREN
129: (" ( "::(TY@[" ) "]))
130: | LPAREN TYPELIST RPAREN QUALID
131: (" ( "::TYPELIST@(" ) "::QUALID))
132: | TY QUALID
133: (TY@(" "::QUALID))
134: | QUALID
135: (QUALID)
136: | TY ASTERISK TY
137: (TY1@("*"::TY2))
138: | TY ARROW TY
139: (TY1@(" -> "::" "::TY2))
140:
141: TYPELIST : TYPELIST COMMA TY
142: (TYPELIST@(","::TY))
143: | TY COMMA TY
144: (TY1 @ ("," :: TY2))
145:
146: RECORDLIST : RECORDLIST COMMA LABEL COLON TY
147: (RECORDLIST@(" "::LABEL::" : "::TY))
148: | LABEL COLON TY
149: (" "::LABEL::" : "::TY)
150:
151: QUALID : ID ([ID])
152: | IDDOT QUALID (IDDOT::QUALID)
153:
154: LABEL : ID (ID)
155: | INT (INT)
156:
157: RULEPREC : PREC_TAG ID (SOME ID1)
158:
159: RULEPREC : (NONE)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.