-module(parser). -export([parse/1, parse_and_scan/1, format_error/1]). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 84). 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/homotopy/src/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_60(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_62(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(63=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_58(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_58(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_75(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_83(S, Cat, 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) -> %% yeccpars2_85(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(86=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(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_32(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_91(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_91(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(95=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_95(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_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(99=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_99(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_18(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(103=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_103(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(104=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_104(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_18(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_109(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(110=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(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_18(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_126(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_124(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(131=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_131(S, Cat, Ss, Stack, T, Ts, Tzr); yeccpars2(132=S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_132(S, Cat, Ss, Stack, T, Ts, Tzr); %% yeccpars2(133=S, Cat, Ss, Stack, T, Ts, Tzr) -> %% yeccpars2_133(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, 132, Ss, Stack, T, Ts, Tzr); yeccpars2_11(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_11_(Stack), yeccpars2_131(_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, 116, 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, 110, 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, 102, 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, 106, Ss, Stack, T, Ts, Tzr); yeccpars2_21(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 107, 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, 73, Ss, Stack, T, Ts, Tzr); yeccpars2_24(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_24_(Stack), yeccpars2_97(97, 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, 86, 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, 70, 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). yeccpars2_38(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 57, Ss, Stack, T, Ts, Tzr); yeccpars2_38(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_58(S, Cat, Ss, Stack, T, Ts, Tzr). 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, join, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 63, 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, 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, join, Ss, Stack, T, Ts, Tzr) -> yeccgoto_formula(hd(Ss), join, 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, 66, 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 -dialyzer({nowarn_function, yeccpars2_58/7}). yeccpars2_58(S, '-', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 58, Ss, Stack, T, Ts, Tzr); yeccpars2_58(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 59, Ss, Stack, T, Ts, Tzr); yeccpars2_58(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_59(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_f2(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_60(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_60_(Stack), yeccgoto_f2(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_61/7}). yeccpars2_61(S, ')', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 62, Ss, Stack, T, Ts, Tzr); yeccpars2_61(S, join, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 63, Ss, Stack, T, Ts, Tzr); yeccpars2_61(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_62(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_62_(Stack), yeccgoto_formula(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_63: see yeccpars2_58 yeccpars2_64(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_f1(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_65(S, meet, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 66, Ss, Stack, T, Ts, Tzr); yeccpars2_65(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_65_(Stack), yeccgoto_formula(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_66: see yeccpars2_58 yeccpars2_67(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_67_(Stack), yeccgoto_f1(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_68(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_68(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_68(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_68(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_68(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_68_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_69(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_69_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_70(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 73, Ss, Stack, T, Ts, Tzr); yeccpars2_70(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_70_(Stack), yeccpars2_71(71, Cat, [70 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_71/7}). yeccpars2_71(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 77, Ss, Stack, T, Ts, Tzr); yeccpars2_71(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 78, Ss, Stack, T, Ts, Tzr); yeccpars2_71(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_72(S, '|', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 70, Ss, Stack, T, Ts, Tzr); yeccpars2_72(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_72_(Stack), yeccpars2_76(_S, Cat, [72 | Ss], NewStack, T, Ts, Tzr). yeccpars2_73(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 73, Ss, Stack, T, Ts, Tzr); yeccpars2_73(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_73_(Stack), yeccpars2_74(_S, Cat, [73 | Ss], NewStack, T, Ts, Tzr). yeccpars2_74(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_74_(Stack), yeccgoto_ids(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_75(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_brs(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_76(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_76_(Stack), yeccgoto_cobrs(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_77(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 73, Ss, Stack, T, Ts, Tzr); yeccpars2_77(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_77_(Stack), yeccpars2_80(80, Cat, [77 | Ss], NewStack, T, Ts, Tzr). %% 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_br(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_83/7}). yeccpars2_83(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 84, Ss, Stack, T, Ts, Tzr); yeccpars2_83(_, _, _, _, T, _, _) -> yeccerror(T). %% yeccpars2_84: see yeccpars2_18 yeccpars2_85(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_85(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_85(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_85(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, 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_18 yeccpars2_87(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_87(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_87(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_87(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_87(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_87(S, '}', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 88, Ss, Stack, T, Ts, Tzr); yeccpars2_87(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_88(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_88_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_89: see yeccpars2_32 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(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_91(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_91(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_91(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_91(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_91(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). 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). %% yeccpars2_94: see yeccpars2_91 yeccpars2_95(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_95(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_95(S, '[', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 39, Ss, Stack, T, Ts, Tzr); yeccpars2_95(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_95(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_95(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_95_(Stack), yeccgoto_app(hd(Nss), Cat, Nss, NewStack, 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). -dialyzer({nowarn_function, yeccpars2_97/7}). yeccpars2_97(S, '>', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 98, Ss, Stack, T, Ts, Tzr); yeccpars2_97(_, _, _, _, T, _, _) -> yeccerror(T). %% yeccpars2_98: see yeccpars2_18 yeccpars2_99(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_99(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_99(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_99(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_99(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_|Nss] = Ss, NewStack = yeccpars2_99_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). 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, 102, 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, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_101_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_102: see yeccpars2_18 yeccpars2_103(S, ')', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 104, Ss, Stack, T, Ts, Tzr); yeccpars2_103(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_103(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_103(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_103(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_103(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, 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, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_104(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_104_(Stack), yeccpars2_105(_S, Cat, [104 | Ss], NewStack, T, Ts, Tzr). yeccpars2_105(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_105_(Stack), yeccgoto_cotele(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_106: see yeccpars2_18 %% yeccpars2_107: see yeccpars2_18 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, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_108(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_108(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_108_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_109(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_109(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_109(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_109(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_109(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_109_(Stack), yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_110: see yeccpars2_18 yeccpars2_111(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_111(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_111(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_111(S, '=', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 112, Ss, Stack, T, Ts, Tzr); yeccpars2_111(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_111(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_111(S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_18(S, Cat, Ss, Stack, T, Ts, Tzr). %% yeccpars2_112: see yeccpars2_18 yeccpars2_113(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 23, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, ',', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 35, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, '.1', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, '.2', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 37, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, '<', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 24, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, '@', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 38, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, arrow, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 40, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, comp, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, fill, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, glue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, lam, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, split, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 30, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, unglue, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 31, Ss, Stack, T, Ts, Tzr); yeccpars2_113(S, where, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 114, Ss, Stack, T, Ts, Tzr); yeccpars2_113(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_113_(Stack), yeccgoto_def(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_114/7}). yeccpars2_114(S, data, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr); yeccpars2_114(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr); yeccpars2_114(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_115(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_115_(Stack), yeccgoto_def(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_116(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_116(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_116_(Stack), yeccpars2_117(117, Cat, [116 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_117/7}). yeccpars2_117(S, '=', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 118, Ss, Stack, T, Ts, Tzr); yeccpars2_117(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_118(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 121, Ss, Stack, T, Ts, Tzr); yeccpars2_118(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_118_(Stack), yeccpars2_119(_S, Cat, [118 | Ss], NewStack, T, Ts, Tzr). yeccpars2_119(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_|Nss] = Ss, NewStack = yeccpars2_119_(Stack), yeccgoto_def(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_120(_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccgoto_sum(hd(Ss), Cat, Ss, Stack, T, Ts, Tzr). yeccpars2_121(S, '(', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr); yeccpars2_121(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_121_(Stack), yeccpars2_122(122, Cat, [121 | Ss], NewStack, T, Ts, Tzr). yeccpars2_122(S, '<', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 123, Ss, Stack, T, Ts, Tzr); yeccpars2_122(S, '|', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 124, Ss, Stack, T, Ts, Tzr); 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). yeccpars2_123(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 73, Ss, Stack, T, Ts, Tzr); yeccpars2_123(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_123_(Stack), yeccpars2_126(126, Cat, [123 | Ss], NewStack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccpars2_124/7}). yeccpars2_124(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 121, Ss, Stack, T, Ts, Tzr); yeccpars2_124(_, _, _, _, T, _, _) -> yeccerror(T). 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). -dialyzer({nowarn_function, yeccpars2_126/7}). yeccpars2_126(S, '>', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 127, Ss, Stack, T, Ts, Tzr); yeccpars2_126(_, _, _, _, T, _, _) -> yeccerror(T). -dialyzer({nowarn_function, yeccpars2_127/7}). yeccpars2_127(S, '[', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 39, Ss, Stack, T, Ts, Tzr); yeccpars2_127(_, _, _, _, T, _, _) -> yeccerror(T). yeccpars2_128(S, '|', Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 129, Ss, Stack, T, Ts, Tzr); yeccpars2_128(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_128_(Stack), yeccgoto_rsum(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). %% yeccpars2_129: see yeccpars2_124 yeccpars2_130(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_,_,_,_,_,_|Nss] = Ss, NewStack = yeccpars2_130_(Stack), yeccgoto_rsum(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_131(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_|Nss] = Ss, NewStack = yeccpars2_131_(Stack), yeccgoto_codec(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr). yeccpars2_132(S, data, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr); yeccpars2_132(S, id, Ss, Stack, T, Ts, Tzr) -> yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr); yeccpars2_132(_S, Cat, Ss, Stack, T, Ts, Tzr) -> NewStack = yeccpars2_132_(Stack), yeccpars2_133(_S, Cat, [132 | Ss], NewStack, T, Ts, Tzr). yeccpars2_133(_S, Cat, Ss, Stack, T, Ts, Tzr) -> [_,_|Nss] = Ss, NewStack = yeccpars2_133_(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(68=_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(84=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(85=_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(87=_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(94=_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(98=_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(102=_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(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); yeccgoto_app(111=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(112=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_app(113=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_22(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_br/7}). yeccgoto_br(70, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_72(72, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_brs/7}). yeccgoto_brs(72=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_76(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_cobrs/7}). yeccgoto_cobrs(30=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_69(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cobrs(72=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_75(_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(132=_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_83(83, 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(68, 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(84, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(85, 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(87, 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(94, 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(98, 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(102, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, 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=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_17(_S, 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(111, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(112, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(113, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_21(21, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(116=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_17(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_cotele(121=_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_131(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_dec(132=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_133(_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(114=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_115(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_def(132, 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_100(100, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(25, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_91(94, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(26, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_91(91, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(27, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_32(89, 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_68(68, 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(68, 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(84, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_85(85, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(85, 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_87(87, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(87, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, 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(94, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_95(95, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(95, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(98, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_99(99, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(99, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, 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(102, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_103(103, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(103, 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_109(109, 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_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(110, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_111(111, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(111, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(112, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_113(113, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_exp(113, 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(57, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_56(56, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f1(63, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_65(65, 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_55(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f2(58=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_60(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f2(63=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_64(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_f2(66=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_67(_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); yeccgoto_formula(57, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_61(61, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_ids/7}). yeccgoto_ids(24, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_97(97, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(70, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_71(71, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(73=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_74(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(77, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_80(80, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_ids(123, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_126(126, 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(68=_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(84=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(85=_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(87=_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(94=_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(98=_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(102=_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(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); yeccgoto_papp(111=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(112=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_papp(113=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr). -dialyzer({nowarn_function, yeccgoto_rsum/7}). yeccgoto_rsum(118=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_120(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_rsum(124=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_125(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_rsum(129=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_130(_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(118=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_119(_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(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(95=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_96(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_sys(127, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_128(128, 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(104=_S, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_105(_S, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_tele(116, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_117(117, Cat, Ss, Stack, T, Ts, Tzr); yeccgoto_tele(121, Cat, Ss, Stack, T, Ts, Tzr) -> yeccpars2_122(122, Cat, Ss, Stack, T, Ts, Tzr). -compile({inline,yeccpars2_4_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 1). yeccpars2_4_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_5_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 46). yeccpars2_5_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_7_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 1). yeccpars2_7_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_8_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 0). yeccpars2_8_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin __2 end | __Stack]. -compile({inline,yeccpars2_9_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 1). yeccpars2_9_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_10_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/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/homotopy/src/parser.yrl", 46). yeccpars2_11_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_12_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/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/homotopy/src/parser.yrl", 5). yeccpars2_15_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_24_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 3). yeccpars2_24_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_33_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 39). yeccpars2_33_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { unglue , __2 , __3 } end | __Stack]. -compile({inline,yeccpars2_34_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 44). yeccpars2_34_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { app , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_36_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 30). yeccpars2_36_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { fst , __1 } end | __Stack]. -compile({inline,yeccpars2_37_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 31). yeccpars2_37_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { snd , __1 } end | __Stack]. -compile({inline,yeccpars2_39_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 14). yeccpars2_39_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_41_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 34). yeccpars2_41_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { pi , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_50_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/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/homotopy/src/parser.yrl", 14). yeccpars2_51_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_52_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/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/homotopy/src/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/homotopy/src/parser.yrl", 45). yeccpars2_54_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { papp , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_60_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 24). yeccpars2_60_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { neg , __2 } end | __Stack]. -compile({inline,yeccpars2_62_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 21). yeccpars2_62_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin __2 end | __Stack]. -compile({inline,yeccpars2_65_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 18). yeccpars2_65_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { join , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_67_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 22). yeccpars2_67_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { meet , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_68_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 40). yeccpars2_68_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin uncons_p ( __1 , __3 ) end | __Stack]. -compile({inline,yeccpars2_69_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 26). yeccpars2_69_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { split , __2 } end | __Stack]. -compile({inline,yeccpars2_70_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 3). yeccpars2_70_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_72_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 9). yeccpars2_72_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_73_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 3). yeccpars2_73_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_74_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 4). yeccpars2_74_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin [ __1 | __2 ] end | __Stack]. -compile({inline,yeccpars2_76_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 11). yeccpars2_76_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin [ __2 | __3 ] end | __Stack]. -compile({inline,yeccpars2_77_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 3). yeccpars2_77_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_79_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 7). yeccpars2_79_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { br , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_82_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 8). yeccpars2_82_(__Stack0) -> [__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { br , __1 , __3 , __5 } end | __Stack]. -compile({inline,yeccpars2_85_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 32). yeccpars2_85_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { lam , __2 , __4 } end | __Stack]. -compile({inline,yeccpars2_88_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 28). yeccpars2_88_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { inst , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_90_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 38). yeccpars2_90_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { glue , __2 , __3 } end | __Stack]. -compile({inline,yeccpars2_92_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 44). yeccpars2_92_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { app , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_93_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 37). yeccpars2_93_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { fill , __2 , __3 , __4 } end | __Stack]. -compile({inline,yeccpars2_95_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 44). yeccpars2_95_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { app , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_96_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 36). yeccpars2_96_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { comp , __2 , __3 , __4 } end | __Stack]. -compile({inline,yeccpars2_99_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 29). yeccpars2_99_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin { plam , uncons ( __2 ) , __4 } end | __Stack]. -compile({inline,yeccpars2_101_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 42). yeccpars2_101_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin __2 end | __Stack]. -compile({inline,yeccpars2_104_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 5). yeccpars2_104_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_105_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 12). yeccpars2_105_(__Stack0) -> [__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { tele , uncons ( __2 ) , __4 , __6 } end | __Stack]. -compile({inline,yeccpars2_108_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 33). yeccpars2_108_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { pi , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_109_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 35). yeccpars2_109_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin { sigma , __1 , __3 } end | __Stack]. -compile({inline,yeccpars2_113_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 51). yeccpars2_113_(__Stack0) -> [__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { def , __1 , __2 , __4 , __6 } end | __Stack]. -compile({inline,yeccpars2_115_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 52). yeccpars2_115_(__Stack0) -> [__8,__7,__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { def , __1 , __2 , __4 , __6 , __8 } end | __Stack]. -compile({inline,yeccpars2_116_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 5). yeccpars2_116_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_118_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 53). yeccpars2_118_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_119_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 50). yeccpars2_119_(__Stack0) -> [__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { data , __2 , __3 , __5 } end | __Stack]. -compile({inline,yeccpars2_121_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 5). yeccpars2_121_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_122_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 55). yeccpars2_122_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin { ctor , __1 , __2 } end | __Stack]. -compile({inline,yeccpars2_123_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 3). yeccpars2_123_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_125_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 56). yeccpars2_125_(__Stack0) -> [__4,__3,__2,__1 | __Stack] = __Stack0, [begin [ { ctor , __1 , __2 } | __4 ] end | __Stack]. -compile({inline,yeccpars2_128_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 57). yeccpars2_128_(__Stack0) -> [__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin { htor , __1 , __2 , __4 , __6 } end | __Stack]. -compile({inline,yeccpars2_130_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 58). yeccpars2_130_(__Stack0) -> [__8,__7,__6,__5,__4,__3,__2,__1 | __Stack] = __Stack0, [begin [ { htor , __1 , __2 , __4 , __6 } | __8 ] end | __Stack]. -compile({inline,yeccpars2_131_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 49). yeccpars2_131_(__Stack0) -> [__2,__1 | __Stack] = __Stack0, [begin [ __1 | __2 ] end | __Stack]. -compile({inline,yeccpars2_132_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 46). yeccpars2_132_(__Stack0) -> [begin [ ] end | __Stack0]. -compile({inline,yeccpars2_133_/1}). -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 48). yeccpars2_133_(__Stack0) -> [__3,__2,__1 | __Stack] = __Stack0, [begin [ __1 | __3 ] end | __Stack]. -file("/home/maxim/depot/groupoid/homotopy/src/parser.yrl", 91).