Current section
Files
Jump to
Current section
Files
src/per_parse.erl
-module(per_parse).
-export([parse/1, parse_and_scan/1, format_error/1]).
-file("src/per_parse.yrl", 41).
-file("/usr/local/Cellar/erlang/26.2.1/lib/erlang/lib/parsetools-2.5/include/yeccpre.hrl", 0).
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 1996-2021. 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_location}, 0, [], []).
-spec parse_and_scan({function() | {atom(), atom()}, [_]}
| {atom(), atom(), [_]}) -> yecc_ret().
parse_and_scan({F, A}) ->
yeccpars0([], {{F, A}, no_location}, 0, [], []);
parse_and_scan({M, F, A}) ->
Arity = length(A),
yeccpars0([], {{fun M:F/Arity, A}, no_location}, 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(erl_anno:location(), any()) -> no_return().
return_error(Location, Message) ->
throw({error, {Location, ?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, {_Location, ?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},_Location}, State, States, Vstack) ->
case apply(F, A) of
{ok, Tokens, EndLocation} ->
yeccpars1(Tokens, {{F, A}, EndLocation}, State, States, Vstack);
{eof, EndLocation} ->
yeccpars1([], {no_func, EndLocation}, State, States, Vstack);
{error, Descriptor, _EndLocation} ->
{error, Descriptor}
end;
yeccpars1([], {no_func, no_location}, State, States, Vstack) ->
Line = 999999,
yeccpars2(State, '$end', States, Vstack, yecc_end(Line), [],
{no_func, Line});
yeccpars1([], {no_func, EndLocation}, State, States, Vstack) ->
yeccpars2(State, '$end', States, Vstack, yecc_end(EndLocation), [],
{no_func, EndLocation}).
%% 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}, _Location}=Tzr) ->
yeccpars1([], Tzr, State, [State1 | States], [Token0 | Vstack]);
yeccpars1(State1, State, States, Vstack, Token0, [], {no_func, no_location}) ->
Location = yecctoken_end_location(Token0),
yeccpars2(State, '$end', [State1 | States], [Token0 | Vstack],
yecc_end(Location), [], {no_func, Location});
yeccpars1(State1, State, States, Vstack, Token0, [], {no_func, Location}) ->
yeccpars2(State, '$end', [State1 | States], [Token0 | Vstack],
yecc_end(Location), [], {no_func, Location}).
%% For internal use only.
yecc_end(Location) ->
{'$end', Location}.
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(Token) ->
try
yecctoken2string1(Token)
catch
_:_ ->
io_lib:format("~tp", [Token])
end.
-compile({nowarn_unused_function, yecctoken2string1/1}).
yecctoken2string1({atom, _, A}) -> io_lib:write_atom(A);
yecctoken2string1({integer,_,N}) -> io_lib:write(N);
yecctoken2string1({float,_,F}) -> io_lib:write(F);
yecctoken2string1({char,_,C}) -> io_lib:write_char(C);
yecctoken2string1({var,_,V}) -> io_lib:format("~s", [V]);
yecctoken2string1({string,_,S}) -> io_lib:write_string(S);
yecctoken2string1({reserved_symbol, _, A}) -> io_lib:write(A);
yecctoken2string1({_Cat, _, Val}) -> io_lib:format("~tp", [Val]);
yecctoken2string1({dot, _}) -> "'.'";
yecctoken2string1({'$end', _}) -> [];
yecctoken2string1({Other, _}) when is_atom(Other) ->
io_lib:write_atom(Other);
yecctoken2string1(Other) ->
io_lib:format("~tp", [Other]).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-file("src/per_parse.erl", 184).
-dialyzer({nowarn_function, yeccpars2/7}).
-compile({nowarn_unused_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_14(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(16=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_14(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_23(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_25(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(26=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_26(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(27=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_27(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_31(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_20(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_35(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(36=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_20(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_20(S, Cat, Ss, Stack, T, Ts, Tzr);
%% yeccpars2(40=S, Cat, Ss, Stack, T, Ts, Tzr) ->
%% yeccpars2_40(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(41=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_20(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_20(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_49(S, Cat, Ss, Stack, T, Ts, Tzr);
yeccpars2(50=S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_20(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_20(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_57(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_20(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_20(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_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(Other, _, _, _, _, _, _) ->
erlang:error({yecc_bug,"1.4",{missing_state_in_action_table, Other}}).
-dialyzer({nowarn_function, yeccpars2_0/7}).
-compile({nowarn_unused_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}).
-compile({nowarn_unused_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}).
-compile({nowarn_unused_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}).
-compile({nowarn_unused_function, yeccpars2_3/7}).
yeccpars2_3(S, 'do', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 4, Ss, Stack, T, Ts, Tzr);
yeccpars2_3(_, _, _, _, T, _, _) ->
yeccerror(T).
-dialyzer({nowarn_function, yeccpars2_4/7}).
-compile({nowarn_unused_function, yeccpars2_4/7}).
yeccpars2_4(S, 'def', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 7, Ss, Stack, T, Ts, Tzr);
yeccpars2_4(S, 'import', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 8, Ss, Stack, T, Ts, Tzr);
yeccpars2_4(_, _, _, _, T, _, _) ->
yeccerror(T).
-dialyzer({nowarn_function, yeccpars2_5/7}).
-compile({nowarn_unused_function, yeccpars2_5/7}).
yeccpars2_5(S, 'def', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 7, Ss, Stack, T, Ts, Tzr);
yeccpars2_5(S, 'import', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 8, Ss, Stack, T, Ts, Tzr);
yeccpars2_5(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_5_(Stack),
yeccgoto_content(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_6/7}).
-compile({nowarn_unused_function, yeccpars2_6/7}).
yeccpars2_6(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_|Nss] = Ss,
NewStack = yeccpars2_6_(Stack),
yeccgoto_mod(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_7/7}).
-compile({nowarn_unused_function, yeccpars2_7/7}).
yeccpars2_7(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 10, Ss, Stack, T, Ts, Tzr);
yeccpars2_7(_, _, _, _, T, _, _) ->
yeccerror(T).
-dialyzer({nowarn_function, yeccpars2_8/7}).
-compile({nowarn_unused_function, yeccpars2_8/7}).
yeccpars2_8(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 9, Ss, Stack, T, Ts, Tzr);
yeccpars2_8(_, _, _, _, T, _, _) ->
yeccerror(T).
-dialyzer({nowarn_function, yeccpars2_9/7}).
-compile({nowarn_unused_function, yeccpars2_9/7}).
yeccpars2_9(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_|Nss] = Ss,
NewStack = yeccpars2_9_(Stack),
yeccgoto_line(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_10/7}).
-compile({nowarn_unused_function, yeccpars2_10/7}).
yeccpars2_10(S, '(', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr);
yeccpars2_10(S, '[', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_10(S, '{', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 16, Ss, Stack, T, Ts, Tzr);
yeccpars2_10(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_10_(Stack),
yeccpars2_12(12, Cat, [10 | Ss], NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_11/7}).
-compile({nowarn_unused_function, yeccpars2_11/7}).
yeccpars2_11(S, '(', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr);
yeccpars2_11(S, '[', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_11(S, '{', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 16, Ss, Stack, T, Ts, Tzr);
yeccpars2_11(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_11_(Stack),
yeccpars2_63(_S, Cat, [11 | Ss], NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_12/7}).
-compile({nowarn_unused_function, yeccpars2_12/7}).
yeccpars2_12(S, ':', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 59, Ss, Stack, T, Ts, Tzr);
yeccpars2_12(_, _, _, _, T, _, _) ->
yeccerror(T).
-dialyzer({nowarn_function, yeccpars2_13/7}).
-compile({nowarn_unused_function, yeccpars2_13/7}).
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_13_(Stack),
yeccgoto_tele(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_14/7}).
-compile({nowarn_unused_function, yeccpars2_14/7}).
yeccpars2_14(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr);
yeccpars2_14(_, _, _, _, T, _, _) ->
yeccerror(T).
%% yeccpars2_15: see yeccpars2_14
%% yeccpars2_16: see yeccpars2_14
-dialyzer({nowarn_function, yeccpars2_17/7}).
-compile({nowarn_unused_function, yeccpars2_17/7}).
yeccpars2_17(S, ':', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 20, Ss, Stack, T, Ts, Tzr);
yeccpars2_17(_, _, _, _, T, _, _) ->
yeccerror(T).
-dialyzer({nowarn_function, yeccpars2_18/7}).
-compile({nowarn_unused_function, yeccpars2_18/7}).
yeccpars2_18(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 18, Ss, Stack, T, Ts, Tzr);
yeccpars2_18(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_18_(Stack),
yeccgoto_ids(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_19/7}).
-compile({nowarn_unused_function, yeccpars2_19/7}).
yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_|Nss] = Ss,
NewStack = yeccpars2_19_(Stack),
yeccgoto_ids(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
yeccpars2_20(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_20(S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_cont_20(S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_20/7}).
-compile({nowarn_unused_function, yeccpars2_20/7}).
yeccpars2_cont_20(S, '(', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 24, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, '?', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, 'U', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, 'V', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, '[', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, 'forall', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, 'lam', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 30, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, 'sigma', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 31, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(S, '{', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 16, Ss, Stack, T, Ts, Tzr);
yeccpars2_cont_20(_, _, _, _, T, _, _) ->
yeccerror(T).
-dialyzer({nowarn_function, yeccpars2_21/7}).
-compile({nowarn_unused_function, yeccpars2_21/7}).
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_21_(Stack),
yeccgoto_exp(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
yeccpars2_22(S, 'arrow', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr);
yeccpars2_22(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_22(S, '}', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 53, Ss, Stack, T, Ts, Tzr);
yeccpars2_22(S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_cont_20(S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_23/7}).
-compile({nowarn_unused_function, yeccpars2_23/7}).
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_23_(Stack),
yeccgoto_exp(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
yeccpars2_24(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 48, Ss, Stack, T, Ts, Tzr);
yeccpars2_24(S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_cont_20(S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_25/7}).
-compile({nowarn_unused_function, yeccpars2_25/7}).
yeccpars2_25(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_25_(Stack),
yeccgoto_exp(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_26/7}).
-compile({nowarn_unused_function, yeccpars2_26/7}).
yeccpars2_26(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_26_(Stack),
yeccgoto_exp(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_27/7}).
-compile({nowarn_unused_function, yeccpars2_27/7}).
yeccpars2_27(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_27_(Stack),
yeccgoto_exp(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_28/7}).
-compile({nowarn_unused_function, yeccpars2_28/7}).
yeccpars2_28(S, '(', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr);
yeccpars2_28(S, '[', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_28(S, '{', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 16, Ss, Stack, T, Ts, Tzr);
yeccpars2_28(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_28_(Stack),
yeccpars2_43(43, Cat, [28 | Ss], NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_29/7}).
-compile({nowarn_unused_function, yeccpars2_29/7}).
yeccpars2_29(S, '.', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 41, Ss, Stack, T, Ts, Tzr);
yeccpars2_29(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_29_(Stack),
yeccgoto_exp(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_30/7}).
-compile({nowarn_unused_function, yeccpars2_30/7}).
yeccpars2_30(S, '(', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr);
yeccpars2_30(S, '[', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_30(S, '{', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 16, Ss, Stack, T, Ts, Tzr);
yeccpars2_30(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_30_(Stack),
yeccpars2_38(38, Cat, [30 | Ss], NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_31/7}).
-compile({nowarn_unused_function, yeccpars2_31/7}).
yeccpars2_31(S, '(', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 14, Ss, Stack, T, Ts, Tzr);
yeccpars2_31(S, '[', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_31(S, '{', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 16, Ss, Stack, T, Ts, Tzr);
yeccpars2_31(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_31_(Stack),
yeccpars2_32(32, Cat, [31 | Ss], NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_32/7}).
-compile({nowarn_unused_function, yeccpars2_32/7}).
yeccpars2_32(S, ',', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 33, Ss, Stack, T, Ts, Tzr);
yeccpars2_32(_, _, _, _, T, _, _) ->
yeccerror(T).
%% yeccpars2_33: see yeccpars2_20
-dialyzer({nowarn_function, yeccpars2_34/7}).
-compile({nowarn_unused_function, yeccpars2_34/7}).
yeccpars2_34(S, '?', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr);
yeccpars2_34(S, 'U', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr);
yeccpars2_34(S, 'V', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr);
yeccpars2_34(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_34(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_|Nss] = Ss,
NewStack = yeccpars2_34_(Stack),
yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_35/7}).
-compile({nowarn_unused_function, yeccpars2_35/7}).
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_|Nss] = Ss,
NewStack = yeccpars2_35_(Stack),
yeccgoto_app(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
%% yeccpars2_36: see yeccpars2_20
-dialyzer({nowarn_function, yeccpars2_37/7}).
-compile({nowarn_unused_function, yeccpars2_37/7}).
yeccpars2_37(S, '?', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr);
yeccpars2_37(S, 'U', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr);
yeccpars2_37(S, 'V', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr);
yeccpars2_37(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, 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}).
-compile({nowarn_unused_function, yeccpars2_38/7}).
yeccpars2_38(S, ',', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 39, Ss, Stack, T, Ts, Tzr);
yeccpars2_38(_, _, _, _, T, _, _) ->
yeccerror(T).
%% yeccpars2_39: see yeccpars2_20
-dialyzer({nowarn_function, yeccpars2_40/7}).
-compile({nowarn_unused_function, yeccpars2_40/7}).
yeccpars2_40(S, '?', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr);
yeccpars2_40(S, 'U', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr);
yeccpars2_40(S, 'V', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr);
yeccpars2_40(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_40(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_|Nss] = Ss,
NewStack = yeccpars2_40_(Stack),
yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
%% yeccpars2_41: see yeccpars2_20
-dialyzer({nowarn_function, yeccpars2_42/7}).
-compile({nowarn_unused_function, yeccpars2_42/7}).
yeccpars2_42(S, '?', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr);
yeccpars2_42(S, 'U', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr);
yeccpars2_42(S, 'V', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr);
yeccpars2_42(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_42(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_|Nss] = Ss,
NewStack = yeccpars2_42_(Stack),
yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_43/7}).
-compile({nowarn_unused_function, yeccpars2_43/7}).
yeccpars2_43(S, ',', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 44, Ss, Stack, T, Ts, Tzr);
yeccpars2_43(_, _, _, _, T, _, _) ->
yeccerror(T).
%% yeccpars2_44: see yeccpars2_20
-dialyzer({nowarn_function, yeccpars2_45/7}).
-compile({nowarn_unused_function, yeccpars2_45/7}).
yeccpars2_45(S, '?', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr);
yeccpars2_45(S, 'U', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr);
yeccpars2_45(S, 'V', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr);
yeccpars2_45(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_45(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_|Nss] = Ss,
NewStack = yeccpars2_45_(Stack),
yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_46/7}).
-compile({nowarn_unused_function, yeccpars2_46/7}).
yeccpars2_46(S, ':', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 50, Ss, Stack, T, Ts, Tzr);
yeccpars2_46(_, _, _, _, T, _, _) ->
yeccerror(T).
yeccpars2_47(S, ')', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 49, Ss, Stack, T, Ts, Tzr);
yeccpars2_47(S, 'arrow', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr);
yeccpars2_47(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_47(S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_cont_20(S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_48/7}).
-compile({nowarn_unused_function, yeccpars2_48/7}).
yeccpars2_48(S, '.', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 41, Ss, Stack, T, Ts, Tzr);
yeccpars2_48(_S, '(', Ss, Stack, T, Ts, Tzr) ->
NewStack = 'yeccpars2_48_('(Stack),
yeccgoto_exp(hd(Ss), '(', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, ')', Ss, Stack, T, Ts, Tzr) ->
NewStack = 'yeccpars2_48_)'(Stack),
yeccgoto_exp(hd(Ss), ')', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, '?', Ss, Stack, T, Ts, Tzr) ->
NewStack = 'yeccpars2_48_?'(Stack),
yeccgoto_exp(hd(Ss), '?', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, 'U', Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_U(Stack),
yeccgoto_exp(hd(Ss), 'U', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, 'V', Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_V(Stack),
yeccgoto_exp(hd(Ss), 'V', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, '[', Ss, Stack, T, Ts, Tzr) ->
NewStack = 'yeccpars2_48_['(Stack),
yeccgoto_exp(hd(Ss), '[', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, 'arrow', Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_arrow(Stack),
yeccgoto_exp(hd(Ss), 'arrow', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, 'forall', Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_forall(Stack),
yeccgoto_exp(hd(Ss), 'forall', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, 'id', Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_id(Stack),
yeccgoto_exp(hd(Ss), 'id', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, 'lam', Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_lam(Stack),
yeccgoto_exp(hd(Ss), 'lam', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, 'sigma', Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_sigma(Stack),
yeccgoto_exp(hd(Ss), 'sigma', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, '{', Ss, Stack, T, Ts, Tzr) ->
NewStack = 'yeccpars2_48_{'(Stack),
yeccgoto_exp(hd(Ss), '{', Ss, NewStack, T, Ts, Tzr);
yeccpars2_48(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
NewStack = yeccpars2_48_(Stack),
yeccgoto_ids(hd(Ss), Cat, Ss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_49/7}).
-compile({nowarn_unused_function, yeccpars2_49/7}).
yeccpars2_49(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_|Nss] = Ss,
NewStack = yeccpars2_49_(Stack),
yeccgoto_exp(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
%% yeccpars2_50: see yeccpars2_20
yeccpars2_51(S, ')', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 52, Ss, Stack, T, Ts, Tzr);
yeccpars2_51(S, 'arrow', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr);
yeccpars2_51(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_51(S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_cont_20(S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_52/7}).
-compile({nowarn_unused_function, yeccpars2_52/7}).
yeccpars2_52(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_,_|Nss] = Ss,
NewStack = yeccpars2_52_(Stack),
yeccgoto_lense(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_53/7}).
-compile({nowarn_unused_function, yeccpars2_53/7}).
yeccpars2_53(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_,_|Nss] = Ss,
NewStack = yeccpars2_53_(Stack),
yeccgoto_lense(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_54/7}).
-compile({nowarn_unused_function, yeccpars2_54/7}).
yeccpars2_54(S, ':', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 55, Ss, Stack, T, Ts, Tzr);
yeccpars2_54(_, _, _, _, T, _, _) ->
yeccerror(T).
%% yeccpars2_55: see yeccpars2_20
yeccpars2_56(S, ']', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 57, Ss, Stack, T, Ts, Tzr);
yeccpars2_56(S, 'arrow', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr);
yeccpars2_56(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_56(S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_cont_20(S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_57/7}).
-compile({nowarn_unused_function, yeccpars2_57/7}).
yeccpars2_57(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_,_|Nss] = Ss,
NewStack = yeccpars2_57_(Stack),
yeccgoto_lense(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_58/7}).
-compile({nowarn_unused_function, yeccpars2_58/7}).
yeccpars2_58(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_|Nss] = Ss,
NewStack = yeccpars2_58_(Stack),
yeccgoto_tele(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
%% yeccpars2_59: see yeccpars2_20
yeccpars2_60(S, ':=', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 61, Ss, Stack, T, Ts, Tzr);
yeccpars2_60(S, 'arrow', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr);
yeccpars2_60(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_60(S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_cont_20(S, Cat, Ss, Stack, T, Ts, Tzr).
%% yeccpars2_61: see yeccpars2_20
-dialyzer({nowarn_function, yeccpars2_62/7}).
-compile({nowarn_unused_function, yeccpars2_62/7}).
yeccpars2_62(S, '(', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 24, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, '?', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 25, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, 'U', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 26, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, 'V', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 27, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, '[', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 15, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, 'arrow', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 36, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, 'forall', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 28, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, 'id', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 29, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, 'lam', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 30, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, 'sigma', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 31, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(S, '{', Ss, Stack, T, Ts, Tzr) ->
yeccpars1(S, 16, Ss, Stack, T, Ts, Tzr);
yeccpars2_62(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_,_,_,_,_,_|Nss] = Ss,
NewStack = yeccpars2_62_(Stack),
yeccgoto_line(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_63/7}).
-compile({nowarn_unused_function, yeccpars2_63/7}).
yeccpars2_63(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_|Nss] = Ss,
NewStack = yeccpars2_63_(Stack),
yeccgoto_params(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccpars2_64/7}).
-compile({nowarn_unused_function, yeccpars2_64/7}).
yeccpars2_64(_S, Cat, Ss, Stack, T, Ts, Tzr) ->
[_|Nss] = Ss,
NewStack = yeccpars2_64_(Stack),
yeccgoto_content(hd(Nss), Cat, Nss, NewStack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_app/7}).
-compile({nowarn_unused_function, yeccgoto_app/7}).
yeccgoto_app(20=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(22=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(24=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(33=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(34=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(35=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(36=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(37=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(39=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(40=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(41=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(42=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(44=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(45=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(47=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(50=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(51=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(55=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(56=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(59=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(60=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(61=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_app(62=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_23(_S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_content/7}).
-compile({nowarn_unused_function, yeccgoto_content/7}).
yeccgoto_content(4=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_6(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_content(5=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_64(_S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_exp/7}).
-compile({nowarn_unused_function, yeccgoto_exp/7}).
yeccgoto_exp(20, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_22(22, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(22=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(24, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_47(47, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(33, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_34(34, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(34=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(35=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(36, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_37(37, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(37=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(39, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_40(40, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(40=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(41, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_42(42, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(42=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(44, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_45(45, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(45=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(47=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(50, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_51(51, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(51=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(55, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_56(56, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(56=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(59, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_60(60, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(60=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(61, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_62(62, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_exp(62=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_35(_S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_ids/7}).
-compile({nowarn_unused_function, yeccgoto_ids/7}).
yeccgoto_ids(14, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_46(46, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_ids(15, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_54(54, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_ids(16, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_17(17, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_ids(18=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_ids(24, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_46(46, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_ids(48=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_19(_S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_lense/7}).
-compile({nowarn_unused_function, yeccgoto_lense/7}).
yeccgoto_lense(10=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(11=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(13=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(20=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(22=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(24=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(28=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(30=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(31=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_13(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(33=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(34=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(35=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(36=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(37=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(39=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(40=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(41=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(42=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(44=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(45=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(47=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(50=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(51=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(55=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(56=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(59=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(60=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(61=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_lense(62=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_21(_S, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_line/7}).
-compile({nowarn_unused_function, yeccgoto_line/7}).
yeccgoto_line(4, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_5(5, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_line(5, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_5(5, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_mod/7}).
-compile({nowarn_unused_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_params/7}).
-compile({nowarn_unused_function, yeccgoto_params/7}).
yeccgoto_params(10, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_12(12, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_params(11=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_63(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_params(28, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_43(43, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_params(30, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_38(38, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_params(31, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_32(32, Cat, Ss, Stack, T, Ts, Tzr).
-dialyzer({nowarn_function, yeccgoto_tele/7}).
-compile({nowarn_unused_function, yeccgoto_tele/7}).
yeccgoto_tele(10, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_tele(11, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_tele(13=_S, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_58(_S, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_tele(28, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_tele(30, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr);
yeccgoto_tele(31, Cat, Ss, Stack, T, Ts, Tzr) ->
yeccpars2_11(11, Cat, Ss, Stack, T, Ts, Tzr).
-compile({inline,yeccpars2_5_/1}).
-dialyzer({nowarn_function, yeccpars2_5_/1}).
-compile({nowarn_unused_function, yeccpars2_5_/1}).
-file("src/per_parse.yrl", 0).
yeccpars2_5_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_6_/1}).
-dialyzer({nowarn_function, yeccpars2_6_/1}).
-compile({nowarn_unused_function, yeccpars2_6_/1}).
-file("src/per_parse.yrl", 0).
yeccpars2_6_(__Stack0) ->
[___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{module,___2,___4}
end | __Stack].
-compile({inline,yeccpars2_9_/1}).
-dialyzer({nowarn_function, yeccpars2_9_/1}).
-compile({nowarn_unused_function, yeccpars2_9_/1}).
-file("src/per_parse.yrl", 25).
yeccpars2_9_(__Stack0) ->
[___2,___1 | __Stack] = __Stack0,
[begin
{import,___2}
end | __Stack].
-compile({inline,yeccpars2_10_/1}).
-dialyzer({nowarn_function, yeccpars2_10_/1}).
-compile({nowarn_unused_function, yeccpars2_10_/1}).
-file("src/per_parse.yrl", 23).
yeccpars2_10_(__Stack0) ->
[begin
[]
end | __Stack0].
-compile({inline,yeccpars2_11_/1}).
-dialyzer({nowarn_function, yeccpars2_11_/1}).
-compile({nowarn_unused_function, yeccpars2_11_/1}).
-file("src/per_parse.yrl", 23).
yeccpars2_11_(__Stack0) ->
[begin
[]
end | __Stack0].
-compile({inline,yeccpars2_13_/1}).
-dialyzer({nowarn_function, yeccpars2_13_/1}).
-compile({nowarn_unused_function, yeccpars2_13_/1}).
-file("src/per_parse.yrl", 7).
yeccpars2_13_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_18_/1}).
-dialyzer({nowarn_function, yeccpars2_18_/1}).
-compile({nowarn_unused_function, yeccpars2_18_/1}).
-file("src/per_parse.yrl", 2).
yeccpars2_18_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_19_/1}).
-dialyzer({nowarn_function, yeccpars2_19_/1}).
-compile({nowarn_unused_function, yeccpars2_19_/1}).
-file("src/per_parse.yrl", 3).
yeccpars2_19_(__Stack0) ->
[___2,___1 | __Stack] = __Stack0,
[begin
[___1|___2]
end | __Stack].
-compile({inline,yeccpars2_21_/1}).
-dialyzer({nowarn_function, yeccpars2_21_/1}).
-compile({nowarn_unused_function, yeccpars2_21_/1}).
-file("src/per_parse.yrl", 13).
yeccpars2_21_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_23_/1}).
-dialyzer({nowarn_function, yeccpars2_23_/1}).
-compile({nowarn_unused_function, yeccpars2_23_/1}).
-file("src/per_parse.yrl", 21).
yeccpars2_23_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_25_/1}).
-dialyzer({nowarn_function, yeccpars2_25_/1}).
-compile({nowarn_unused_function, yeccpars2_25_/1}).
-file("src/per_parse.yrl", 18).
yeccpars2_25_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
{hole}
end | __Stack].
-compile({inline,yeccpars2_26_/1}).
-dialyzer({nowarn_function, yeccpars2_26_/1}).
-compile({nowarn_unused_function, yeccpars2_26_/1}).
-file("src/per_parse.yrl", 19).
yeccpars2_26_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
{'U'}
end | __Stack].
-compile({inline,yeccpars2_27_/1}).
-dialyzer({nowarn_function, yeccpars2_27_/1}).
-compile({nowarn_unused_function, yeccpars2_27_/1}).
-file("src/per_parse.yrl", 20).
yeccpars2_27_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
{'V'}
end | __Stack].
-compile({inline,yeccpars2_28_/1}).
-dialyzer({nowarn_function, yeccpars2_28_/1}).
-compile({nowarn_unused_function, yeccpars2_28_/1}).
-file("src/per_parse.yrl", 23).
yeccpars2_28_(__Stack0) ->
[begin
[]
end | __Stack0].
-compile({inline,yeccpars2_29_/1}).
-dialyzer({nowarn_function, yeccpars2_29_/1}).
-compile({nowarn_unused_function, yeccpars2_29_/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_29_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_30_/1}).
-dialyzer({nowarn_function, yeccpars2_30_/1}).
-compile({nowarn_unused_function, yeccpars2_30_/1}).
-file("src/per_parse.yrl", 23).
yeccpars2_30_(__Stack0) ->
[begin
[]
end | __Stack0].
-compile({inline,yeccpars2_31_/1}).
-dialyzer({nowarn_function, yeccpars2_31_/1}).
-compile({nowarn_unused_function, yeccpars2_31_/1}).
-file("src/per_parse.yrl", 23).
yeccpars2_31_(__Stack0) ->
[begin
[]
end | __Stack0].
-compile({inline,yeccpars2_34_/1}).
-dialyzer({nowarn_function, yeccpars2_34_/1}).
-compile({nowarn_unused_function, yeccpars2_34_/1}).
-file("src/per_parse.yrl", 17).
yeccpars2_34_(__Stack0) ->
[___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{sigma,___2,___4}
end | __Stack].
-compile({inline,yeccpars2_35_/1}).
-dialyzer({nowarn_function, yeccpars2_35_/1}).
-compile({nowarn_unused_function, yeccpars2_35_/1}).
-file("src/per_parse.yrl", 22).
yeccpars2_35_(__Stack0) ->
[___2,___1 | __Stack] = __Stack0,
[begin
{app,___1,___2}
end | __Stack].
-compile({inline,yeccpars2_37_/1}).
-dialyzer({nowarn_function, yeccpars2_37_/1}).
-compile({nowarn_unused_function, yeccpars2_37_/1}).
-file("src/per_parse.yrl", 16).
yeccpars2_37_(__Stack0) ->
[___3,___2,___1 | __Stack] = __Stack0,
[begin
{arrow,___2,___3}
end | __Stack].
-compile({inline,yeccpars2_40_/1}).
-dialyzer({nowarn_function, yeccpars2_40_/1}).
-compile({nowarn_unused_function, yeccpars2_40_/1}).
-file("src/per_parse.yrl", 15).
yeccpars2_40_(__Stack0) ->
[___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{lam,___1,___4}
end | __Stack].
-compile({inline,yeccpars2_42_/1}).
-dialyzer({nowarn_function, yeccpars2_42_/1}).
-compile({nowarn_unused_function, yeccpars2_42_/1}).
-file("src/per_parse.yrl", 10).
yeccpars2_42_(__Stack0) ->
[___3,___2,___1 | __Stack] = __Stack0,
[begin
{field,___1,___3}
end | __Stack].
-compile({inline,yeccpars2_45_/1}).
-dialyzer({nowarn_function, yeccpars2_45_/1}).
-compile({nowarn_unused_function, yeccpars2_45_/1}).
-file("src/per_parse.yrl", 14).
yeccpars2_45_(__Stack0) ->
[___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{pi,___2,___4}
end | __Stack].
-compile({inline,'yeccpars2_48_('/1}).
-dialyzer({nowarn_function, 'yeccpars2_48_('/1}).
-compile({nowarn_unused_function, 'yeccpars2_48_('/1}).
-file("src/per_parse.yrl", 9).
'yeccpars2_48_('(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,'yeccpars2_48_)'/1}).
-dialyzer({nowarn_function, 'yeccpars2_48_)'/1}).
-compile({nowarn_unused_function, 'yeccpars2_48_)'/1}).
-file("src/per_parse.yrl", 9).
'yeccpars2_48_)'(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,'yeccpars2_48_?'/1}).
-dialyzer({nowarn_function, 'yeccpars2_48_?'/1}).
-compile({nowarn_unused_function, 'yeccpars2_48_?'/1}).
-file("src/per_parse.yrl", 9).
'yeccpars2_48_?'(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_U/1}).
-dialyzer({nowarn_function, yeccpars2_48_U/1}).
-compile({nowarn_unused_function, yeccpars2_48_U/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_48_U(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_V/1}).
-dialyzer({nowarn_function, yeccpars2_48_V/1}).
-compile({nowarn_unused_function, yeccpars2_48_V/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_48_V(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,'yeccpars2_48_['/1}).
-dialyzer({nowarn_function, 'yeccpars2_48_['/1}).
-compile({nowarn_unused_function, 'yeccpars2_48_['/1}).
-file("src/per_parse.yrl", 9).
'yeccpars2_48_['(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_arrow/1}).
-dialyzer({nowarn_function, yeccpars2_48_arrow/1}).
-compile({nowarn_unused_function, yeccpars2_48_arrow/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_48_arrow(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_forall/1}).
-dialyzer({nowarn_function, yeccpars2_48_forall/1}).
-compile({nowarn_unused_function, yeccpars2_48_forall/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_48_forall(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_id/1}).
-dialyzer({nowarn_function, yeccpars2_48_id/1}).
-compile({nowarn_unused_function, yeccpars2_48_id/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_48_id(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_lam/1}).
-dialyzer({nowarn_function, yeccpars2_48_lam/1}).
-compile({nowarn_unused_function, yeccpars2_48_lam/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_48_lam(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_sigma/1}).
-dialyzer({nowarn_function, yeccpars2_48_sigma/1}).
-compile({nowarn_unused_function, yeccpars2_48_sigma/1}).
-file("src/per_parse.yrl", 9).
yeccpars2_48_sigma(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,'yeccpars2_48_{'/1}).
-dialyzer({nowarn_function, 'yeccpars2_48_{'/1}).
-compile({nowarn_unused_function, 'yeccpars2_48_{'/1}).
-file("src/per_parse.yrl", 9).
'yeccpars2_48_{'(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_48_/1}).
-dialyzer({nowarn_function, yeccpars2_48_/1}).
-compile({nowarn_unused_function, yeccpars2_48_/1}).
-file("src/per_parse.yrl", 2).
yeccpars2_48_(__Stack0) ->
[___1 | __Stack] = __Stack0,
[begin
___1
end | __Stack].
-compile({inline,yeccpars2_49_/1}).
-dialyzer({nowarn_function, yeccpars2_49_/1}).
-compile({nowarn_unused_function, yeccpars2_49_/1}).
-file("src/per_parse.yrl", 12).
yeccpars2_49_(__Stack0) ->
[___3,___2,___1 | __Stack] = __Stack0,
[begin
___2
end | __Stack].
-compile({inline,yeccpars2_52_/1}).
-dialyzer({nowarn_function, yeccpars2_52_/1}).
-compile({nowarn_unused_function, yeccpars2_52_/1}).
-file("src/per_parse.yrl", 4).
yeccpars2_52_(__Stack0) ->
[___5,___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{tele,___2,___4}
end | __Stack].
-compile({inline,yeccpars2_53_/1}).
-dialyzer({nowarn_function, yeccpars2_53_/1}).
-compile({nowarn_unused_function, yeccpars2_53_/1}).
-file("src/per_parse.yrl", 6).
yeccpars2_53_(__Stack0) ->
[___5,___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{tele,___2,___4}
end | __Stack].
-compile({inline,yeccpars2_57_/1}).
-dialyzer({nowarn_function, yeccpars2_57_/1}).
-compile({nowarn_unused_function, yeccpars2_57_/1}).
-file("src/per_parse.yrl", 5).
yeccpars2_57_(__Stack0) ->
[___5,___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{tele,___2,___4}
end | __Stack].
-compile({inline,yeccpars2_58_/1}).
-dialyzer({nowarn_function, yeccpars2_58_/1}).
-compile({nowarn_unused_function, yeccpars2_58_/1}).
-file("src/per_parse.yrl", 8).
yeccpars2_58_(__Stack0) ->
[___2,___1 | __Stack] = __Stack0,
[begin
[___1|___2]
end | __Stack].
-compile({inline,yeccpars2_62_/1}).
-dialyzer({nowarn_function, yeccpars2_62_/1}).
-compile({nowarn_unused_function, yeccpars2_62_/1}).
-file("src/per_parse.yrl", 26).
yeccpars2_62_(__Stack0) ->
[___7,___6,___5,___4,___3,___2,___1 | __Stack] = __Stack0,
[begin
{def,___2,___5,___3,___7}
end | __Stack].
-compile({inline,yeccpars2_63_/1}).
-dialyzer({nowarn_function, yeccpars2_63_/1}).
-compile({nowarn_unused_function, yeccpars2_63_/1}).
-file("src/per_parse.yrl", 24).
yeccpars2_63_(__Stack0) ->
[___2,___1 | __Stack] = __Stack0,
[begin
[___1|___2]
end | __Stack].
-compile({inline,yeccpars2_64_/1}).
-dialyzer({nowarn_function, yeccpars2_64_/1}).
-compile({nowarn_unused_function, yeccpars2_64_/1}).
-file("src/per_parse.yrl", 1).
yeccpars2_64_(__Stack0) ->
[___2,___1 | __Stack] = __Stack0,
[begin
[___1|___2]
end | __Stack].
-file("src/per_parse.yrl", 42).