typer_parse.erl

来自「OTP是开放电信平台的简称」· ERL 代码 · 共 777 行 · 第 1/3 页

yeccpars2(56, atom, __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 52, [56 | __Ss], [__T | __Stack]);
yeccpars2(56, _, _, _, __T, _, _) ->
 yeccerror(__T);
yeccpars2(57, __Cat, __Ss, __Stack, __T, __Ts, __Tzr) ->
 __NewStack = yeccpars2_57_(__Stack),
 __Nss = lists:nthtail(2, __Ss),
 yeccpars2(yeccgoto(record_fields, hd(__Nss)), __Cat, __Nss, __NewStack, __T, __Ts, __Tzr);
yeccpars2(58, __Cat, __Ss, __Stack, __T, __Ts, __Tzr) ->
 __NewStack = yeccpars2_58_(__Stack),
 __Nss = lists:nthtail(4, __Ss),
 yeccpars2(yeccgoto(type, hd(__Nss)), __Cat, __Nss, __NewStack, __T, __Ts, __Tzr);
yeccpars2(59, '#', __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 3, [59 | __Ss], [__T | __Stack]);
yeccpars2(59, '(', __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 4, [59 | __Ss], [__T | __Stack]);
yeccpars2(59, '<', __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 5, [59 | __Ss], [__T | __Stack]);
yeccpars2(59, '[', __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 6, [59 | __Ss], [__T | __Stack]);
yeccpars2(59, atom, __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 7, [59 | __Ss], [__T | __Stack]);
yeccpars2(59, integer, __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 8, [59 | __Ss], [__T | __Stack]);
yeccpars2(59, '{', __Ss, __Stack, __T, __Ts, __Tzr) ->
 yeccpars1(__Ts, __Tzr, 9, [59 | __Ss], [__T | __Stack]);
yeccpars2(59, _, _, _, __T, _, _) ->
 yeccerror(__T);
yeccpars2(60, __Cat, __Ss, __Stack, __T, __Ts, __Tzr) ->
 __NewStack = yeccpars2_60_(__Stack),
 __Nss = lists:nthtail(2, __Ss),
 yeccpars2(yeccgoto(top_type, hd(__Nss)), __Cat, __Nss, __NewStack, __T, __Ts, __Tzr);
yeccpars2(__Other, _, _, _, _, _, _) ->
 erlang:error({yecc_bug,"1.1",{missing_state_in_action_table, __Other}}).

yeccgoto(record_field, 49) ->
 51;
yeccgoto(record_field, 56) ->
 51;
yeccgoto(record_fields, 49) ->
 50;
yeccgoto(record_fields, 56) ->
 57;
yeccgoto(top_type, 0) ->
 2;
yeccgoto(top_type, 5) ->
 11;
yeccgoto(top_type, 6) ->
 23;
yeccgoto(top_type, 9) ->
 11;
yeccgoto(top_type, 13) ->
 11;
yeccgoto(top_type, 16) ->
 17;
yeccgoto(top_type, 20) ->
 21;
yeccgoto(top_type, 33) ->
 11;
yeccgoto(top_type, 41) ->
 42;
yeccgoto(top_type, 45) ->
 46;
yeccgoto(top_type, 54) ->
 55;
yeccgoto(top_type, 59) ->
 60;
yeccgoto(top_types, 5) ->
 31;
yeccgoto(top_types, 9) ->
 10;
yeccgoto(top_types, 13) ->
 14;
yeccgoto(top_types, 33) ->
 39;
yeccgoto(type, 0) ->
 1;
yeccgoto(type, 5) ->
 1;
yeccgoto(type, 6) ->
 1;
yeccgoto(type, 9) ->
 1;
yeccgoto(type, 13) ->
 1;
yeccgoto(type, 16) ->
 1;
yeccgoto(type, 20) ->
 1;
yeccgoto(type, 33) ->
 1;
yeccgoto(type, 41) ->
 1;
yeccgoto(type, 45) ->
 1;
yeccgoto(type, 54) ->
 1;
yeccgoto(type, 59) ->
 1;
yeccgoto(__Symbol, __State) ->
 erlang:error({yecc_bug,"1.1",{__Symbol, __State, missing_in_goto_table}}).

-compile({inline,{yeccpars2_7_,1}}).
-file("typer_parse.yrl", 17).
yeccpars2_7_([__1 | __Stack]) ->
 [begin
   { type , atom , [ get_atom ( __1 ) ] }
  end | __Stack].

-compile({inline,{yeccpars2_8_,1}}).
-file("typer_parse.yrl", 30).
yeccpars2_8_([__1 | __Stack]) ->
 [begin
   { type , integer , [ get_int ( __1 ) ] }
  end | __Stack].

-compile({inline,{yeccpars2_11_,1}}).
-file("typer_parse.yrl", 11).
yeccpars2_11_([__1 | __Stack]) ->
 [begin
   [ __1 ]
  end | __Stack].

