generic package ml_lex_lr_vals_fun(package token: Token;)
: (weak) api { package parser_data : Parser_Data;
package tokens : Ml_Lex_Tokens;
}
{
package parser_data{
package header {
# mythryl-lex.grammar
# Compiled by:
# src/app/future-lex/src/lexgen.libpackage s = lex_spec;
package re = regular_expression;
package sis = re::symbol_set;
my sym_table: Ref quickstring_map::Map re::Re
= REF quickstring_map::empty ;
wildcard = sis::complement (sis::singleton 0u10); # Everything but \n.
fun char_to_sym c = one_word_unt::from_int (char::to_int c);
fun str_to_sym s = char_to_sym (string::get (s, 0));
};
package lr_table = token::lr_table;
package token = token;
stipulate include lr_table; herein
my table={ action_rows =
"\
\\001\000\001\000\000\000\000\000\
\\001\000\004\000\073\000\030\000\072\000\000\000\
\\001\000\005\000\033\000\007\000\032\000\020\000\031\000\021\000\030\000\
\\022\000\029\000\025\000\028\000\000\000\
\\001\000\006\000\071\000\015\000\044\000\000\000\
\\001\000\008\000\068\000\009\000\067\000\016\000\066\000\020\000\051\000\
\\021\000\050\000\000\000\
\\001\000\008\000\078\000\016\000\066\000\020\000\051\000\021\000\050\000\000\000\
\\001\000\011\000\046\000\000\000\
\\001\000\011\000\059\000\030\000\058\000\000\000\
\\001\000\011\000\081\000\000\000\
\\001\000\015\000\044\000\026\000\043\000\000\000\
\\001\000\015\000\044\000\026\000\083\000\000\000\
\\001\000\015\000\044\000\028\000\074\000\000\000\
\\001\000\016\000\053\000\019\000\052\000\020\000\051\000\021\000\050\000\000\000\
\\001\000\016\000\066\000\020\000\051\000\021\000\050\000\000\000\
\\001\000\019\000\052\000\020\000\051\000\021\000\050\000\000\000\
\\001\000\020\000\051\000\021\000\050\000\000\000\
\\001\000\023\000\035\000\000\000\
\\001\000\024\000\075\000\000\000\
\\001\000\025\000\016\000\029\000\015\000\031\000\014\000\033\000\013\000\
\\034\000\012\000\035\000\011\000\036\000\010\000\037\000\009\000\
\\038\000\008\000\039\000\007\000\000\000\
\\001\000\025\000\019\000\000\000\
\\001\000\027\000\017\000\000\000\
\\001\000\027\000\018\000\000\000\
\\001\000\027\000\060\000\000\000\
\\001\000\027\000\084\000\000\000\
\\001\000\028\000\036\000\000\000\
\\001\000\029\000\005\000\000\000\
\\001\000\032\000\021\000\000\000\
\\001\000\032\000\056\000\000\000\
\\001\000\032\000\079\000\000\000\
\\086\000\000\000\
\\087\000\000\000\
\\088\000\002\000\004\000\000\000\
\\089\000\000\000\
\\090\000\000\000\
\\091\000\000\000\
\\092\000\000\000\
\\093\000\000\000\
\\094\000\000\000\
\\095\000\000\000\
\\096\000\000\000\
\\097\000\000\000\
\\098\000\000\000\
\\099\000\032\000\021\000\000\000\
\\100\000\000\000\
\\101\000\003\000\034\000\005\000\033\000\007\000\032\000\020\000\031\000\
\\021\000\030\000\022\000\029\000\025\000\028\000\000\000\
\\102\000\000\000\
\\103\000\000\000\
\\104\000\000\000\
\\105\000\000\000\
\\106\000\000\000\
\\107\000\005\000\033\000\007\000\032\000\020\000\031\000\021\000\030\000\
\\022\000\029\000\025\000\028\000\000\000\
\\108\000\005\000\033\000\007\000\032\000\020\000\031\000\021\000\030\000\
\\022\000\029\000\025\000\028\000\000\000\
\\109\000\012\000\041\000\013\000\040\000\014\000\039\000\024\000\038\000\000\000\
\\110\000\012\000\041\000\013\000\040\000\014\000\039\000\024\000\038\000\000\000\
\\111\000\000\000\
\\112\000\000\000\
\\113\000\000\000\
\\114\000\000\000\
\\115\000\000\000\
\\116\000\000\000\
\\117\000\000\000\
\\118\000\000\000\
\\119\000\000\000\
\\120\000\000\000\
\\121\000\000\000\
\\122\000\000\000\
\\123\000\000\000\
\\124\000\000\000\
\\125\000\000\000\
\\126\000\000\000\
\\127\000\019\000\062\000\000\000\
\\128\000\000\000\
\\129\000\000\000\
\\130\000\000\000\
\\131\000\019\000\077\000\000\000\
\\132\000\000\000\
\\133\000\000\000\
\\134\000\000\000\
\\135\000\000\000\
\";
action_row_numbers =
"\031\000\025\000\030\000\032\000\
\\018\000\020\000\021\000\019\000\
\\037\000\038\000\040\000\039\000\
\\026\000\044\000\016\000\036\000\
\\034\000\035\000\024\000\042\000\
\\059\000\053\000\051\000\009\000\
\\044\000\029\000\006\000\062\000\
\\061\000\060\000\012\000\002\000\
\\027\000\002\000\033\000\043\000\
\\007\000\056\000\055\000\054\000\
\\052\000\022\000\002\000\045\000\
\\063\000\070\000\004\000\066\000\
\\078\000\077\000\015\000\014\000\
\\003\000\001\000\048\000\011\000\
\\017\000\057\000\046\000\050\000\
\\013\000\076\000\074\000\072\000\
\\075\000\069\000\067\000\005\000\
\\065\000\064\000\028\000\002\000\
\\041\000\008\000\071\000\013\000\
\\068\000\049\000\010\000\058\000\
\\073\000\023\000\047\000\000\000";
goto_table =
"\
\\001\000\083\000\002\000\001\000\000\000\
\\000\000\
\\000\000\
\\003\000\004\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\004\000\018\000\000\000\
\\005\000\025\000\006\000\024\000\008\000\023\000\009\000\022\000\
\\010\000\021\000\011\000\020\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\004\000\035\000\000\000\
\\000\000\
\\000\000\
\\010\000\040\000\011\000\020\000\000\000\
\\000\000\
\\005\000\043\000\006\000\024\000\008\000\023\000\009\000\022\000\
\\010\000\021\000\011\000\020\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\012\000\047\000\013\000\046\000\016\000\045\000\000\000\
\\008\000\052\000\009\000\022\000\010\000\021\000\011\000\020\000\000\000\
\\007\000\053\000\000\000\
\\008\000\055\000\009\000\022\000\010\000\021\000\011\000\020\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\009\000\059\000\010\000\021\000\011\000\020\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\014\000\063\000\015\000\062\000\016\000\061\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\013\000\067\000\016\000\045\000\000\000\
\\012\000\068\000\013\000\046\000\016\000\045\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\010\000\040\000\011\000\020\000\000\000\
\\015\000\074\000\016\000\061\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\014\000\063\000\015\000\062\000\016\000\061\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\008\000\078\000\009\000\022\000\010\000\021\000\011\000\020\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\015\000\080\000\016\000\061\000\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\\000\000\
\";
numstates = 84;
numrules = 50;
s = REF ""; index = REF 0;
string_to_int = fn () =
{ i = *index;
index := i+2;
char::to_int (string::get(*s, i)) + char::to_int (string::get(*s, i+1)) * 256;
};
string_to_list = fn s' =
{ len = string::length s';
fun f () =
if (*index < len)
string_to_int() ! f();
else NIL; fi;
index := 0;
s := s';
f ();
};
string_to_pairlist = fn (conv_key, conv_entry) = f
where
fun f ()
=
case (string_to_int ())
0 => EMPTY;
n => PAIR (conv_key (n - 1), conv_entry (string_to_int()), f());
esac;
end;
string_to_pairlist_default = fn (conv_key, conv_entry) =
{ conv_row = string_to_pairlist (conv_key, conv_entry);
fn () =
{ default = conv_entry (string_to_int());
row = conv_row();
(row, default);
};
};
string_to_table = fn (convert_row, s') =
{ len = string::length s';
fun f ()
=
if (*index < len)
convert_row() ! f();
else NIL; fi;
s := s';
index := 0;
f ();
};
stipulate
memo = rw_vector::make_rw_vector (numstates+numrules, ERROR);
my _ ={ fun g i
=
{ rw_vector::set (memo, i, REDUCE (i-numstates));
g (i+1);
};
fun f i
=
if (i == numstates)
g i;
else rw_vector::set (memo, i, SHIFT (STATE i));
f (i+1);
fi;
f 0
except
(SUBSCRIPT|INDEX_OUT_OF_BOUNDS) = ();
};
herein
entry_to_action
=
fn 0 => ACCEPT;
1 => ERROR;
j => rw_vector::get (memo, (j - 2));
end;
end;
goto_table = rw_vector::from_list (string_to_table (string_to_pairlist (NONTERM, STATE), goto_table));
action_rows = string_to_table (string_to_pairlist_default (TERM, entry_to_action), action_rows);
action_row_numbers = string_to_list action_row_numbers;
action_table
=
{ action_row_lookup
=
{ a=rw_vector::from_list (action_rows);
fn i = rw_vector::get (a, i);
};
rw_vector::from_list (map action_row_lookup action_row_numbers);
};
lr_table::make_lr_table {
actions => action_table,
gotos => goto_table,
rule_count => numrules,
state_count => numstates,
initial_state => STATE 0 };
};
end;
stipulate include header; herein
Source_Position = Int;
Arg = Void;
package values {
Semantic_Value = TM_VOID | NT_VOID Void -> Void | LEXSTATE Void -> (String) | ACT Void -> (String) | ID Void -> (String) | REPS Void -> (Int) | UNICHAR Void -> (one_word_unt::Unt)
| CHAR Void -> (String) | DECLS Void -> (String) | QQ_NON_CARAT Void -> (one_word_unt::Unt) | QQ_A_CHAR Void -> (one_word_unt::Unt) | QQ_CHAR_RANGE Void -> (sis::Set)
| QQ_CHAR_ILK' Void -> (sis::Set) | QQ_CHAR_ILK Void -> (sis::Set) | QQ_IN_EXPRESSION Void -> (re::Re) | QQ_EXPRESSION Void -> (re::Re) | QQ_CAT_EXPRESSION Void -> (re::Re)
| QQ_OR_EXPRESSION Void -> (re::Re) | QQ_RULE_STATES Void -> (quickstring_set::Set) | QQ_RULE Void -> (s::Rule) | QQ_RULES Void -> (List s::Rule )
| QQ_START_STATES Void -> (quickstring_set::Set) | QQ_DEFS Void -> (s::Config) | QQ_DECLSS Void -> (String) | QQ_START Void -> (s::Spec);
};
Semantic_Value = values::Semantic_Value;
Result = s::Spec;
end;
package error_recovery{
include lr_table;
infix my 60 @@;
fun x @@ y = y ! x;
is_keyword =
fn _ => FALSE; end;
my preferred_change: List( (List( Terminal ), List( Terminal )) ) =
NIL;
no_shift =
fn (TERM 0) => TRUE; _ => FALSE; end;
show_terminal =
fn (TERM 0) => "EOFX"
; (TERM 1) => "DECLS"
; (TERM 2) => "LT"
; (TERM 3) => "GT"
; (TERM 4) => "LP"
; (TERM 5) => "RP"
; (TERM 6) => "LB"
; (TERM 7) => "RB"
; (TERM 8) => "RBD"
; (TERM 9) => "LCB"
; (TERM 10) => "RCB"
; (TERM 11) => "QMARK"
; (TERM 12) => "STAR"
; (TERM 13) => "PLUS"
; (TERM 14) => "BAR"
; (TERM 15) => "CARAT"
; (TERM 16) => "DOLLAR"
; (TERM 17) => "SLASH"
; (TERM 18) => "DASH"
; (TERM 19) => "CHAR"
; (TERM 20) => "UNICHAR"
; (TERM 21) => "DOT"
; (TERM 22) => "EQ"
; (TERM 23) => "REPS"
; (TERM 24) => "ID"
; (TERM 25) => "ARROW"
; (TERM 26) => "ACT"
; (TERM 27) => "SEMI"
; (TERM 28) => "LEXMARK"
; (TERM 29) => "COMMA"
; (TERM 30) => "STATES"
; (TERM 31) => "LEXSTATE"
; (TERM 32) => "COUNT"
; (TERM 33) => "REJECTTOK"
; (TERM 34) => "FULL"
; (TERM 35) => "UNICODE"
; (TERM 36) => "STRUCTX"
; (TERM 37) => "HEADER"
; (TERM 38) => "ARG"
; (TERM 39) => "POSARG"
; _ => "bogus-term"; end;
stipulate include header; herein
errtermvalue=
fn _ => values::TM_VOID;
end; end;
my terms: List( Terminal ) = NIL
@@ (TERM 39) @@ (TERM 38) @@ (TERM 37) @@ (TERM 36) @@ (TERM 35) @@ (TERM 34) @@ (TERM 33) @@ (TERM 32) @@ (TERM 30) @@ (TERM 29) @@ (TERM 28) @@ (TERM 27) @@ (TERM 25) @@ (TERM 22) @@ (TERM 21) @@
(TERM 18) @@ (TERM 17) @@ (TERM 16) @@ (TERM 15) @@ (TERM 14) @@ (TERM 13) @@ (TERM 12) @@ (TERM 11) @@ (TERM 10) @@ (TERM 9) @@ (TERM 8) @@ (TERM 7) @@ (TERM 6) @@ (TERM 5) @@ (TERM 4) @@ (TERM 3)
@@ (TERM 2) @@ (TERM 0);
};
package actions {
exception MLY_ACTION Int;
stipulate include header; herein
actions =
fn (i392, default_position, stack,
(()): Arg) =
case (i392, stack)
( 0, ( ( _, ( values::QQ_RULES rules1, _, rules1right)) ! _ ! ( _, ( values::QQ_DEFS defs1, _, _)) ! _ ! ( _, ( values::QQ_DECLSS declss1, declss1left, _)) ! rest671)) => { my
result = values::QQ_START (fn _ = { my (declss as declss1) = declss1 ();
my (defs as defs1) = defs1 ();
my (rules as rules1) = rules1 ();
(
s::SPEC { decls => declss,
conf => defs,
rules => rules});
} );
( lr_table::NONTERM 0, ( result, declss1left, rules1right), rest671);
}
; ( 1, ( ( _, ( values::DECLS decls1, decls1left, decls1right)) ! rest671)) => { my result = values::QQ_DECLSS (fn _ = { my (decls as decls1) = decls1 ();
(decls);
} );
(
lr_table::NONTERM 1, ( result, decls1left, decls1right), rest671);
}
; ( 2, ( rest671)) => { my result = values::QQ_DECLSS (fn _ = (""));
( lr_table::NONTERM 1, ( result, default_position, default_position), rest671);
}
; ( 3, ( rest671)) => { my result = values::QQ_DEFS (fn _ = (s::make_config()));
( lr_table::NONTERM 2, ( result, default_position, default_position), rest671);
}
; ( 4, ( ( _, ( _, _, semi1right)) ! ( _, ( values::QQ_START_STATES start_states1, _, _)) ! _ ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result =
values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1 ();
my (start_states as start_states1) = start_states1 ();
(s::upd_start_states (defs, start_states));
} );
( lr_table::NONTERM 2, (
result, defs1left, semi1right), rest671);
}
; ( 5, ( ( _, ( values::ACT act1, _, act1right)) ! _ ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1
();
my (act as act1) = act1 ();
(s::upd_header (defs,
string::substring (act, 1, string::length act - 2)));
} );
( lr_table::NONTERM 2, ( result, defs1left, act1right), rest671);
}
; ( 6, ( ( _, ( values::ID id1, _, id1right)) ! _ ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1 ();
my (id as id1) = id1 ();
(s::upd_struct_name (defs, id));
} );
( lr_table::NONTERM 2, ( result, defs1left, id1right), rest671);
}
; ( 7, ( ( _, ( values::ACT act1, _, act1right)) ! _ ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1
();
my (act as act1) = act1 ();
(s::upd_arg (defs, act));
} );
( lr_table::NONTERM 2, ( result, defs1left, act1right), rest671);
}
; ( 8, ( ( _, ( _, _, unicode1right)) ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1 ();
(
s::upd_clamp (defs, s::NO_CLAMP));
} );
( lr_table::NONTERM 2, ( result, defs1left, unicode1right), rest671);
}
; ( 9, ( ( _, ( _, _, full1right)) ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1 ();
(
s::upd_clamp (defs, s::CLAMP255));
} );
( lr_table::NONTERM 2, ( result, defs1left, full1right), rest671);
}
; ( 10, ( ( _, ( _, _, count1right)) ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1 ();
(defs);
} )
;
( lr_table::NONTERM 2, ( result, defs1left, count1right), rest671);
}
; ( 11, ( ( _, ( _, _, rejecttok1right)) ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) ! rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1 ();
(defs)
;
} );
( lr_table::NONTERM 2, ( result, defs1left, rejecttok1right), rest671);
}
; ( 12, ( ( _, ( _, _, semi1right)) ! ( _, ( values::QQ_OR_EXPRESSION or_expression1, _, _)) ! _ ! ( _, ( values::ID id1, _, _)) ! ( _, ( values::QQ_DEFS defs1, defs1left, _)) !
rest671)) => { my result = values::QQ_DEFS (fn _ = { my (defs as defs1) = defs1 ();
my (id as id1) = id1 ();
my (or_expression as or_expression1) = or_expression1 ();
(
{ sym_table := quickstring_map::set (*sym_table, quickstring__premicrothread::from_string id, or_expression);
defs;
}
);
} );
( lr_table::NONTERM 2, (
result, defs1left, semi1right), rest671);
}
; ( 13, ( ( _, ( values::LEXSTATE lexstate1, lexstate1left, lexstate1right)) ! rest671)) => { my result = values::QQ_START_STATES (fn _ = { my (lexstate as lexstate1) = lexstate1 ();
(
quickstring_set::singleton (quickstring__premicrothread::from_string lexstate));
} );
( lr_table::NONTERM 3, ( result, lexstate1left, lexstate1right), rest671);
}
; ( 14, ( ( _, ( values::QQ_START_STATES start_states1, _, start_states1right)) ! ( _, ( values::LEXSTATE lexstate1, lexstate1left, _)) ! rest671)) => { my result = values::QQ_START_STATES
(fn _ = { my (lexstate as lexstate1) = lexstate1 ();
my (start_states as start_states1) = start_states1 ();
(
quickstring_set::add (start_states, quickstring__premicrothread::from_string lexstate));
} );
( lr_table::NONTERM 3, ( result, lexstate1left, start_states1right), rest671);
}
; ( 15, ( rest671)) => { my result = values::QQ_RULES (fn _ = ([]));
( lr_table::NONTERM 4, ( result, default_position, default_position), rest671);
}
; ( 16, ( ( _, ( values::QQ_RULES rules1, _, rules1right)) ! ( _, ( values::QQ_RULE rule1, rule1left, _)) ! rest671)) => { my result = values::QQ_RULES (fn _ = { my (rule as rule1) =
rule1 ();
my (rules as rules1) = rules1 ();
(rule ! rules);
} );
( lr_table::NONTERM 4, ( result, rule1left, rules1right), rest671);
}
; ( 17, ( ( _, ( values::ACT act1, _, act1right)) ! _ ! ( _, ( values::QQ_OR_EXPRESSION or_expression1, or_expression1left, _)) ! rest671)) => { my result = values::QQ_RULE (fn _ = {
my (or_expression as or_expression1) = or_expression1 ();
my (act as act1) = act1 ();
((NULL, or_expression), act);
} );
( lr_table::NONTERM 5, ( result, or_expression1left, act1right),
rest671);
}
; ( 18, ( ( _, ( values::ACT act1, _, act1right)) ! _ ! ( _, ( values::QQ_OR_EXPRESSION or_expression1, _, _)) ! _ ! ( _, ( values::QQ_RULE_STATES rule_states1, _, _)) ! ( _, ( _,
lt1left, _)) ! rest671)) => { my result = values::QQ_RULE (fn _ = { my (rule_states as rule_states1) = rule_states1 ();
my (or_expression as or_expression1) = or_expression1 ();
my (act
as act1) = act1 ();
((THE rule_states, or_expression), act);
} );
( lr_table::NONTERM 5, ( result, lt1left, act1right), rest671);
}
; ( 19, ( ( _, ( values::LEXSTATE lexstate1, lexstate1left, lexstate1right)) ! rest671)) => { my result = values::QQ_RULE_STATES (fn _ = { my (lexstate as lexstate1) = lexstate1 ();
(
quickstring_set::singleton (quickstring__premicrothread::from_string lexstate));
} );
( lr_table::NONTERM 6, ( result, lexstate1left, lexstate1right), rest671);
}
; ( 20, ( ( _, ( values::LEXSTATE lexstate1, _, lexstate1right)) ! _ ! ( _, ( values::QQ_RULE_STATES rule_states1, rule_states1left, _)) ! rest671)) => { my result =
values::QQ_RULE_STATES (fn _ = { my (rule_states as rule_states1) = rule_states1 ();
my (lexstate as lexstate1) = lexstate1 ();
(
quickstring_set::add (rule_states, quickstring__premicrothread::from_string lexstate));
} );
( lr_table::NONTERM 6, ( result, rule_states1left, lexstate1right), rest671);
}
; ( 21, ( ( _, ( values::QQ_CAT_EXPRESSION cat_expression1, _, cat_expression1right)) ! _ ! ( _, ( values::QQ_OR_EXPRESSION or_expression1, or_expression1left, _)) ! rest671)) => { my
result = values::QQ_OR_EXPRESSION (fn _ = { my (or_expression as or_expression1) = or_expression1 ();
my (cat_expression as cat_expression1) = cat_expression1 ();
(
re::make_or (or_expression, cat_expression));
} );
( lr_table::NONTERM 7, ( result, or_expression1left, cat_expression1right), rest671);
}
; ( 22, ( ( _, ( values::QQ_CAT_EXPRESSION cat_expression1, cat_expression1left, cat_expression1right)) ! rest671)) => { my result = values::QQ_OR_EXPRESSION (fn _ = { my (cat_expression
as cat_expression1) = cat_expression1 ();
(cat_expression);
} );
( lr_table::NONTERM 7, ( result, cat_expression1left, cat_expression1right), rest671);
}
; ( 23, ( ( _, ( values::QQ_EXPRESSION expression1, _, expression1right)) ! ( _, ( values::QQ_CAT_EXPRESSION cat_expression1, cat_expression1left, _)) ! rest671)) => { my result =
values::QQ_CAT_EXPRESSION (fn _ = { my (cat_expression as cat_expression1) = cat_expression1 ();
my (expression as expression1) = expression1 ();
(re::make_meld (cat_expression, expression))
;
} );
( lr_table::NONTERM 8, ( result, cat_expression1left, expression1right), rest671);
}
; ( 24, ( ( _, ( values::QQ_EXPRESSION expression1, expression1left, expression1right)) ! rest671)) => { my result = values::QQ_CAT_EXPRESSION (fn _ = { my (expression as expression1) =
expression1 ();
(expression);
} );
( lr_table::NONTERM 8, ( result, expression1left, expression1right), rest671);
}
; ( 25, ( ( _, ( _, _, qmark1right)) ! ( _, ( values::QQ_EXPRESSION expression1, expression1left, _)) ! rest671)) => { my result = values::QQ_EXPRESSION (fn _ = { my (expression as
expression1) = expression1 ();
(re::make_option expression);
} );
( lr_table::NONTERM 9, ( result, expression1left, qmark1right), rest671);
}
; ( 26, ( ( _, ( _, _, star1right)) ! ( _, ( values::QQ_EXPRESSION expression1, expression1left, _)) ! rest671)) => { my result = values::QQ_EXPRESSION (fn _ = { my (expression as
expression1) = expression1 ();
(re::make_closure expression);
} );
( lr_table::NONTERM 9, ( result, expression1left, star1right), rest671);
}
; ( 27, ( ( _, ( _, _, plus1right)) ! ( _, ( values::QQ_EXPRESSION expression1, expression1left, _)) ! rest671)) => { my result = values::QQ_EXPRESSION (fn _ = { my (expression as
expression1) = expression1 ();
(re::make_at_least (expression, 1));
} );
( lr_table::NONTERM 9, ( result, expression1left, plus1right), rest671);
}
; ( 28, ( ( _, ( _, _, rcb1right)) ! ( _, ( values::REPS reps1, _, _)) ! ( _, ( values::QQ_EXPRESSION expression1, expression1left, _)) ! rest671)) => { my result =
values::QQ_EXPRESSION (fn _ = { my (expression as expression1) = expression1 ();
my (reps as reps1) = reps1 ();
(re::make_repetition (expression, reps, reps));
} );
( lr_table::NONTERM 9, (
result, expression1left, rcb1right), rest671);
}
; ( 29, ( ( _, ( _, _, rcb1right)) ! ( _, ( values::REPS reps2, _, _)) ! _ ! ( _, ( values::REPS reps1, _, _)) ! ( _, ( values::QQ_EXPRESSION expression1, expression1left, _)) !
rest671)) => { my result = values::QQ_EXPRESSION (fn _ = { my (expression as expression1) = expression1 ();
my reps1 = reps1 ();
my reps2 = reps2 ();
(
re::make_repetition (expression, reps1, reps2));
} );
( lr_table::NONTERM 9, ( result, expression1left, rcb1right), rest671);
}
; ( 30, ( ( _, ( values::QQ_IN_EXPRESSION in_expression1, in_expression1left, in_expression1right)) ! rest671)) => { my result = values::QQ_EXPRESSION (fn _ = { my (in_expression as
in_expression1) = in_expression1 ();
(in_expression);
} );
( lr_table::NONTERM 9, ( result, in_expression1left, in_expression1right), rest671);
}
; ( 31, ( ( _, ( values::CHAR char1, char1left, char1right)) ! rest671)) => { my result = values::QQ_IN_EXPRESSION (fn _ = { my (char as char1) = char1 ();
(
re::make_symbol_set (sis::singleton (str_to_sym char)));
} );
( lr_table::NONTERM 10, ( result, char1left, char1right), rest671);
}
; ( 32, ( ( _, ( values::UNICHAR unichar1, unichar1left, unichar1right)) ! rest671)) => { my result = values::QQ_IN_EXPRESSION (fn _ = { my (unichar as unichar1) = unichar1 ();
(
re::make_symbol_set (sis::singleton unichar));
} );
( lr_table::NONTERM 10, ( result, unichar1left, unichar1right), rest671);
}
; ( 33, ( ( _, ( _, dot1left, dot1right)) ! rest671)) => { my result = values::QQ_IN_EXPRESSION (fn _ = (re::make_symbol_set wildcard));
( lr_table::NONTERM 10, ( result, dot1left,
dot1right), rest671);
}
; ( 34, ( ( _, ( _, _, rcb1right)) ! ( _, ( values::ID id1, id1left, _)) ! rest671)) => { my result = values::QQ_IN_EXPRESSION (fn _ = { my (id as id1) = id1 ();
(
case (quickstring_map::get (*sym_table, quickstring__premicrothread::from_string id))
THE re => re;
NULL => raise exception FAIL ("'" + id + "' not defined");
esac
);
} );
( lr_table::NONTERM 10, ( result, id1left, rcb1right), rest671);
}
; ( 35, ( ( _, ( _, _, rp1right)) ! ( _, ( values::QQ_OR_EXPRESSION or_expression1, _, _)) ! ( _, ( _, lp1left, _)) ! rest671)) => { my result = values::QQ_IN_EXPRESSION (fn _ = {
my (or_expression as or_expression1) = or_expression1 ();
(or_expression);
} );
( lr_table::NONTERM 10, ( result, lp1left, rp1right), rest671);
}
; ( 36, ( ( _, ( values::QQ_CHAR_ILK char_ilk1, _, char_ilk1right)) ! _ ! ( _, ( _, lb1left, _)) ! rest671)) => { my result = values::QQ_IN_EXPRESSION (fn _ = { my (char_ilk as
char_ilk1) = char_ilk1 ();
(re::make_symbol_set (sis::complement char_ilk));
} );
( lr_table::NONTERM 10, ( result, lb1left, char_ilk1right), rest671);
}
; ( 37, ( ( _, ( values::QQ_CHAR_ILK char_ilk1, _, char_ilk1right)) ! ( _, ( _, lb1left, _)) ! rest671)) => { my result = values::QQ_IN_EXPRESSION (fn _ = { my (char_ilk as char_ilk1)
= char_ilk1 ();
(re::make_symbol_set char_ilk);
} );
( lr_table::NONTERM 10, ( result, lb1left, char_ilk1right), rest671);
}
; ( 38, ( ( _, ( _, _, rb1right)) ! ( _, ( values::QQ_CHAR_ILK' char_ilk'1, char_ilk'1left, _)) ! rest671)) => { my result = values::QQ_CHAR_ILK (fn _ = { my (char_ilk' as char_ilk'1)
= char_ilk'1 ();
(char_ilk');
} );
( lr_table::NONTERM 11, ( result, char_ilk'1left, rb1right), rest671);
}
; ( 39, ( ( _, ( _, _, rb1right)) ! ( _, ( values::QQ_CHAR_ILK' char_ilk'1, _, _)) ! ( _, ( _, dash1left, _)) ! rest671)) => { my result = values::QQ_CHAR_ILK (fn _ = { my (
char_ilk' as char_ilk'1) = char_ilk'1 ();
(sis::add (char_ilk', char_to_sym '-'));
} );
( lr_table::NONTERM 11, ( result, dash1left, rb1right), rest671);
}
; ( 40, ( ( _, ( _, _, rbd1right)) ! ( _, ( values::QQ_CHAR_ILK' char_ilk'1, char_ilk'1left, _)) ! rest671)) => { my result = values::QQ_CHAR_ILK (fn _ = { my (char_ilk' as char_ilk'1)
= char_ilk'1 ();
(sis::add (char_ilk', char_to_sym '-'));
} );
( lr_table::NONTERM 11, ( result, char_ilk'1left, rbd1right), rest671);
}
; ( 41, ( ( _, ( values::QQ_NON_CARAT non_carat1, non_carat1left, non_carat1right)) ! rest671)) => { my result = values::QQ_CHAR_ILK' (fn _ = { my (non_carat as non_carat1) = non_carat1 ()
;
(sis::singleton non_carat);
} );
( lr_table::NONTERM 12, ( result, non_carat1left, non_carat1right), rest671);
}
; ( 42, ( ( _, ( values::QQ_A_CHAR a_char1, _, a_char1right)) ! _ ! ( _, ( values::QQ_NON_CARAT non_carat1, non_carat1left, _)) ! rest671)) => { my result = values::QQ_CHAR_ILK' (fn _ =
{ my (non_carat as non_carat1) = non_carat1 ();
my (a_char as a_char1) = a_char1 ();
(sis::interval (non_carat, a_char));
} );
( lr_table::NONTERM 12, ( result, non_carat1left, a_char1right
), rest671);
}
; ( 43, ( ( _, ( values::QQ_CHAR_RANGE char_range1, _, char_range1right)) ! ( _, ( values::QQ_CHAR_ILK' char_ilk'1, char_ilk'1left, _)) ! rest671)) => { my result = values::QQ_CHAR_ILK'
(fn _ = { my (char_ilk' as char_ilk'1) = char_ilk'1 ();
my (char_range as char_range1) = char_range1 ();
(sis::union (char_range, char_ilk'));
} );
( lr_table::NONTERM 12, ( result,
char_ilk'1left, char_range1right), rest671);
}
; ( 44, ( ( _, ( values::QQ_A_CHAR a_char2, _, a_char2right)) ! _ ! ( _, ( values::QQ_A_CHAR a_char1, a_char1left, _)) ! rest671)) => { my result = values::QQ_CHAR_RANGE (fn _ = { my
a_char1 = a_char1 ();
my a_char2 = a_char2 ();
(sis::interval (a_char1, a_char2));
} );
( lr_table::NONTERM 13, ( result, a_char1left, a_char2right), rest671);
}
; ( 45, ( ( _, ( values::QQ_A_CHAR a_char1, a_char1left, a_char1right)) ! rest671)) => { my result = values::QQ_CHAR_RANGE (fn _ = { my (a_char as a_char1) = a_char1 ();
(
sis::singleton a_char);
} );
( lr_table::NONTERM 13, ( result, a_char1left, a_char1right), rest671);
}
; ( 46, ( ( _, ( _, carat1left, carat1right)) ! rest671)) => { my result = values::QQ_A_CHAR (fn _ = (char_to_sym '^'));
( lr_table::NONTERM 14, ( result, carat1left, carat1right),
rest671);
}
; ( 47, ( ( _, ( values::QQ_NON_CARAT non_carat1, non_carat1left, non_carat1right)) ! rest671)) => { my result = values::QQ_A_CHAR (fn _ = { my (non_carat as non_carat1) = non_carat1 ();
(non_carat);
} );
( lr_table::NONTERM 14, ( result, non_carat1left, non_carat1right), rest671);
}
; ( 48, ( ( _, ( values::CHAR char1, char1left, char1right)) ! rest671)) => { my result = values::QQ_NON_CARAT (fn _ = { my (char as char1) = char1 ();
(str_to_sym char);
} );
(
lr_table::NONTERM 15, ( result, char1left, char1right), rest671);
}
; ( 49, ( ( _, ( values::UNICHAR unichar1, unichar1left, unichar1right)) ! rest671)) => { my result = values::QQ_NON_CARAT (fn _ = { my (unichar as unichar1) = unichar1 ();
(unichar);
}
);
( lr_table::NONTERM 15, ( result, unichar1left, unichar1right), rest671);
}
; _ => raise exception (MLY_ACTION i392);
esac;
end;
void = values::TM_VOID;
extract = fn a = (fn values::QQ_START x => x;
_ => { exception PARSE_INTERNAL;
raise exception PARSE_INTERNAL; }; end ) a ();
};
};
package tokens : (weak) Ml_Lex_Tokens {
Semantic_Value = parser_data::Semantic_Value;
Token (X,Y) = token::Token(X,Y);
fun eofx (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 0, (parser_data::values::TM_VOID, p1, p2));
fun decls (i, p1, p2) = token::TOKEN (parser_data::lr_table::TERM 1, (parser_data::values::DECLS (fn () = i), p1, p2));
fun lt (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 2, (parser_data::values::TM_VOID, p1, p2));
fun gt (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 3, (parser_data::values::TM_VOID, p1, p2));
fun lp (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 4, (parser_data::values::TM_VOID, p1, p2));
fun rp (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 5, (parser_data::values::TM_VOID, p1, p2));
fun lb (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 6, (parser_data::values::TM_VOID, p1, p2));
fun rb (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 7, (parser_data::values::TM_VOID, p1, p2));
fun rbd (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 8, (parser_data::values::TM_VOID, p1, p2));
fun lcb (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 9, (parser_data::values::TM_VOID, p1, p2));
fun rcb (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 10, (parser_data::values::TM_VOID, p1, p2));
fun qmark (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 11, (parser_data::values::TM_VOID, p1, p2));
fun star (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 12, (parser_data::values::TM_VOID, p1, p2));
fun plus (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 13, (parser_data::values::TM_VOID, p1, p2));
fun bar (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 14, (parser_data::values::TM_VOID, p1, p2));
fun carat (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 15, (parser_data::values::TM_VOID, p1, p2));
fun dollar (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 16, (parser_data::values::TM_VOID, p1, p2));
fun slash (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 17, (parser_data::values::TM_VOID, p1, p2));
fun dash (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 18, (parser_data::values::TM_VOID, p1, p2));
fun char (i, p1, p2) = token::TOKEN (parser_data::lr_table::TERM 19, (parser_data::values::CHAR (fn () = i), p1, p2));
fun unichar (i, p1, p2) = token::TOKEN (parser_data::lr_table::TERM 20, (parser_data::values::UNICHAR (fn () = i), p1, p2));
fun dot (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 21, (parser_data::values::TM_VOID, p1, p2));
fun eq (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 22, (parser_data::values::TM_VOID, p1, p2));
fun reps (i, p1, p2) = token::TOKEN (parser_data::lr_table::TERM 23, (parser_data::values::REPS (fn () = i), p1, p2));
fun id (i, p1, p2) = token::TOKEN (parser_data::lr_table::TERM 24, (parser_data::values::ID (fn () = i), p1, p2));
fun arrow (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 25, (parser_data::values::TM_VOID, p1, p2));
fun act (i, p1, p2) = token::TOKEN (parser_data::lr_table::TERM 26, (parser_data::values::ACT (fn () = i), p1, p2));
fun semi (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 27, (parser_data::values::TM_VOID, p1, p2));
fun lexmark (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 28, (parser_data::values::TM_VOID, p1, p2));
fun comma (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 29, (parser_data::values::TM_VOID, p1, p2));
fun states (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 30, (parser_data::values::TM_VOID, p1, p2));
fun lexstate (i, p1, p2) = token::TOKEN (parser_data::lr_table::TERM 31, (parser_data::values::LEXSTATE (fn () = i), p1, p2));
fun count (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 32, (parser_data::values::TM_VOID, p1, p2));
fun rejecttok (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 33, (parser_data::values::TM_VOID, p1, p2));
fun full (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 34, (parser_data::values::TM_VOID, p1, p2));
fun unicode (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 35, (parser_data::values::TM_VOID, p1, p2));
fun structx (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 36, (parser_data::values::TM_VOID, p1, p2));
fun header (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 37, (parser_data::values::TM_VOID, p1, p2));
fun arg (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 38, (parser_data::values::TM_VOID, p1, p2));
fun posarg (p1, p2) = token::TOKEN (parser_data::lr_table::TERM 39, (parser_data::values::TM_VOID, p1, p2));
};
};