Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/lexgen/src/FrontEnds/ml-lex/ml-lex.yacc.sml
ViewVC logotype

Diff of /sml/trunk/src/lexgen/src/FrontEnds/ml-lex/ml-lex.yacc.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1911, Fri Mar 3 03:33:16 2006 UTC revision 1912, Fri Mar 3 19:43:47 2006 UTC
# Line 27  Line 27 
27  val table=let val actionRows =  val table=let val actionRows =
28  "\  "\
29  \\001\000\001\000\000\000\000\000\  \\001\000\001\000\000\000\000\000\
30  \\001\000\004\000\072\000\030\000\071\000\000\000\  \\001\000\004\000\073\000\030\000\072\000\000\000\
31  \\001\000\005\000\032\000\007\000\031\000\020\000\030\000\021\000\029\000\  \\001\000\005\000\033\000\007\000\032\000\020\000\031\000\021\000\030\000\
32  \\022\000\028\000\025\000\027\000\000\000\  \\022\000\029\000\025\000\028\000\000\000\
33  \\001\000\006\000\070\000\015\000\043\000\000\000\  \\001\000\006\000\071\000\015\000\044\000\000\000\
34  \\001\000\008\000\067\000\009\000\066\000\016\000\065\000\020\000\050\000\  \\001\000\008\000\068\000\009\000\067\000\016\000\066\000\020\000\051\000\
35  \\021\000\049\000\000\000\  \\021\000\050\000\000\000\
36  \\001\000\008\000\077\000\016\000\065\000\020\000\050\000\021\000\049\000\000\000\  \\001\000\008\000\078\000\016\000\066\000\020\000\051\000\021\000\050\000\000\000\
37  \\001\000\011\000\045\000\000\000\  \\001\000\011\000\046\000\000\000\
38  \\001\000\011\000\058\000\030\000\057\000\000\000\  \\001\000\011\000\059\000\030\000\058\000\000\000\
39  \\001\000\011\000\080\000\000\000\  \\001\000\011\000\081\000\000\000\
40  \\001\000\015\000\043\000\026\000\042\000\000\000\  \\001\000\015\000\044\000\026\000\043\000\000\000\
41  \\001\000\015\000\043\000\026\000\082\000\000\000\  \\001\000\015\000\044\000\026\000\083\000\000\000\
42  \\001\000\015\000\043\000\028\000\073\000\000\000\  \\001\000\015\000\044\000\028\000\074\000\000\000\
43  \\001\000\016\000\052\000\019\000\051\000\020\000\050\000\021\000\049\000\000\000\  \\001\000\016\000\053\000\019\000\052\000\020\000\051\000\021\000\050\000\000\000\
44  \\001\000\016\000\065\000\020\000\050\000\021\000\049\000\000\000\  \\001\000\016\000\066\000\020\000\051\000\021\000\050\000\000\000\
45  \\001\000\019\000\051\000\020\000\050\000\021\000\049\000\000\000\  \\001\000\019\000\052\000\020\000\051\000\021\000\050\000\000\000\
46  \\001\000\020\000\050\000\021\000\049\000\000\000\  \\001\000\020\000\051\000\021\000\050\000\000\000\
47  \\001\000\023\000\034\000\000\000\  \\001\000\023\000\035\000\000\000\
48  \\001\000\024\000\074\000\000\000\  \\001\000\024\000\075\000\000\000\
49  \\001\000\025\000\015\000\029\000\014\000\031\000\013\000\033\000\012\000\  \\001\000\025\000\016\000\029\000\015\000\031\000\014\000\033\000\013\000\
50  \\034\000\011\000\036\000\010\000\037\000\009\000\038\000\008\000\  \\034\000\012\000\035\000\011\000\036\000\010\000\037\000\009\000\
51  \\039\000\007\000\000\000\  \\038\000\008\000\039\000\007\000\000\000\
52  \\001\000\025\000\018\000\000\000\  \\001\000\025\000\019\000\000\000\
 \\001\000\027\000\016\000\000\000\  
53  \\001\000\027\000\017\000\000\000\  \\001\000\027\000\017\000\000\000\
54  \\001\000\027\000\059\000\000\000\  \\001\000\027\000\018\000\000\000\
55  \\001\000\027\000\083\000\000\000\  \\001\000\027\000\060\000\000\000\
56  \\001\000\028\000\035\000\000\000\  \\001\000\027\000\084\000\000\000\
57    \\001\000\028\000\036\000\000\000\
58  \\001\000\029\000\005\000\000\000\  \\001\000\029\000\005\000\000\000\
59  \\001\000\032\000\020\000\000\000\  \\001\000\032\000\021\000\000\000\
60  \\001\000\032\000\055\000\000\000\  \\001\000\032\000\056\000\000\000\
61  \\001\000\032\000\078\000\000\000\  \\001\000\032\000\079\000\000\000\
 \\085\000\000\000\  
62  \\086\000\000\000\  \\086\000\000\000\
63  \\087\000\002\000\004\000\000\000\  \\087\000\000\000\
64  \\088\000\000\000\  \\088\000\002\000\004\000\000\000\
65  \\089\000\000\000\  \\089\000\000\000\
66  \\090\000\000\000\  \\090\000\000\000\
67  \\091\000\000\000\  \\091\000\000\000\
# Line 71  Line 70 
70  \\094\000\000\000\  \\094\000\000\000\
71  \\095\000\000\000\  \\095\000\000\000\
72  \\096\000\000\000\  \\096\000\000\000\
73  \\097\000\032\000\020\000\000\000\  \\097\000\000\000\
74  \\098\000\000\000\  \\098\000\000\000\
75  \\099\000\003\000\033\000\005\000\032\000\007\000\031\000\020\000\030\000\  \\099\000\032\000\021\000\000\000\
 \\021\000\029\000\022\000\028\000\025\000\027\000\000\000\  
