-module(cub_parser). -export([parse/1, parse_and_scan/1, format_error/1]). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 83). uncons_p({pair,L,R},C) -> {pair,L,uncons_p(R,C)}; uncons_p(A,B) -> {pair,A,B}. uncons({app,L,R}) -> [R|uncons(L)]; uncons(X) -> [X]. -file("/usr/lib/erlang/lib/parsetools-2.1.8/include/yeccpre.hrl", 0). %% %% %CopyrightBegin% %% %% Copyright Ericsson AB 1996-2018. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. %% You may obtain a copy of the License at %% %% http://www.apache.org/licenses/LICENSE-2.0 %% %% Unless required by applicable law or agreed to in writing, software %% distributed under the License is distributed on an "AS IS" BASIS, %% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. %% See the License for the specific language governing permissions and %% limitations under the License. %% %% %CopyrightEnd% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % The parser generator will insert appropriate declarations before this line.% -type yecc_ret() :: {'error', _} | {'ok', _}. -spec parse(Tokens :: list()) -> yecc_ret(). parse(Tokens) -> yeccpars0(Tokens, {no_func, no_line}, 0, [], []). -spec parse_and_scan({function() | {atom(), atom()}, [_]} | {atom(), atom(), [_]}) -> yecc_ret(). parse_and_scan({F, A}) -> yeccpars0([], {{F, A}, no_line}, 0, [], []); parse_and_scan({M, F, A}) -> Arity = length(A), yeccpars0([], {{fun M:F/Arity, A}, no_line}, 0, [], []). -spec format_error(any()) -> [char() | list()]. format_error(Message) -> case io_lib:deep_char_list(Message) of true -> Message; _ -> io_lib:write(Message) end. %% To be used in grammar files to throw an error message to the parser %% toplevel. Doesn't have to be exported! -compile({nowarn_unused_function, return_error/2}). -spec return_error(integer(), any()) -> no_return(). return_error(Line, Message) -> throw({error, {Line, ?MODULE, Message}}). -define(CODE_VERSION, "1.4"). yeccpars0(Tokens, Tzr, State, States, Vstack) -> try yeccpars1(Tokens, Tzr, State, States, Vstack) catch error: Error: Stacktrace -> try yecc_error_type(Error, Stacktrace) of Desc -> erlang:raise(error, {yecc_bug, ?CODE_VERSION, Desc}, Stacktrace) catch _:_ -> erlang:raise(error, Error, Stacktrace) end; %% Probably thrown from return_error/2: throw: {error, {_Line, ?MODULE, _M}} = Error -> Error end. yecc_error_type(function_clause, [{?MODULE,F,ArityOrArgs,_} | _]) -> case atom_to_list(F) of "yeccgoto_" ++ SymbolL -> {ok,[{atom,_,Symbol}],_} = erl_scan:string(SymbolL), State = case ArityOrArgs of [S,_,_,_,_,_,_] -> S; _ -> state_is_unknown end, {Symbol, State, missing_in_goto_table} end. yeccpars1([Token | Tokens], Tzr, State, States, Vstack) -> yeccpars2(State, element(1, Token), States, Vstack, Token, Tokens, Tzr); yeccpars1([], {{F, A},_Line}, State, States, Vstack) -> case apply(F, A) of {ok, Tokens, Endline} -> yeccpars1(Tokens, {{F, A}, Endline}, State, States, Vstack); {eof, Endline} -> yeccpars1([], {no_func, Endline}, State, States, Vstack); {error, Descriptor, _Endline} -> {error, Descriptor} end; yeccpars1([], {no_func, no_line}, State, States, Vstack) -> Line = 999999, yeccpars2(State, '$end', States, Vstack, yecc_end(Line), [], {no_func, Line}); yeccpars1([], {no_func, Endline}, State, States, Vstack) -> yeccpars2(State, '$end', States, Vstack, yecc_end(Endline), [], {no_func, Endline}). %% yeccpars1/7 is called from generated code. %% %% When using the {includefile, Includefile} option, make sure that %% yeccpars1/7 can be found by parsing the file without following %% include directives. yecc will otherwise assume that an old %% yeccpre.hrl is included (one which defines yeccpars1/5). yeccpars1(State1, State, States, Vstack, Token0, [Token | Tokens], Tzr) -> yeccpars2(State, element(1, Token), [State1 | States], [Token0 | Vstack], Token, Tokens, Tzr); yeccpars1(State1, State, States, Vstack, Token0, [], {{_F,_A}, _Line}=Tzr) -> yeccpars1([], Tzr, State, [State1 | States], [Token0 | Vstack]); yeccpars1(State1, State, States, Vstack, Token0, [], {no_func, no_line}) -> Line = yecctoken_end_location(Token0), yeccpars2(State, '$end', [State1 | States], [Token0 | Vstack], yecc_end(Line), [], {no_func, Line}); yeccpars1(State1, State, States, Vstack, Token0, [], {no_func, Line}) -> yeccpars2(State, '$end', [State1 | States], [Token0 | Vstack], yecc_end(Line), [], {no_func, Line}). %% For internal use only. yecc_end({Line,_Column}) -> {'$end', Line}; yecc_end(Line) -> {'$end', Line}. yecctoken_end_location(Token) -> try erl_anno:end_location(element(2, Token)) of undefined -> yecctoken_location(Token); Loc -> Loc catch _:_ -> yecctoken_location(Token) end. -compile({nowarn_unused_function, yeccerror/1}). yeccerror(Token) -> Text = yecctoken_to_string(Token), Location = yecctoken_location(Token), {error, {Location, ?MODULE, ["syntax error before: ", Text]}}. -compile({nowarn_unused_function, yecctoken_to_string/1}). yecctoken_to_string(Token) -> try erl_scan:text(Token) of undefined -> yecctoken2string(Token); Txt -> Txt catch _:_ -> yecctoken2string(Token) end. yecctoken_location(Token) -> try erl_scan:location(Token) catch _:_ -> element(2, Token) end. -compile({nowarn_unused_function, yecctoken2string/1}). yecctoken2string({atom, _, A}) -> io_lib:write_atom(A); yecctoken2string({integer,_,N}) -> io_lib:write(N); yecctoken2string({float,_,F}) -> io_lib:write(F); yecctoken2string({char,_,C}) -> io_lib:write_char(C); yecctoken2string({var,_,V}) -> io_lib:format("~s", [V]); yecctoken2string({string,_,S}) -> io_lib:write_string(S); yecctoken2string({reserved_symbol, _, A}) -> io_lib:write(A); yecctoken2string({_Cat, _, Val}) -> io_lib:format("~tp", [Val]); yecctoken2string({dot, _}) -> "'.'"; yecctoken2string({'$end', _}) -> []; yecctoken2string({Other, _}) when is_atom(Other) -> io_lib:write_atom(Other); yecctoken2string(Other) -> io_lib:format("~tp", [Other]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -file("/home/maxim/depot/groupoid/hts/src/cub_parser.erl", 183). -dialyzer({nowarn_function, yeccpars2/7}). yeccpars2(0=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_0(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(1=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_1(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(2=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_2(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(3=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_3(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(4=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_4(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(5=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_5(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(6=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_6(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(7=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_7(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(8=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_8(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(9=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_9(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(10=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_10(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(11=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_11(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(12=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_12(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(13=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_13(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(14=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_14(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(15=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_15(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(16=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_16(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(17=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_17(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(18=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(19=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_19(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(20=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_20(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(21=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_21(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(22=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_22(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(23=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(24=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_24(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(25=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(26=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(27=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(28=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_28(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(29=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_29(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(30=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_30(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(31=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(32=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_32(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(33=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_33(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(34=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_34(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(35=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(36=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_36(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(37=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_37(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(38=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_38(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(39=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_39(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(40=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(41=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_41(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(42=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_42(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(43=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_43(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(44=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_44(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(45=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_45(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(46=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_46(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(47=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_47(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(48=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_48(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(49=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(50=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_50(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(51=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_51(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(52=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_52(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(53=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_53(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(54=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_54(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(55=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_55(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(56=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_56(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(57=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_38(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(58=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_58(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(59=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_59(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(60=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_38(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(61=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_61(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(62=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_38(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(63=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_63(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(64=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_64(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(65=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_65(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(66=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_66(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(67=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_67(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(68=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_68(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(69=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_69(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(70=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_70(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(71=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_71(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(72=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_72(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(73=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_73(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(74=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_74(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(75=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(76=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_76(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(77=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_77(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(78=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(79=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_79(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(80=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_80(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(81=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(82=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_82(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(83=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(84=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_84(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(85=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_85(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(86=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_32(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(87=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_87(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(88=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_88(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(89=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_89(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(90=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_90(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(91=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_88(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(92=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_92(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(93=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_93(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(94=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_94(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(95=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(96=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_96(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(97=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_97(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(98=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_98(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(99=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(100=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_100(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(101=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_101(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(102=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_102(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(103=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(104=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(105=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_105(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(106=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_106(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(107=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(108=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_108(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(109=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(110=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_110(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(111=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_111(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(112=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_112(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(113=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_113(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(114=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_114(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(115=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_115(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(116=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_116(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(117=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_117(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(118=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_118(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(119=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_119(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(120=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_120(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(121=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_121(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(122=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_122(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(123=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_123(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(124=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_124(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(125=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_125(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(126=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_121(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(127=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_127(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(128=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_128(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(129=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_129(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(130=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_130(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(Other, _, _, _, _, _, _) -> erlang:error({yecc_bug,"1.4",{missing_state_in_action_table, Other}}). -dialyzer({nowarn_function, yeccpars2_0/7}). yeccpars2_0(S, module, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 2, Ss, Stack, T, Ts, Tzr); yeccpars2_0(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_1/7}). yeccpars2_1(_S, '$end', _Ss, Stack, _T, _Ts, _Tzr) -> {ok, hd(Stack)}; yeccpars2_1(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_2/7}). yeccpars2_2(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 3, Ss, Stack, T, Ts, Tzr); yeccpars2_2(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_3/7}). yeccpars2_3(S, where, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 4, Ss, Stack, T, Ts, Tzr); yeccpars2_3(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_4(S, import, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 6, Ss, Stack, T, Ts, Tzr); yeccpars2_4(S, skip, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 7, Ss, Stack, T, Ts, Tzr); yeccpars2_4(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_4_(Stack), yeccpars2_5(5, Cat, [4 | Ss], NewStack, T, Ts, Tzr). yeccpars2_5(S, data, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr); yeccpars2_5(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr); yeccpars2_5(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_5_(Stack), yeccpars2_12(_S, Cat, [5 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_6/7}). yeccpars2_6(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 9, Ss, Stack, T, Ts, Tzr); yeccpars2_6(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_7(S, import, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 6, Ss, Stack, T, Ts, Tzr); yeccpars2_7(S, skip, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 7, Ss, Stack, T, Ts, Tzr); yeccpars2_7(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_7_(Stack), yeccpars2_8(_S, Cat, [7 | Ss], NewStack, T, Ts, Tzr). yeccpars2_8(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_8_(Stack), yeccgoto_imp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_9(S, import, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 6, Ss, Stack, T, Ts, Tzr); yeccpars2_9(S, skip, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 7, Ss, Stack, T, Ts, Tzr); yeccpars2_9(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_9_(Stack), yeccpars2_10(_S, Cat, [9 | Ss], NewStack, T, Ts, Tzr). yeccpars2_10(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_10_(Stack), yeccgoto_imp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_11(S, data, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr); yeccpars2_11(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr); yeccpars2_11(S, skip, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 129, Ss, Stack, T, Ts, Tzr); yeccpars2_11(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_11_(Stack), yeccpars2_128(_S, Cat, [11 | Ss], NewStack, T, Ts, Tzr). yeccpars2_12(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_|Nss] = Ss, NewStack = yeccpars2_12_(Stack), yeccgoto_mod(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_dec(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_14/7}). yeccpars2_14(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 113, Ss, Stack, T, Ts, Tzr); yeccpars2_14(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_15(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_15(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_15_(Stack), yeccpars2_16(16, Cat, [15 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_16/7}). yeccpars2_16(S, ':', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 107, Ss, Stack, T, Ts, Tzr); yeccpars2_16(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_17(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_tele(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_18/7}). yeccpars2_18(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 23, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, '<', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 24, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, comp, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, fill, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, glue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, lam, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, split, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 30, Ss, Stack, T, Ts, Tzr); yeccpars2_18(S, unglue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 31, Ss, Stack, T, Ts, Tzr); yeccpars2_18(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_exp(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_20(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_20(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_20(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_20(S, ':', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 99, Ss, Stack, T, Ts, Tzr); yeccpars2_20(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_20(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_20(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_21/7}). yeccpars2_21(S, '*', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 103, Ss, Stack, T, Ts, Tzr); yeccpars2_21(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 104, Ss, Stack, T, Ts, Tzr); yeccpars2_21(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_exp(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). %% yeccpars2_23: see yeccpars2_18 yeccpars2_24(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 70, Ss, Stack, T, Ts, Tzr); yeccpars2_24(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_24_(Stack), yeccpars2_94(94, Cat, [24 | Ss], NewStack, T, Ts, Tzr). %% yeccpars2_25: see yeccpars2_18 %% yeccpars2_26: see yeccpars2_18 %% yeccpars2_27: see yeccpars2_18 yeccpars2_28(S, '{', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 83, Ss, Stack, T, Ts, Tzr); yeccpars2_28(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_exp(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_29/7}). yeccpars2_29(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_29(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_30/7}). yeccpars2_30(S, '|', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 67, Ss, Stack, T, Ts, Tzr); yeccpars2_30(_, _, _, _, T, _, _) -> yeccerror(T). %% yeccpars2_31: see yeccpars2_18 yeccpars2_32(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_32(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_32(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_32(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_32(S, '[', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 39, Ss, Stack, T, Ts, Tzr); yeccpars2_32(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_32(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_33(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_33_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_34(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_34(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_34(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_34(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_34(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_34_(Stack), yeccgoto_app(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_35: see yeccpars2_18 yeccpars2_36(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_36_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_37(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_37_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_38/7}). yeccpars2_38(S, '-', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 57, Ss, Stack, T, Ts, Tzr); yeccpars2_38(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 58, Ss, Stack, T, Ts, Tzr); yeccpars2_38(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_39(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 44, Ss, Stack, T, Ts, Tzr); yeccpars2_39(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_39_(Stack), yeccpars2_42(42, Cat, [39 | Ss], NewStack, T, Ts, Tzr). %% yeccpars2_40: see yeccpars2_18 yeccpars2_41(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_41(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_41(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_41(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_41(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_41_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_42/7}). yeccpars2_42(S, ']', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 53, Ss, Stack, T, Ts, Tzr); yeccpars2_42(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_43(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 51, Ss, Stack, T, Ts, Tzr); yeccpars2_43(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_sides(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_44/7}). yeccpars2_44(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 45, Ss, Stack, T, Ts, Tzr); yeccpars2_44(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_45/7}). yeccpars2_45(S, '=', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 46, Ss, Stack, T, Ts, Tzr); yeccpars2_45(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_46/7}). yeccpars2_46(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 47, Ss, Stack, T, Ts, Tzr); yeccpars2_46(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_47/7}). yeccpars2_47(S, ')', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 48, Ss, Stack, T, Ts, Tzr); yeccpars2_47(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_48/7}). yeccpars2_48(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 49, Ss, Stack, T, Ts, Tzr); yeccpars2_48(_, _, _, _, T, _, _) -> yeccerror(T). %% yeccpars2_49: see yeccpars2_18 yeccpars2_50(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 23, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, '<', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 24, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, comp, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, fill, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, glue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, lam, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, split, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 30, Ss, Stack, T, Ts, Tzr); yeccpars2_50(S, unglue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 31, Ss, Stack, T, Ts, Tzr); yeccpars2_50(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_50_(Stack), yeccgoto_side(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_51(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 44, Ss, Stack, T, Ts, Tzr); yeccpars2_51(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_51_(Stack), yeccpars2_52(_S, Cat, [51 | Ss], NewStack, T, Ts, Tzr). yeccpars2_52(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_52_(Stack), yeccgoto_sides(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_53(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_53_(Stack), yeccgoto_sys(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_54(S, forall, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 62, Ss, Stack, T, Ts, Tzr); yeccpars2_54(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_54_(Stack), yeccgoto_papp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_55(_S, '$end', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '$end', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '(', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '(', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, ')', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), ')', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, ',', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), ',', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '.1', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '.2', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, ':', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), ':', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '<', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '<', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '=', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '=', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '@', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '@', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '[', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '[', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, ']', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), ']', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), arrow, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, comp, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), comp, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, data, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), data, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, fill, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), fill, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, forall, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), forall, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, glue, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), glue, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, id, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), id, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, lam, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), lam, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, skip, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), skip, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, split, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), split, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, unglue, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), unglue, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, where, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), where, Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '|', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '|', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, '}', Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), '}', Ss, Stack, T, Ts, Tzr); yeccpars2_55(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_f1(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_56(S, meet, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 60, Ss, Stack, T, Ts, Tzr); yeccpars2_56(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). %% yeccpars2_57: see yeccpars2_38 yeccpars2_58(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_f2(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_59(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_59_(Stack), yeccgoto_f2(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_60: see yeccpars2_38 yeccpars2_61(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_61_(Stack), yeccgoto_f1(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_62: see yeccpars2_38 yeccpars2_63(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_f1(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_64(S, meet, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 60, Ss, Stack, T, Ts, Tzr); yeccpars2_64(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_64_(Stack), yeccgoto_formula(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_65(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_65(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_65(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_65(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_65(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_65_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_66(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_66_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_67(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 70, Ss, Stack, T, Ts, Tzr); yeccpars2_67(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_67_(Stack), yeccpars2_68(68, Cat, [67 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_68/7}). yeccpars2_68(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 74, Ss, Stack, T, Ts, Tzr); yeccpars2_68(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 75, Ss, Stack, T, Ts, Tzr); yeccpars2_68(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_69(S, '|', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 67, Ss, Stack, T, Ts, Tzr); yeccpars2_69(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_69_(Stack), yeccpars2_73(_S, Cat, [69 | Ss], NewStack, T, Ts, Tzr). yeccpars2_70(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 70, Ss, Stack, T, Ts, Tzr); yeccpars2_70(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_70_(Stack), yeccpars2_71(_S, Cat, [70 | Ss], NewStack, T, Ts, Tzr). yeccpars2_71(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_71_(Stack), yeccgoto_ids(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_72(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_brs(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_73(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_73_(Stack), yeccgoto_cobrs(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_74(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 70, Ss, Stack, T, Ts, Tzr); yeccpars2_74(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_74_(Stack), yeccpars2_77(77, Cat, [74 | Ss], NewStack, T, Ts, Tzr). %% yeccpars2_75: see yeccpars2_18 yeccpars2_76(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_76(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_76(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_76(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_76(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_76_(Stack), yeccgoto_br(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_77/7}). yeccpars2_77(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 78, Ss, Stack, T, Ts, Tzr); yeccpars2_77(_, _, _, _, T, _, _) -> yeccerror(T). %% yeccpars2_78: see yeccpars2_18 yeccpars2_79(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_79(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_79(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_79(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_79(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_|Nss] = Ss, NewStack = yeccpars2_79_(Stack), yeccgoto_br(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_80/7}). yeccpars2_80(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 81, Ss, Stack, T, Ts, Tzr); yeccpars2_80(_, _, _, _, T, _, _) -> yeccerror(T). %% yeccpars2_81: see yeccpars2_18 yeccpars2_82(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_82(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_82(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_82(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_82(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_82_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_83: see yeccpars2_18 yeccpars2_84(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_84(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_84(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_84(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_84(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_84(S, '}', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 85, Ss, Stack, T, Ts, Tzr); yeccpars2_84(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_85(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_85_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_86: see yeccpars2_32 yeccpars2_87(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_87_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_88(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_88(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_88(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_88(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_88(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_88(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_89(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_89(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_89(S, '[', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 39, Ss, Stack, T, Ts, Tzr); yeccpars2_89(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_89(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_89(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_89_(Stack), yeccgoto_app(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_90(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_90_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_91: see yeccpars2_88 yeccpars2_92(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_92(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_92(S, '[', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 39, Ss, Stack, T, Ts, Tzr); yeccpars2_92(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_92(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_92(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_92_(Stack), yeccgoto_app(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_93(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_93_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_94/7}). yeccpars2_94(S, '>', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 95, Ss, Stack, T, Ts, Tzr); yeccpars2_94(_, _, _, _, T, _, _) -> yeccerror(T). %% yeccpars2_95: see yeccpars2_18 yeccpars2_96(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_96(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_96(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_96(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_96(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_96_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_97(S, ')', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 98, Ss, Stack, T, Ts, Tzr); yeccpars2_97(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_97(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_97(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_97(S, ':', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 99, Ss, Stack, T, Ts, Tzr); yeccpars2_97(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_97(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_97(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_98(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_98_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_99: see yeccpars2_18 yeccpars2_100(S, ')', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 101, Ss, Stack, T, Ts, Tzr); yeccpars2_100(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_100(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_100(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_100(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_100(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_100(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_101(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_101(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_101_(Stack), yeccpars2_102(_S, Cat, [101 | Ss], NewStack, T, Ts, Tzr). yeccpars2_102(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_102_(Stack), yeccgoto_cotele(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_103: see yeccpars2_18 %% yeccpars2_104: see yeccpars2_18 yeccpars2_105(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_105(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_105(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_105(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_105(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_105_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_106(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_106(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_106(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_106(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_106(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_106_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_107: see yeccpars2_18 yeccpars2_108(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_108(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_108(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_108(S, '=', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 109, Ss, Stack, T, Ts, Tzr); yeccpars2_108(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_108(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_108(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). %% yeccpars2_109: see yeccpars2_18 yeccpars2_110(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 23, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, '<', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 24, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, comp, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, fill, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, glue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, lam, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, split, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 30, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, unglue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 31, Ss, Stack, T, Ts, Tzr); yeccpars2_110(S, where, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 111, Ss, Stack, T, Ts, Tzr); yeccpars2_110(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_110_(Stack), yeccgoto_def(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_111/7}). yeccpars2_111(S, data, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr); yeccpars2_111(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr); yeccpars2_111(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_112(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_112_(Stack), yeccgoto_def(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_113(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_113(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_113_(Stack), yeccpars2_114(114, Cat, [113 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_114/7}). yeccpars2_114(S, '=', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 115, Ss, Stack, T, Ts, Tzr); yeccpars2_114(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_115(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 118, Ss, Stack, T, Ts, Tzr); yeccpars2_115(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_115_(Stack), yeccpars2_116(_S, Cat, [115 | Ss], NewStack, T, Ts, Tzr). yeccpars2_116(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_|Nss] = Ss, NewStack = yeccpars2_116_(Stack), yeccgoto_def(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_117(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_sum(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_118(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_118(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_118_(Stack), yeccpars2_119(119, Cat, [118 | Ss], NewStack, T, Ts, Tzr). yeccpars2_119(S, '<', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 120, Ss, Stack, T, Ts, Tzr); yeccpars2_119(S, '|', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 121, Ss, Stack, T, Ts, Tzr); yeccpars2_119(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_119_(Stack), yeccgoto_rsum(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_120(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 70, Ss, Stack, T, Ts, Tzr); yeccpars2_120(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_120_(Stack), yeccpars2_123(123, Cat, [120 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_121/7}). yeccpars2_121(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 118, Ss, Stack, T, Ts, Tzr); yeccpars2_121(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_122(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_122_(Stack), yeccgoto_rsum(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_123/7}). yeccpars2_123(S, '>', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 124, Ss, Stack, T, Ts, Tzr); yeccpars2_123(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_124/7}). yeccpars2_124(S, '[', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 39, Ss, Stack, T, Ts, Tzr); yeccpars2_124(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_125(S, '|', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 126, Ss, Stack, T, Ts, Tzr); yeccpars2_125(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_125_(Stack), yeccgoto_rsum(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_126: see yeccpars2_121 yeccpars2_127(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_127_(Stack), yeccgoto_rsum(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_128(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_128_(Stack), yeccgoto_codec(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_129(S, data, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr); yeccpars2_129(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr); yeccpars2_129(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_129_(Stack), yeccpars2_130(_S, Cat, [129 | Ss], NewStack, T, Ts, Tzr). yeccpars2_130(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_130_(Stack), yeccgoto_codec(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_app/7}). yeccgoto_app(18=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(20=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(23=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(25=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(26=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(27=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(31=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(32=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(34=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(35=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(40=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(41=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(49=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(50=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(65=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(75=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(76=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(78=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(79=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(81=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(82=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(83=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(84=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(86=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(88=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(89=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(91=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(92=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(95=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(96=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(97=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(99=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(100=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(103=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(104=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(105=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(106=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(107=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(108=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(109=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(110=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_br/7}). yeccgoto_br(67, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_69(69, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_brs/7}). yeccgoto_brs(69=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_73(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_cobrs/7}). yeccgoto_cobrs(30=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_66(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cobrs(69=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_72(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_codec/7}). yeccgoto_codec(5=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_codec(11=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_codec(129=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_cotele/7}). yeccgoto_cotele(15=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_17(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(18, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(20, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(23, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(25, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(26, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(27, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(29, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_80(80, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(31, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(32, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(34, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(35, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(40, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(41, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(49, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(50, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(65, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(75, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(76, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(78, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(79, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(81, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(82, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(83, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(84, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(86, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(88, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(89, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(91, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(92, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(95, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(96, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(97, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(99, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(100, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(101=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_17(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(103, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(104, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(105, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(106, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(107, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(108, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(109, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(110, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(113=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_17(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(118=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_17(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_dec/7}). yeccgoto_dec(5=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_12(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_dec(11=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_128(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_dec(129=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_130(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_def/7}). yeccgoto_def(5, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_def(11, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_def(111=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_112(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_def(129, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_exp/7}). yeccgoto_exp(18, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_20(20, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(20, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(23, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_97(97, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(25, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_88(91, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(26, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_88(88, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(27, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_32(86, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(31, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_32(32, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(32, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(34, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(35, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_65(65, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(40, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_41(41, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(41, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(49, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_50(50, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(50, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(65, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(75, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_76(76, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(76, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(78, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_79(79, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(79, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(81, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_82(82, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(82, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(83, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_84(84, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(84, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(86, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(88, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_89(89, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(89, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(91, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_92(92, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(92, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(95, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_96(96, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(96, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(97, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(99, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_100(100, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(100, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(103, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_106(106, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(104, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_105(105, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(105, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(106, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(107, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_108(108, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(108, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(109, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_110(110, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(110, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_f1/7}). yeccgoto_f1(38, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_56(56, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f1(62, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_64(64, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_f2/7}). yeccgoto_f2(38=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_55(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f2(57=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_59(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f2(60=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_61(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f2(62=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_63(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_formula/7}). yeccgoto_formula(38, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_54(54, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_ids/7}). yeccgoto_ids(24, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_94(94, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(67, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_68(68, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(70=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_71(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(74, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_77(77, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(120, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_123(123, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_imp/7}). yeccgoto_imp(4, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_5(5, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_imp(7=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_8(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_imp(9=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_10(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_mod/7}). yeccgoto_mod(0, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_1(1, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_papp/7}). yeccgoto_papp(18=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(20=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(23=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(25=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(26=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(27=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(31=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(32=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(34=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(35=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(40=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(41=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(49=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(50=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(65=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(75=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(76=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(78=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(79=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(81=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(82=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(83=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(84=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(86=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(88=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(89=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(91=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(92=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(95=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(96=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(97=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(99=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(100=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(103=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(104=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(105=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(106=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(107=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(108=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(109=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(110=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_rsum/7}). yeccgoto_rsum(115=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_117(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_rsum(121=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_122(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_rsum(126=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_127(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_side/7}). yeccgoto_side(39, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_43(43, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_side(51, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_43(43, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_sides/7}). yeccgoto_sides(39, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_42(42, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_sides(51=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_52(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_sum/7}). yeccgoto_sum(115=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_116(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_sys/7}). yeccgoto_sys(32=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_33(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_sys(86=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_87(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_sys(89=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_90(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_sys(92=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_93(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_sys(124, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_125(125, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_tele/7}). yeccgoto_tele(15, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_16(16, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_tele(101=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_102(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_tele(113, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_114(114, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_tele(118, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_119(119, Cat, Ss, Stack, T, Ts, Tzr). -compile({inline,yeccpars2_4_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 1). yeccpars2_4_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_5_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 45). yeccpars2_5_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_7_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 1). yeccpars2_7_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_8_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 0). yeccpars2_8_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin __2 end | __Stack]. -compile({inline,yeccpars2_9_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 1). yeccpars2_9_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_10_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 2). yeccpars2_10_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin [ { import , __2 } | __3 ] end | __Stack]. -compile({inline,yeccpars2_11_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 45). yeccpars2_11_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_12_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 0). yeccpars2_12_(__Stack0) -> [__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { module , __2 , __4 , __5 } end | __Stack]. -compile({inline,yeccpars2_15_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 5). yeccpars2_15_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_24_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 3). yeccpars2_24_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_33_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 38). yeccpars2_33_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { unglue , __2 , __3 } end | __Stack]. -compile({inline,yeccpars2_34_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 43). yeccpars2_34_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { app , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_36_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 29). yeccpars2_36_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { fst , __1 } end | __Stack]. -compile({inline,yeccpars2_37_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 30). yeccpars2_37_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { snd , __1 } end | __Stack]. -compile({inline,yeccpars2_39_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 14). yeccpars2_39_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_41_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 33). yeccpars2_41_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { pi , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_50_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 17). yeccpars2_50_(__Stack0) -> [__7,__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { side , __2 , __4 , __7 } end | __Stack]. -compile({inline,yeccpars2_51_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 14). yeccpars2_51_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_52_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 16). yeccpars2_52_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin [ __1 | __3 ] end | __Stack]. -compile({inline,yeccpars2_53_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 13). yeccpars2_53_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { sys , __2 } end | __Stack]. -compile({inline,yeccpars2_54_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 44). yeccpars2_54_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { papp , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_59_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 23). yeccpars2_59_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { neg , __2 } end | __Stack]. -compile({inline,yeccpars2_61_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 21). yeccpars2_61_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { meet , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_64_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 18). yeccpars2_64_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { join , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_65_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 39). yeccpars2_65_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin uncons_p ( __1 , __3 ) end | __Stack]. -compile({inline,yeccpars2_66_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 25). yeccpars2_66_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { split , __2 } end | __Stack]. -compile({inline,yeccpars2_67_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 3). yeccpars2_67_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_69_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 9). yeccpars2_69_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_70_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 3). yeccpars2_70_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_71_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 4). yeccpars2_71_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin [ __1 | __2 ] end | __Stack]. -compile({inline,yeccpars2_73_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 11). yeccpars2_73_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin [ __2 | __3 ] end | __Stack]. -compile({inline,yeccpars2_74_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 3). yeccpars2_74_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_76_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 7). yeccpars2_76_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { br , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_79_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 8). yeccpars2_79_(__Stack0) -> [__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { br , __1 , __3 , __5 } end | __Stack]. -compile({inline,yeccpars2_82_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 31). yeccpars2_82_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { lam , __2 , __4 } end | __Stack]. -compile({inline,yeccpars2_85_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 27). yeccpars2_85_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { inst , __1 , '$h3' } end | __Stack]. -compile({inline,yeccpars2_87_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 37). yeccpars2_87_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { glue , __2 , __3 } end | __Stack]. -compile({inline,yeccpars2_89_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 43). yeccpars2_89_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { app , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_90_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 36). yeccpars2_90_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { fill , __2 , __3 , __4 } end | __Stack]. -compile({inline,yeccpars2_92_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 43). yeccpars2_92_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { app , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_93_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 35). yeccpars2_93_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { comp , __2 , __3 , __4 } end | __Stack]. -compile({inline,yeccpars2_96_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 28). yeccpars2_96_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { plam , uncons ( __2 ) , __4 } end | __Stack]. -compile({inline,yeccpars2_98_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 41). yeccpars2_98_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin __2 end | __Stack]. -compile({inline,yeccpars2_101_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 5). yeccpars2_101_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_102_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 12). yeccpars2_102_(__Stack0) -> [__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { tele , uncons ( __2 ) , __4 , __6 } end | __Stack]. -compile({inline,yeccpars2_105_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 32). yeccpars2_105_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { pi , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_106_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 34). yeccpars2_106_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { sigma , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_110_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 50). yeccpars2_110_(__Stack0) -> [__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { def , __1 , __2 , __4 , __6 } end | __Stack]. -compile({inline,yeccpars2_112_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 51). yeccpars2_112_(__Stack0) -> [__8,__7,__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { def , __1 , __2 , __4 , __6 , __8 } end | __Stack]. -compile({inline,yeccpars2_113_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 5). yeccpars2_113_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_115_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 52). yeccpars2_115_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_116_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 49). yeccpars2_116_(__Stack0) -> [__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { data , __2 , __3 , __5 } end | __Stack]. -compile({inline,yeccpars2_118_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 5). yeccpars2_118_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_119_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 54). yeccpars2_119_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { ctor , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_120_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 3). yeccpars2_120_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_122_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 55). yeccpars2_122_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin [ { ctor , __1 , __2 } | __4 ] end | __Stack]. -compile({inline,yeccpars2_125_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 56). yeccpars2_125_(__Stack0) -> [__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { htor , __1 , __2 , __4 , __6 } end | __Stack]. -compile({inline,yeccpars2_127_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 57). yeccpars2_127_(__Stack0) -> [__8,__7,__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin [ { htor , __1 , __2 , __4 , __6 } | __8 ] end | __Stack]. -compile({inline,yeccpars2_128_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 48). yeccpars2_128_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin [ __1 | __2 ] end | __Stack]. -compile({inline,yeccpars2_129_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 45). yeccpars2_129_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_130_/1}). -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 47). yeccpars2_130_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin [ __1 | __3 ] end | __Stack]. -file("/home/maxim/depot/groupoid/hts/src/cub_parser.yrl", 90).