-compile({inline,{yeccpars2_12_,1}}).
-file("typer_parse.yrl", 26).
yeccpars2_12_([__2,__1 | __Stack]) ->
 [begin
   { type , tuple , [ ] }
  end | __Stack].

-compile({inline,{yeccpars2_14_,1}}).
-file("typer_parse.yrl", 12).
yeccpars2_14_([__3,__2,__1 | __Stack]) ->
 [begin
   [ __1 | __3 ]
  end | __Stack].

-compile({inline,{yeccpars2_15_,1}}).
-file("typer_parse.yrl", 27).
yeccpars2_15_([__3,__2,__1 | __Stack]) ->
 [begin
   { type , tuple , __2 }
  end | __Stack].

-compile({inline,{yeccpars2_18_,1}}).
-file("typer_parse.yrl", 18).
yeccpars2_18_([__3,__2,__1 | __Stack]) ->
 [begin
   build_type ( __1 , [ ] )
  end | __Stack].

-compile({inline,{yeccpars2_19_,1}}).
-file("typer_parse.yrl", 19).
yeccpars2_19_([__4,__3,__2,__1 | __Stack]) ->
 [begin
   build_type ( __1 , [ __3 ] )
  end | __Stack].

-compile({inline,{yeccpars2_22_,1}}).
-file("typer_parse.yrl", 20).
yeccpars2_22_([__6,__5,__4,__3,__2,__1 | __Stack]) ->
 [begin
   build_type ( __1 , [ __3 , __5 ] )
  end | __Stack].

-compile({inline,{yeccpars2_24_,1}}).
-file("typer_parse.yrl", 21).
yeccpars2_24_([__2,__1 | __Stack]) ->
 [begin
   { type , nil , [ ] }
  end | __Stack].

-compile({inline,{yeccpars2_26_,1}}).
-file("typer_parse.yrl", 22).
yeccpars2_26_([__3,__2,__1 | __Stack]) ->
 [begin
   { type , list , [ __2 ] }
  end | __Stack].

-compile({inline,{yeccpars2_30_,1}}).
-file("typer_parse.yrl", 23).
yeccpars2_30_([__7,__6,__5,__4,__3,__2,__1 | __Stack]) ->
 [begin
   { type , nonempty_list , [ __2 ] }
  end | __Stack].

-compile({inline,{yeccpars2_32_,1}}).
-file("typer_parse.yrl", 31).
yeccpars2_32_([__3,__2,__1 | __Stack]) ->
 [begin
   { type , product , __2 }
  end | __Stack].

-compile({inline,{yeccpars2_38_,1}}).
-file("typer_parse.yrl", 33).
yeccpars2_38_([__6,__5,__4,__3,__2,__1 | __Stack]) ->
 [begin
   { type , range , [ get_int ( __2 ) , get_int ( __5 ) ] }
  end | __Stack].

-compile({inline,{yeccpars2_43_,1}}).
-file("typer_parse.yrl", 24).
yeccpars2_43_([__6,__5,__4,__3,__2,__1 | __Stack]) ->
 [begin
   { type , 'fun' , [ [ ] , __5 ] }
  end | __Stack].

-compile({inline,{yeccpars2_47_,1}}).
-file("typer_parse.yrl", 25).
yeccpars2_47_([__7,__6,__5,__4,__3,__2,__1 | __Stack]) ->
 [begin
   { type , 'fun' , [ __3 , __6 ] }
  end | __Stack].

-compile({inline,{yeccpars2_51_,1}}).
-file("typer_parse.yrl", 35).
yeccpars2_51_([__1 | __Stack]) ->
 [begin
   [ __1 ]
  end | __Stack].

-compile({inline,{yeccpars2_53_,1}}).
-file("typer_parse.yrl", 28).
yeccpars2_53_([__4,__3,__2,__1 | __Stack]) ->
 [begin
   { type , record , [ get_atom ( __2 ) ] }
  end | __Stack].

-compile({inline,{yeccpars2_55_,1}}).
-file("typer_parse.yrl", 38).
yeccpars2_55_([__3,__2,__1 | __Stack]) ->
 [begin
   { get_atom ( __1 ) , __3 }
  end | __Stack].

-compile({inline,{yeccpars2_57_,1}}).
-file("typer_parse.yrl", 36).
yeccpars2_57_([__3,__2,__1 | __Stack]) ->
 [begin
   [ __1 | __3 ]
  end | __Stack].

-compile({inline,{yeccpars2_58_,1}}).
-file("typer_parse.yrl", 29).
yeccpars2_58_([__5,__4,__3,__2,__1 | __Stack]) ->
 [begin
   { type , record , [ get_atom ( __2 ) | __4 ] }
  end | __Stack].

-compile({inline,{yeccpars2_60_,1}}).
-file("typer_parse.yrl", 15).
yeccpars2_60_([__3,__2,__1 | __Stack]) ->
 [begin
   lift_unions ( __1 , __3 )
  end | __Stack].


-file("typer_parse.yrl", 89).