76  \\100\000\000\000\  \\100\000\000\000\
77  \\101\000\000\000\  \\101\000\003\000\034\000\005\000\033\000\007\000\032\000\020\000\031\000\
78    \\021\000\030\000\022\000\029\000\025\000\028\000\000\000\
79  \\102\000\000\000\  \\102\000\000\000\
80  \\103\000\000\000\  \\103\000\000\000\
81  \\104\000\000\000\  \\104\000\000\000\
82  \\105\000\005\000\032\000\007\000\031\000\020\000\030\000\021\000\029\000\  \\105\000\000\000\
83  \\022\000\028\000\025\000\027\000\000\000\  \\106\000\000\000\
84  \\106\000\005\000\032\000\007\000\031\000\020\000\030\000\021\000\029\000\  \\107\000\005\000\033\000\007\000\032\000\020\000\031\000\021\000\030\000\
85  \\022\000\028\000\025\000\027\000\000\000\  \\022\000\029\000\025\000\028\000\000\000\
86  \\107\000\012\000\040\000\013\000\039\000\014\000\038\000\024\000\037\000\000\000\  \\108\000\005\000\033\000\007\000\032\000\020\000\031\000\021\000\030\000\
87  \\108\000\012\000\040\000\013\000\039\000\014\000\038\000\024\000\037\000\000\000\  \\022\000\029\000\025\000\028\000\000\000\
88  \\109\000\000\000\  \\109\000\012\000\041\000\013\000\040\000\014\000\039\000\024\000\038\000\000\000\
89  \\110\000\000\000\  \\110\000\012\000\041\000\013\000\040\000\014\000\039\000\024\000\038\000\000\000\
90  \\111\000\000\000\  \\111\000\000\000\
91  \\112\000\000\000\  \\112\000\000\000\
92  \\113\000\000\000\  \\113\000\000\000\
# Line 102  Line 101 
101  \\122\000\000\000\  \\122\000\000\000\
102  \\123\000\000\000\  \\123\000\000\000\
103  \\124\000\000\000\  \\124\000\000\000\
104  \\125\000\019\000\061\000\000\000\  \\125\000\000\000\
105  \\126\000\000\000\  \\126\000\000\000\
106  \\127\000\000\000\  \\127\000\019\000\062\000\000\000\
107  \\128\000\000\000\  \\128\000\000\000\
108  \\129\000\019\000\076\000\000\000\  \\129\000\000\000\
109  \\130\000\000\000\  \\130\000\000\000\
110  \\131\000\000\000\  \\131\000\019\000\077\000\000\000\
111  \\132\000\000\000\  \\132\000\000\000\
112  \\133\000\000\000\  \\133\000\000\000\
113    \\134\000\000\000\
114    \\135\000\000\000\
115  \"  \"
116  val actionRowNumbers =  val actionRowNumbers =
117  "\031\000\025\000\030\000\032\000\  "\031\000\025\000\030\000\032\000\
118  \\018\000\020\000\021\000\019\000\  \\018\000\020\000\021\000\019\000\
119  \\037\000\039\000\038\000\026\000\  \\037\000\038\000\040\000\039\000\
120  \\043\000\016\000\036\000\034\000\  \\026\000\044\000\016\000\036\000\
121  \\035\000\024\000\041\000\058\000\  \\034\000\035\000\024\000\042\000\
122  \\052\000\050\000\009\000\043\000\  \\059\000\053\000\051\000\009\000\
123  \\029\000\006\000\061\000\060\000\  \\044\000\029\000\006\000\062\000\
124  \\059\000\012\000\002\000\027\000\  \\061\000\060\000\012\000\002\000\
125  \\002\000\033\000\042\000\007\000\  \\027\000\002\000\033\000\043\000\
126  \\055\000\054\000\053\000\051\000\  \\007\000\056\000\055\000\054\000\
127  \\022\000\002\000\044\000\062\000\  \\052\000\022\000\002\000\045\000\
128  \\069\000\004\000\065\000\077\000\  \\063\000\070\000\004\000\066\000\
129  \\076\000\015\000\014\000\003\000\  \\078\000\077\000\015\000\014\000\
130  \\001\000\047\000\011\000\017\000\  \\003\000\001\000\048\000\011\000\
131  \\056\000\045\000\049\000\013\000\  \\017\000\057\000\046\000\050\000\
132  \\075\000\073\000\071\000\074\000\  \\013\000\076\000\074\000\072\000\
133  \\068\000\066\000\005\000\064\000\  \\075\000\069\000\067\000\005\000\
134  \\063\000\028\000\002\000\040\000\  \\065\000\064\000\028\000\002\000\
135  \\008\000\070\000\013\000\067\000\  \\041\000\008\000\071\000\013\000\
136  \\048\000\010\000\057\000\072\000\  \\068\000\049\000\010\000\058\000\
137  \\023\000\046\000\000\000"  \\073\000\023\000\047\000\000\000"
138  val gotoT =  val gotoT =
139  "\  "\
140  \\001\000\082\000\002\000\001\000\000\000\  \\001\000\083\000\002\000\001\000\000\000\
141  \\000\000\  \\000\000\
142  \\000\000\  \\000\000\
143  \\003\000\004\000\000\000\  \\003\000\004\000\000\000\
# Line 147  Line 148 
148  \\000\000\  \\000\000\
149  \\000\000\  \\000\000\
150  \\000\000\  \\000\000\
 \\004\000\017\000\000\000\  
 \\005\000\024\000\006\000\023\000\008\000\022\000\009\000\021\000\  
 \\010\000\020\000\011\000\019\000\000\000\  
151  \\000\000\  \\000\000\
152    \\004\000\018\000\000\000\
153    \\005\000\025\000\006\000\024\000\008\000\023\000\009\000\022\000\
154    \\010\000\021\000\011\000\020\000\000\000\
155  \\000\000\  \\000\000\
156  \\000\000\  \\000\000\
157  \\000\000\  \\000\000\
158  \\000\000\  \\000\000\
 \\004\000\034\000\000\000\  
159  \\000\000\  \\000\000\
160    \\004\000\035\000\000\000\
161  \\000\000\  \\000\000\
 \\010\000\039\000\011\000\019\000\000\000\  
162  \\000\000\  \\000\000\
163  \\005\000\042\000\006\000\023\000\008\000\022\000\009\000\021\000\  \\010\000\040\000\011\000\020\000\000\000\
 \\010\000\020\000\011\000\019\000\000\000\  
164  \\000\000\  \\000\000\
165    \\005\000\043\000\006\000\024\000\008\000\023\000\009\000\022\000\
166    \\010\000\021\000\011\000\020\000\000\000\
167  \\000\000\  \\000\000\
168  \\000\000\  \\000\000\
169  \\000\000\  \\000\000\
170  \\000\000\  \\000\000\
 \\012\000\046\000\013\000\045\000\016\000\044\000\000\000\  
 \\008\000\051\000\009\000\021\000\010\000\020\000\011\000\019\000\000\000\  
 \\007\000\052\000\000\000\  
 \\008\000\054\000\009\000\021\000\010\000\020\000\011\000\019\000\000\000\  
171  \\000\000\  \\000\000\
172    \\012\000\047\000\013\000\046\000\016\000\045\000\000\000\
173    \\008\000\052\000\009\000\022\000\010\000\021\000\011\000\020\000\000\000\
174    \\007\000\053\000\000\000\
175    \\008\000\055\000\009\000\022\000\010\000\021\000\011\000\020\000\000\000\
176  \\000\000\  \\000\000\
177  \\000\000\  \\000\000\
178  \\000\000\  \\000\000\
# Line 179  Line 180 
180  \\000\000\  \\000\000\
181  \\000\000\  \\000\000\
182  \\000\000\  \\000\000\
 \\009\000\058\000\010\000\020\000\011\000\019\000\000\000\  
183  \\000\000\  \\000\000\
184    \\009\000\059\000\010\000\021\000\011\000\020\000\000\000\
185  \\000\000\  \\000\000\
186  \\000\000\  \\000\000\
 \\014\000\062\000\015\000\061\000\016\000\060\000\000\000\  
187  \\000\000\  \\000\000\
188    \\014\000\063\000\015\000\062\000\016\000\061\000\000\000\
189  \\000\000\  \\000\000\
190  \\000\000\  \\000\000\
 \\013\000\066\000\016\000\044\000\000\000\  
 \\012\000\067\000\013\000\045\000\016\000\044\000\000\000\  
191  \\000\000\  \\000\000\
192    \\013\000\067\000\016\000\045\000\000\000\
193    \\012\000\068\000\013\000\046\000\016\000\045\000\000\000\
194  \\000\000\  \\000\000\
195  \\000\000\  \\000\000\
196  \\000\000\  \\000\000\
197  \\000\000\  \\000\000\
198  \\000\000\  \\000\000\
199  \\000\000\  \\000\000\
 \\010\000\039\000\011\000\019\000\000\000\  
 \\015\000\073\000\016\000\060\000\000\000\  
200  \\000\000\  \\000\000\
201    \\010\000\040\000\011\000\020\000\000\000\
202    \\015\000\074\000\016\000\061\000\000\000\
203  \\000\000\  \\000\000\
204  \\000\000\  \\000\000\
205  \\000\000\  \\000\000\
206  \\000\000\  \\000\000\
207  \\000\000\  \\000\000\
 \\014\000\062\000\015\000\061\000\016\000\060\000\000\000\  
208  \\000\000\  \\000\000\
209    \\014\000\063\000\015\000\062\000\016\000\061\000\000\000\
210  \\000\000\  \\000\000\
211  \\000\000\  \\000\000\
 \\008\000\077\000\009\000\021\000\010\000\020\000\011\000\019\000\000\000\  
212  \\000\000\  \\000\000\
213    \\008\000\078\000\009\000\022\000\010\000\021\000\011\000\020\000\000\000\
214  \\000\000\  \\000\000\
215  \\000\000\  \\000\000\
216  \\015\000\079\000\016\000\060\000\000\000\  \\000\000\
217    \\015\000\080\000\016\000\061\000\000\000\
218  \\000\000\  \\000\000\
219  \\000\000\  \\000\000\
220  \\000\000\  \\000\000\
# Line 222  Line 224 
224  \\000\000\  \\000\000\
225  \\000\000\  \\000\000\
226  \"  \"
227  val numstates = 83  val numstates = 84
228  val numrules = 49  val numrules = 50
229  val s = ref "" and index = ref 0  val s = ref "" and index = ref 0
230  val string_to_int = fn () =>  val string_to_int = fn () =>
231  let val i = !index  let val i = !index
# Line 348  Line 350 
350    | (T 31) => "LEXSTATE"    | (T 31) => "LEXSTATE"
351    | (T 32) => "COUNT"    | (T 32) => "COUNT"
352    | (T 33) => "REJECTTOK"    | (T 33) => "REJECTTOK"
353    | (T 34) => "FULLCHARSET"    | (T 34) => "FULL"
354    | (T 35) => "UNICODE"    | (T 35) => "UNICODE"
355    | (T 36) => "STRUCT"    | (T 36) => "STRUCT"
356    | (T 37) => "HEADER"    | (T 37) => "HEADER"
# Line 444  Line 446 
446  end)  end)
447   in ( LrTable.NT 2, ( result, Defs1left, UNICODE1right), rest671)   in ( LrTable.NT 2, ( result, Defs1left, UNICODE1right), rest671)
448  end  end
449  |  ( 9, ( ( _, ( _, _, COUNT1right)) :: ( _, ( MlyValue.Defs Defs1,  |  ( 9, ( ( _, ( _, _, FULL1right)) :: ( _, ( MlyValue.Defs Defs1,
450    Defs1left, _)) :: rest671)) => let val  result = MlyValue.Defs (fn _
451     => let val  (Defs as Defs1) = Defs1 ()
452     in (S.updClamp (Defs, S.CLAMP255))
453    end)
454     in ( LrTable.NT 2, ( result, Defs1left, FULL1right), rest671)
455    end
456    |  ( 10, ( ( _, ( _, _, COUNT1right)) :: ( _, ( MlyValue.Defs Defs1,
457  Defs1left, _)) :: rest671)) => let val  result = MlyValue.Defs (fn _  Defs1left, _)) :: rest671)) => let val  result = MlyValue.Defs (fn _
458   => let val  (Defs as Defs1) = Defs1 ()   => let val  (Defs as Defs1) = Defs1 ()
459   in (Defs)   in (Defs)
460  end)  end)
461   in ( LrTable.NT 2, ( result, Defs1left, COUNT1right), rest671)   in ( LrTable.NT 2, ( result, Defs1left, COUNT1right), rest671)
462  end  end
463  |  ( 10, ( ( _, ( _, _, REJECTTOK1right)) :: ( _, ( MlyValue.Defs  |  ( 11, ( ( _, ( _, _, REJECTTOK1right)) :: ( _, ( MlyValue.Defs
464  Defs1, Defs1left, _)) :: rest671)) => let val  result = MlyValue.Defs  Defs1, Defs1left, _)) :: rest671)) => let val  result = MlyValue.Defs
465   (fn _ => let val  (Defs as Defs1) = Defs1 ()   (fn _ => let val  (Defs as Defs1) = Defs1 ()
466   in (Defs)   in (Defs)
# Line 459  Line 468 
468   in ( LrTable.NT 2, ( result, Defs1left, REJECTTOK1right), rest671)   in ( LrTable.NT 2, ( result, Defs1left, REJECTTOK1right), rest671)
469    
470  end  end
471  |  ( 11, ( ( _, ( _, _, SEMI1right)) :: ( _, ( MlyValue.OrExp OrExp1,  |  ( 12, ( ( _, ( _, _, SEMI1right)) :: ( _, ( MlyValue.OrExp OrExp1,
472   _, _)) :: _ :: ( _, ( MlyValue.ID ID1, _, _)) :: ( _, ( MlyValue.Defs   _, _)) :: _ :: ( _, ( MlyValue.ID ID1, _, _)) :: ( _, ( MlyValue.Defs
473   Defs1, Defs1left, _)) :: rest671)) => let val  result = MlyValue.Defs   Defs1, Defs1left, _)) :: rest671)) => let val  result = MlyValue.Defs
474   (fn _ => let val  (Defs as Defs1) = Defs1 ()   (fn _ => let val  (Defs as Defs1) = Defs1 ()
# Line 473  Line 482 
482  end)  end)
483   in ( LrTable.NT 2, ( result, Defs1left, SEMI1right), rest671)   in ( LrTable.NT 2, ( result, Defs1left, SEMI1right), rest671)
484  end  end
485  |  ( 12, ( ( _, ( MlyValue.LEXSTATE LEXSTATE1, LEXSTATE1left,  |  ( 13, ( ( _, ( MlyValue.LEXSTATE LEXSTATE1, LEXSTATE1left,
486  LEXSTATE1right)) :: rest671)) => let val  result =  LEXSTATE1right)) :: rest671)) => let val  result =
487  MlyValue.StartStates (fn _ => let val  (LEXSTATE as LEXSTATE1) =  MlyValue.StartStates (fn _ => let val  (LEXSTATE as LEXSTATE1) =
488  LEXSTATE1 ()  LEXSTATE1 ()
# Line 482  Line 491 
491   in ( LrTable.NT 3, ( result, LEXSTATE1left, LEXSTATE1right), rest671)   in ( LrTable.NT 3, ( result, LEXSTATE1left, LEXSTATE1right), rest671)
492    
493  end  end
494  |  ( 13, ( ( _, ( MlyValue.StartStates StartStates1, _,  |  ( 14, ( ( _, ( MlyValue.StartStates StartStates1, _,
495  StartStates1right)) :: ( _, ( MlyValue.LEXSTATE LEXSTATE1,  StartStates1right)) :: ( _, ( MlyValue.LEXSTATE LEXSTATE1,
496  LEXSTATE1left, _)) :: rest671)) => let val  result =  LEXSTATE1left, _)) :: rest671)) => let val  result =
497  MlyValue.StartStates (fn _ => let val  (LEXSTATE as LEXSTATE1) =  MlyValue.StartStates (fn _ => let val  (LEXSTATE as LEXSTATE1) =
# Line 493  Line 502 
502   in ( LrTable.NT 3, ( result, LEXSTATE1left, StartStates1right),   in ( LrTable.NT 3, ( result, LEXSTATE1left, StartStates1right),
503  rest671)  rest671)
504  end  end
505  |  ( 14, ( rest671)) => let val  result = MlyValue.Rules (fn _ => ([])  |  ( 15, ( rest671)) => let val  result = MlyValue.Rules (fn _ => ([])
506  )  )
507   in ( LrTable.NT 4, ( result, defaultPos, defaultPos), rest671)   in ( LrTable.NT 4, ( result, defaultPos, defaultPos), rest671)
508  end  end
509  |  ( 15, ( ( _, ( MlyValue.Rules Rules1, _, Rules1right)) :: ( _, (  |  ( 16, ( ( _, ( MlyValue.Rules Rules1, _, Rules1right)) :: ( _, (
510  MlyValue.Rule Rule1, Rule1left, _)) :: rest671)) => let val  result =  MlyValue.Rule Rule1, Rule1left, _)) :: rest671)) => let val  result =
511  MlyValue.Rules (fn _ => let val  (Rule as Rule1) = Rule1 ()  MlyValue.Rules (fn _ => let val  (Rule as Rule1) = Rule1 ()
512   val  (Rules as Rules1) = Rules1 ()   val  (Rules as Rules1) = Rules1 ()
# Line 505  Line 514 
514  end)  end)
515   in ( LrTable.NT 4, ( result, Rule1left, Rules1right), rest671)   in ( LrTable.NT 4, ( result, Rule1left, Rules1right), rest671)
516  end  end
517  |  ( 16, ( ( _, ( MlyValue.ACT ACT1, _, ACT1right)) :: _ :: ( _, (  |  ( 17, ( ( _, ( MlyValue.ACT ACT1, _, ACT1right)) :: _ :: ( _, (
518  MlyValue.OrExp OrExp1, OrExp1left, _)) :: rest671)) => let val  result  MlyValue.OrExp OrExp1, OrExp1left, _)) :: rest671)) => let val  result
519   = MlyValue.Rule (fn _ => let val  (OrExp as OrExp1) = OrExp1 ()   = MlyValue.Rule (fn _ => let val  (OrExp as OrExp1) = OrExp1 ()
520   val  (ACT as ACT1) = ACT1 ()   val  (ACT as ACT1) = ACT1 ()
# Line 513  Line 522 
522  end)  end)
523   in ( LrTable.NT 5, ( result, OrExp1left, ACT1right), rest671)   in ( LrTable.NT 5, ( result, OrExp1left, ACT1right), rest671)
524  end  end
525  |  ( 17, ( ( _, ( MlyValue.ACT ACT1, _, ACT1right)) :: _ :: ( _, (  |  ( 18, ( ( _, ( MlyValue.ACT ACT1, _, ACT1right)) :: _ :: ( _, (
526  MlyValue.OrExp OrExp1, _, _)) :: _ :: ( _, ( MlyValue.RuleStates  MlyValue.OrExp OrExp1, _, _)) :: _ :: ( _, ( MlyValue.RuleStates
527  RuleStates1, _, _)) :: ( _, ( _, LT1left, _)) :: rest671)) => let val  RuleStates1, _, _)) :: ( _, ( _, LT1left, _)) :: rest671)) => let val
528   result = MlyValue.Rule (fn _ => let val  (RuleStates as RuleStates1)   result = MlyValue.Rule (fn _ => let val  (RuleStates as RuleStates1)
# Line 524  Line 533 
533  end)  end)
534   in ( LrTable.NT 5, ( result, LT1left, ACT1right), rest671)   in ( LrTable.NT 5, ( result, LT1left, ACT1right), rest671)
535  end  end
536  |  ( 18, ( ( _, ( MlyValue.LEXSTATE LEXSTATE1, LEXSTATE1left,  |  ( 19, ( ( _, ( MlyValue.LEXSTATE LEXSTATE1, LEXSTATE1left,
537  LEXSTATE1right)) :: rest671)) => let val  result = MlyValue.RuleStates  LEXSTATE1right)) :: rest671)) => let val  result = MlyValue.RuleStates
538   (fn _ => let val  (LEXSTATE as LEXSTATE1) = LEXSTATE1 ()   (fn _ => let val  (LEXSTATE as LEXSTATE1) = LEXSTATE1 ()
539   in (AtomSet.singleton (Atom.atom LEXSTATE))   in (AtomSet.singleton (Atom.atom LEXSTATE))
# Line 532  Line 541 
541   in ( LrTable.NT 6, ( result, LEXSTATE1left, LEXSTATE1right), rest671)   in ( LrTable.NT 6, ( result, LEXSTATE1left, LEXSTATE1right), rest671)
542    
543  end  end
544  |  ( 19, ( ( _, ( MlyValue.LEXSTATE LEXSTATE1, _, LEXSTATE1right)) ::  |  ( 20, ( ( _, ( MlyValue.LEXSTATE LEXSTATE1, _, LEXSTATE1right)) ::
545   _ :: ( _, ( MlyValue.RuleStates RuleStates1, RuleStates1left, _)) ::   _ :: ( _, ( MlyValue.RuleStates RuleStates1, RuleStates1left, _)) ::
546  rest671)) => let val  result = MlyValue.RuleStates (fn _ => let val  (  rest671)) => let val  result = MlyValue.RuleStates (fn _ => let val  (
547  RuleStates as RuleStates1) = RuleStates1 ()  RuleStates as RuleStates1) = RuleStates1 ()
# Line 542  Line 551 
551   in ( LrTable.NT 6, ( result, RuleStates1left, LEXSTATE1right),   in ( LrTable.NT 6, ( result, RuleStates1left, LEXSTATE1right),
552  rest671)  rest671)
553  end  end
554  |  ( 20, ( ( _, ( MlyValue.CatExp CatExp1, _, CatExp1right)) :: _ :: (  |  ( 21, ( ( _, ( MlyValue.CatExp CatExp1, _, CatExp1right)) :: _ :: (
555   _, ( MlyValue.OrExp OrExp1, OrExp1left, _)) :: rest671)) => let val   _, ( MlyValue.OrExp OrExp1, OrExp1left, _)) :: rest671)) => let val
556  result = MlyValue.OrExp (fn _ => let val  (OrExp as OrExp1) = OrExp1  result = MlyValue.OrExp (fn _ => let val  (OrExp as OrExp1) = OrExp1
557   ()   ()
# Line 551  Line 560 
560  end)  end)
561   in ( LrTable.NT 7, ( result, OrExp1left, CatExp1right), rest671)   in ( LrTable.NT 7, ( result, OrExp1left, CatExp1right), rest671)
562  end  end
563  |  ( 21, ( ( _, ( MlyValue.CatExp CatExp1, CatExp1left, CatExp1right))  |  ( 22, ( ( _, ( MlyValue.CatExp CatExp1, CatExp1left, CatExp1right))
564   :: rest671)) => let val  result = MlyValue.OrExp (fn _ => let val  (   :: rest671)) => let val  result = MlyValue.OrExp (fn _ => let val  (
565  CatExp as CatExp1) = CatExp1 ()  CatExp as CatExp1) = CatExp1 ()
566   in (CatExp)   in (CatExp)
567  end)  end)
568   in ( LrTable.NT 7, ( result, CatExp1left, CatExp1right), rest671)   in ( LrTable.NT 7, ( result, CatExp1left, CatExp1right), rest671)
569  end  end
570  |  ( 22, ( ( _, ( MlyValue.Exp Exp1, _, Exp1right)) :: ( _, (  |  ( 23, ( ( _, ( MlyValue.Exp Exp1, _, Exp1right)) :: ( _, (
571  MlyValue.CatExp CatExp1, CatExp1left, _)) :: rest671)) => let val  MlyValue.CatExp CatExp1, CatExp1left, _)) :: rest671)) => let val
572  result = MlyValue.CatExp (fn _ => let val  (CatExp as CatExp1) =  result = MlyValue.CatExp (fn _ => let val  (CatExp as CatExp1) =
573  CatExp1 ()  CatExp1 ()
# Line 567  Line 576 
576  end)  end)
577   in ( LrTable.NT 8, ( result, CatExp1left, Exp1right), rest671)   in ( LrTable.NT 8, ( result, CatExp1left, Exp1right), rest671)
578  end  end
579  |  ( 23, ( ( _, ( MlyValue.Exp Exp1, Exp1left, Exp1right)) :: rest671)  |  ( 24, ( ( _, ( MlyValue.Exp Exp1, Exp1left, Exp1right)) :: rest671)
580  ) => let val  result = MlyValue.CatExp (fn _ => let val  (Exp as Exp1)  ) => let val  result = MlyValue.CatExp (fn _ => let val  (Exp as Exp1)
581   = Exp1 ()   = Exp1 ()
582   in (Exp)   in (Exp)
583  end)  end)
584   in ( LrTable.NT 8, ( result, Exp1left, Exp1right), rest671)   in ( LrTable.NT 8, ( result, Exp1left, Exp1right), rest671)
585  end  end
586  |  ( 24, ( ( _, ( _, _, QMARK1right)) :: ( _, ( MlyValue.Exp Exp1,  |  ( 25, ( ( _, ( _, _, QMARK1right)) :: ( _, ( MlyValue.Exp Exp1,
587  Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp (fn _ =>  Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp (fn _ =>
588   let val  (Exp as Exp1) = Exp1 ()   let val  (Exp as Exp1) = Exp1 ()
589   in (RE.mkOpt Exp)   in (RE.mkOpt Exp)
590  end)  end)
591   in ( LrTable.NT 9, ( result, Exp1left, QMARK1right), rest671)   in ( LrTable.NT 9, ( result, Exp1left, QMARK1right), rest671)
592  end  end
593  |  ( 25, ( ( _, ( _, _, STAR1right)) :: ( _, ( MlyValue.Exp Exp1,  |  ( 26, ( ( _, ( _, _, STAR1right)) :: ( _, ( MlyValue.Exp Exp1,
594  Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp (fn _ =>  Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp (fn _ =>
595   let val  (Exp as Exp1) = Exp1 ()   let val  (Exp as Exp1) = Exp1 ()
596   in (RE.mkClosure Exp)   in (RE.mkClosure Exp)
597  end)  end)
598   in ( LrTable.NT 9, ( result, Exp1left, STAR1right), rest671)   in ( LrTable.NT 9, ( result, Exp1left, STAR1right), rest671)
599  end  end
600  |  ( 26, ( ( _, ( _, _, PLUS1right)) :: ( _, ( MlyValue.Exp Exp1,  |  ( 27, ( ( _, ( _, _, PLUS1right)) :: ( _, ( MlyValue.Exp Exp1,
601  Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp (fn _ =>  Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp (fn _ =>
602   let val  (Exp as Exp1) = Exp1 ()   let val  (Exp as Exp1) = Exp1 ()
603   in (RE.mkAtLeast (Exp, 1))   in (RE.mkAtLeast (Exp, 1))
604  end)  end)
605   in ( LrTable.NT 9, ( result, Exp1left, PLUS1right), rest671)   in ( LrTable.NT 9, ( result, Exp1left, PLUS1right), rest671)
606  end  end
607  |  ( 27, ( ( _, ( _, _, RCB1right)) :: ( _, ( MlyValue.REPS REPS1, _,  |  ( 28, ( ( _, ( _, _, RCB1right)) :: ( _, ( MlyValue.REPS REPS1, _,
608   _)) :: ( _, ( MlyValue.Exp Exp1, Exp1left, _)) :: rest671)) => let   _)) :: ( _, ( MlyValue.Exp Exp1, Exp1left, _)) :: rest671)) => let
609   val  result = MlyValue.Exp (fn _ => let val  (Exp as Exp1) = Exp1 ()   val  result = MlyValue.Exp (fn _ => let val  (Exp as Exp1) = Exp1 ()
610   val  (REPS as REPS1) = REPS1 ()   val  (REPS as REPS1) = REPS1 ()
# Line 603  Line 612 
612  end)  end)
613   in ( LrTable.NT 9, ( result, Exp1left, RCB1right), rest671)   in ( LrTable.NT 9, ( result, Exp1left, RCB1right), rest671)
614  end  end
615  |  ( 28, ( ( _, ( _, _, RCB1right)) :: ( _, ( MlyValue.REPS REPS2, _,  |  ( 29, ( ( _, ( _, _, RCB1right)) :: ( _, ( MlyValue.REPS REPS2, _,
616   _)) :: _ :: ( _, ( MlyValue.REPS REPS1, _, _)) :: ( _, ( MlyValue.Exp   _)) :: _ :: ( _, ( MlyValue.REPS REPS1, _, _)) :: ( _, ( MlyValue.Exp
617   Exp1, Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp   Exp1, Exp1left, _)) :: rest671)) => let val  result = MlyValue.Exp
618   (fn _ => let val  (Exp as Exp1) = Exp1 ()   (fn _ => let val  (Exp as Exp1) = Exp1 ()
# Line 613  Line 622 
622  end)  end)
623   in ( LrTable.NT 9, ( result, Exp1left, RCB1right), rest671)   in ( LrTable.NT 9, ( result, Exp1left, RCB1right), rest671)
624  end  end
625  |  ( 29, ( ( _, ( MlyValue.InExp InExp1, InExp1left, InExp1right)) ::  |  ( 30, ( ( _, ( MlyValue.InExp InExp1, InExp1left, InExp1right)) ::
626  rest671)) => let val  result = MlyValue.Exp (fn _ => let val  (InExp  rest671)) => let val  result = MlyValue.Exp (fn _ => let val  (InExp
627   as InExp1) = InExp1 ()   as InExp1) = InExp1 ()
628   in (InExp)   in (InExp)
629  end)  end)
630   in ( LrTable.NT 9, ( result, InExp1left, InExp1right), rest671)   in ( LrTable.NT 9, ( result, InExp1left, InExp1right), rest671)
631  end  end
632  |  ( 30, ( ( _, ( MlyValue.CHAR CHAR1, CHAR1left, CHAR1right)) ::  |  ( 31, ( ( _, ( MlyValue.CHAR CHAR1, CHAR1left, CHAR1right)) ::
633  rest671)) => let val  result = MlyValue.InExp (fn _ => let val  (CHAR  rest671)) => let val  result = MlyValue.InExp (fn _ => let val  (CHAR
634   as CHAR1) = CHAR1 ()   as CHAR1) = CHAR1 ()
635   in (RE.mkSymSet (SIS.singleton (strToSym CHAR)))   in (RE.mkSymSet (SIS.singleton (strToSym CHAR)))
636  end)  end)
637   in ( LrTable.NT 10, ( result, CHAR1left, CHAR1right), rest671)   in ( LrTable.NT 10, ( result, CHAR1left, CHAR1right), rest671)
638  end  end
639  |  ( 31, ( ( _, ( MlyValue.UNICHAR UNICHAR1, UNICHAR1left,  |  ( 32, ( ( _, ( MlyValue.UNICHAR UNICHAR1, UNICHAR1left,
640  UNICHAR1right)) :: rest671)) => let val  result = MlyValue.InExp (fn _  UNICHAR1right)) :: rest671)) => let val  result = MlyValue.InExp (fn _
641   => let val  (UNICHAR as UNICHAR1) = UNICHAR1 ()   => let val  (UNICHAR as UNICHAR1) = UNICHAR1 ()
642   in (RE.mkSymSet (SIS.singleton UNICHAR))   in (RE.mkSymSet (SIS.singleton UNICHAR))
# Line 635  Line 644 
644   in ( LrTable.NT 10, ( result, UNICHAR1left, UNICHAR1right), rest671)   in ( LrTable.NT 10, ( result, UNICHAR1left, UNICHAR1right), rest671)
645    
646  end  end
647  |  ( 32, ( ( _, ( _, DOT1left, DOT1right)) :: rest671)) => let val  |  ( 33, ( ( _, ( _, DOT1left, DOT1right)) :: rest671)) => let val
648  result = MlyValue.InExp (fn _ => (RE.mkSymSet wildcard))  result = MlyValue.InExp (fn _ => (RE.mkSymSet wildcard))
649   in ( LrTable.NT 10, ( result, DOT1left, DOT1right), rest671)   in ( LrTable.NT 10, ( result, DOT1left, DOT1right), rest671)
650  end  end
651  |  ( 33, ( ( _, ( _, _, RCB1right)) :: ( _, ( MlyValue.ID ID1, ID1left  |  ( 34, ( ( _, ( _, _, RCB1right)) :: ( _, ( MlyValue.ID ID1, ID1left
652  , _)) :: rest671)) => let val  result = MlyValue.InExp (fn _ => let  , _)) :: rest671)) => let val  result = MlyValue.InExp (fn _ => let
653   val  (ID as ID1) = ID1 ()   val  (ID as ID1) = ID1 ()
654   in (   in (
# Line 650  Line 659 
659  end)  end)
660   in ( LrTable.NT 10, ( result, ID1left, RCB1right), rest671)   in ( LrTable.NT 10, ( result, ID1left, RCB1right), rest671)
661  end  end
662  |  ( 34, ( ( _, ( _, _, RP1right)) :: ( _, ( MlyValue.OrExp OrExp1, _,  |  ( 35, ( ( _, ( _, _, RP1right)) :: ( _, ( MlyValue.OrExp OrExp1, _,
663   _)) :: ( _, ( _, LP1left, _)) :: rest671)) => let val  result =   _)) :: ( _, ( _, LP1left, _)) :: rest671)) => let val  result =
664  MlyValue.InExp (fn _ => let val  (OrExp as OrExp1) = OrExp1 ()  MlyValue.InExp (fn _ => let val  (OrExp as OrExp1) = OrExp1 ()
665   in (OrExp)   in (OrExp)
666  end)  end)
667   in ( LrTable.NT 10, ( result, LP1left, RP1right), rest671)   in ( LrTable.NT 10, ( result, LP1left, RP1right), rest671)
668  end  end
669  |  ( 35, ( ( _, ( MlyValue.CharClass CharClass1, _, CharClass1right))  |  ( 36, ( ( _, ( MlyValue.CharClass CharClass1, _, CharClass1right))
670   :: _ :: ( _, ( _, LB1left, _)) :: rest671)) => let val  result =   :: _ :: ( _, ( _, LB1left, _)) :: rest671)) => let val  result =
671  MlyValue.InExp (fn _ => let val  (CharClass as CharClass1) =  MlyValue.InExp (fn _ => let val  (CharClass as CharClass1) =
672  CharClass1 ()  CharClass1 ()
# Line 665  Line 674 
674  end)  end)
675   in ( LrTable.NT 10, ( result, LB1left, CharClass1right), rest671)   in ( LrTable.NT 10, ( result, LB1left, CharClass1right), rest671)
676  end  end
677  |  ( 36, ( ( _, ( MlyValue.CharClass CharClass1, _, CharClass1right))  |  ( 37, ( ( _, ( MlyValue.CharClass CharClass1, _, CharClass1right))
678   :: ( _, ( _, LB1left, _)) :: rest671)) => let val  result =   :: ( _, ( _, LB1left, _)) :: rest671)) => let val  result =
679  MlyValue.InExp (fn _ => let val  (CharClass as CharClass1) =  MlyValue.InExp (fn _ => let val  (CharClass as CharClass1) =
680  CharClass1 ()  CharClass1 ()
# Line 673  Line 682 
682  end)  end)
683   in ( LrTable.NT 10, ( result, LB1left, CharClass1right), rest671)   in ( LrTable.NT 10, ( result, LB1left, CharClass1right), rest671)
684  end  end
685  |  ( 37, ( ( _, ( _, _, RB1right)) :: ( _, ( MlyValue.CharClass'  |  ( 38, ( ( _, ( _, _, RB1right)) :: ( _, ( MlyValue.CharClass'
686  CharClass'1, CharClass'1left, _)) :: rest671)) => let val  result =  CharClass'1, CharClass'1left, _)) :: rest671)) => let val  result =
687  MlyValue.CharClass (fn _ => let val  (CharClass' as CharClass'1) =  MlyValue.CharClass (fn _ => let val  (CharClass' as CharClass'1) =
688  CharClass'1 ()  CharClass'1 ()
# Line 682  Line 691 
691   in ( LrTable.NT 11, ( result, CharClass'1left, RB1right), rest671)   in ( LrTable.NT 11, ( result, CharClass'1left, RB1right), rest671)
692    
693  end  end
694  |  ( 38, ( ( _, ( _, _, RB1right)) :: ( _, ( MlyValue.CharClass'  |  ( 39, ( ( _, ( _, _, RB1right)) :: ( _, ( MlyValue.CharClass'
695  CharClass'1, _, _)) :: ( _, ( _, DASH1left, _)) :: rest671)) => let  CharClass'1, _, _)) :: ( _, ( _, DASH1left, _)) :: rest671)) => let
696   val  result = MlyValue.CharClass (fn _ => let val  (CharClass' as   val  result = MlyValue.CharClass (fn _ => let val  (CharClass' as
697  CharClass'1) = CharClass'1 ()  CharClass'1) = CharClass'1 ()
# Line 690  Line 699 
699  end)  end)
700   in ( LrTable.NT 11, ( result, DASH1left, RB1right), rest671)   in ( LrTable.NT 11, ( result, DASH1left, RB1right), rest671)
701  end  end
702  |  ( 39, ( ( _, ( _, _, RBD1right)) :: ( _, ( MlyValue.CharClass'  |  ( 40, ( ( _, ( _, _, RBD1right)) :: ( _, ( MlyValue.CharClass'
703  CharClass'1, CharClass'1left, _)) :: rest671)) => let val  result =  CharClass'1, CharClass'1left, _)) :: rest671)) => let val  result =
704  MlyValue.CharClass (fn _ => let val  (CharClass' as CharClass'1) =  MlyValue.CharClass (fn _ => let val  (CharClass' as CharClass'1) =
705  CharClass'1 ()  CharClass'1 ()
# Line 699  Line 708 
708   in ( LrTable.NT 11, ( result, CharClass'1left, RBD1right), rest671)   in ( LrTable.NT 11, ( result, CharClass'1left, RBD1right), rest671)
709    
710  end  end
711  |  ( 40, ( ( _, ( MlyValue.NonCarat NonCarat1, NonCarat1left,  |  ( 41, ( ( _, ( MlyValue.NonCarat NonCarat1, NonCarat1left,
712  NonCarat1right)) :: rest671)) => let val  result = MlyValue.CharClass'  NonCarat1right)) :: rest671)) => let val  result = MlyValue.CharClass'
713   (fn _ => let val  (NonCarat as NonCarat1) = NonCarat1 ()   (fn _ => let val  (NonCarat as NonCarat1) = NonCarat1 ()
714   in (SIS.singleton NonCarat)   in (SIS.singleton NonCarat)
# Line 707  Line 716 
716   in ( LrTable.NT 12, ( result, NonCarat1left, NonCarat1right), rest671   in ( LrTable.NT 12, ( result, NonCarat1left, NonCarat1right), rest671
717  )  )
718  end  end
719  |  ( 41, ( ( _, ( MlyValue.AChar AChar1, _, AChar1right)) :: _ :: ( _,  |  ( 42, ( ( _, ( MlyValue.AChar AChar1, _, AChar1right)) :: _ :: ( _,
720   ( MlyValue.NonCarat NonCarat1, NonCarat1left, _)) :: rest671)) => let   ( MlyValue.NonCarat NonCarat1, NonCarat1left, _)) :: rest671)) => let
721   val  result = MlyValue.CharClass' (fn _ => let val  (NonCarat as   val  result = MlyValue.CharClass' (fn _ => let val  (NonCarat as
722  NonCarat1) = NonCarat1 ()  NonCarat1) = NonCarat1 ()
# Line 717  Line 726 
726   in ( LrTable.NT 12, ( result, NonCarat1left, AChar1right), rest671)   in ( LrTable.NT 12, ( result, NonCarat1left, AChar1right), rest671)
727    
728  end  end
729  |  ( 42, ( ( _, ( MlyValue.CharRng CharRng1, _, CharRng1right)) :: ( _  |  ( 43, ( ( _, ( MlyValue.CharRng CharRng1, _, CharRng1right)) :: ( _
730  , ( MlyValue.CharClass' CharClass'1, CharClass'1left, _)) :: rest671))  , ( MlyValue.CharClass' CharClass'1, CharClass'1left, _)) :: rest671))
731   => let val  result = MlyValue.CharClass' (fn _ => let val  (   => let val  result = MlyValue.CharClass' (fn _ => let val  (
732  CharClass' as CharClass'1) = CharClass'1 ()  CharClass' as CharClass'1) = CharClass'1 ()
# Line 727  Line 736 
736   in ( LrTable.NT 12, ( result, CharClass'1left, CharRng1right),   in ( LrTable.NT 12, ( result, CharClass'1left, CharRng1right),
737  rest671)  rest671)
738  end  end
739  |  ( 43, ( ( _, ( MlyValue.AChar AChar2, _, AChar2right)) :: _ :: ( _,  |  ( 44, ( ( _, ( MlyValue.AChar AChar2, _, AChar2right)) :: _ :: ( _,
740   ( MlyValue.AChar AChar1, AChar1left, _)) :: rest671)) => let val   ( MlyValue.AChar AChar1, AChar1left, _)) :: rest671)) => let val
741  result = MlyValue.CharRng (fn _ => let val  AChar1 = AChar1 ()  result = MlyValue.CharRng (fn _ => let val  AChar1 = AChar1 ()
742   val  AChar2 = AChar2 ()   val  AChar2 = AChar2 ()
# Line 735  Line 744 
744  end)  end)
745   in ( LrTable.NT 13, ( result, AChar1left, AChar2right), rest671)   in ( LrTable.NT 13, ( result, AChar1left, AChar2right), rest671)
746  end  end
747  |  ( 44, ( ( _, ( MlyValue.AChar AChar1, AChar1left, AChar1right)) ::  |  ( 45, ( ( _, ( MlyValue.AChar AChar1, AChar1left, AChar1right)) ::
748  rest671)) => let val  result = MlyValue.CharRng (fn _ => let val  (  rest671)) => let val  result = MlyValue.CharRng (fn _ => let val  (
749  AChar as AChar1) = AChar1 ()  AChar as AChar1) = AChar1 ()
750   in (SIS.singleton AChar)   in (SIS.singleton AChar)
751  end)  end)
752   in ( LrTable.NT 13, ( result, AChar1left, AChar1right), rest671)   in ( LrTable.NT 13, ( result, AChar1left, AChar1right), rest671)
753  end  end
754  |  ( 45, ( ( _, ( _, CARAT1left, CARAT1right)) :: rest671)) => let  |  ( 46, ( ( _, ( _, CARAT1left, CARAT1right)) :: rest671)) => let
755   val  result = MlyValue.AChar (fn _ => (charToSym #"^"))   val  result = MlyValue.AChar (fn _ => (charToSym #"^"))
756   in ( LrTable.NT 14, ( result, CARAT1left, CARAT1right), rest671)   in ( LrTable.NT 14, ( result, CARAT1left, CARAT1right), rest671)
757  end  end
758  |  ( 46, ( ( _, ( MlyValue.NonCarat NonCarat1, NonCarat1left,  |  ( 47, ( ( _, ( MlyValue.NonCarat NonCarat1, NonCarat1left,
759  NonCarat1right)) :: rest671)) => let val  result = MlyValue.AChar (fn  NonCarat1right)) :: rest671)) => let val  result = MlyValue.AChar (fn
760   _ => let val  (NonCarat as NonCarat1) = NonCarat1 ()   _ => let val  (NonCarat as NonCarat1) = NonCarat1 ()
761   in (NonCarat)   in (NonCarat)
# Line 754  Line 763 
763   in ( LrTable.NT 14, ( result, NonCarat1left, NonCarat1right), rest671   in ( LrTable.NT 14, ( result, NonCarat1left, NonCarat1right), rest671
764  )  )
765  end  end
766  |  ( 47, ( ( _, ( MlyValue.CHAR CHAR1, CHAR1left, CHAR1right)) ::  |  ( 48, ( ( _, ( MlyValue.CHAR CHAR1, CHAR1left, CHAR1right)) ::
767  rest671)) => let val  result = MlyValue.NonCarat (fn _ => let val  (  rest671)) => let val  result = MlyValue.NonCarat (fn _ => let val  (
768  CHAR as CHAR1) = CHAR1 ()  CHAR as CHAR1) = CHAR1 ()
769   in (strToSym CHAR)   in (strToSym CHAR)
770  end)  end)
771   in ( LrTable.NT 15, ( result, CHAR1left, CHAR1right), rest671)   in ( LrTable.NT 15, ( result, CHAR1left, CHAR1right), rest671)
772  end  end
773  |  ( 48, ( ( _, ( MlyValue.UNICHAR UNICHAR1, UNICHAR1left,  |  ( 49, ( ( _, ( MlyValue.UNICHAR UNICHAR1, UNICHAR1left,
774  UNICHAR1right)) :: rest671)) => let val  result = MlyValue.NonCarat  UNICHAR1right)) :: rest671)) => let val  result = MlyValue.NonCarat
775   (fn _ => let val  (UNICHAR as UNICHAR1) = UNICHAR1 ()   (fn _ => let val  (UNICHAR as UNICHAR1) = UNICHAR1 ()
776   in (UNICHAR)   in (UNICHAR)
# Line 849  Line 858 
858  ParserData.MlyValue.VOID,p1,p2))  ParserData.MlyValue.VOID,p1,p2))
859  fun REJECTTOK (p1,p2) = Token.TOKEN (ParserData.LrTable.T 33,(  fun REJECTTOK (p1,p2) = Token.TOKEN (ParserData.LrTable.T 33,(
860  ParserData.MlyValue.VOID,p1,p2))  ParserData.MlyValue.VOID,p1,p2))
861  fun FULLCHARSET (p1,p2) = Token.TOKEN (ParserData.LrTable.T 34,(  fun FULL (p1,p2) = Token.TOKEN (ParserData.LrTable.T 34,(
862  ParserData.MlyValue.VOID,p1,p2))  ParserData.MlyValue.VOID,p1,p2))
863  fun UNICODE (p1,p2) = Token.TOKEN (ParserData.LrTable.T 35,(  fun UNICODE (p1,p2) = Token.TOKEN (ParserData.LrTable.T 35,(
864  ParserData.MlyValue.VOID,p1,p2))  ParserData.MlyValue.VOID,p1,p2))

Legend:
Removed from v.1911  
changed lines
  Added in v.1912

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0