/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | v3_life.erl | 112 handler=#k_atom{val=false},ret=Rs}, I, Vdb) -> 223 bif_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N; 226 test_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N. 234 [#k_atom{val=Fun},#k_int{val=Arity}, 295 match_fail(#k_tuple{es=[#k_atom{val=badmatch},Val]}, I, A) -> 299 match_fail(#k_atom{val=if_clause}, I, A) -> 301 match_fail(#k_tuple{es=[#k_atom{val=try_clause},Val]}, I, A) -> 309 type(k_atom) -> atom; 330 atomic_lit(#k_atom{val=N}) -> {atom,N}; 343 literal(#k_atom{val=N}) -> {atom,N}; [all …]
|
H A D | v3_kernel.erl | 208 name=#k_atom{val='=:='}, 226 {#k_atom{anno=A,val=At},[],St}; 343 {#k_atom{val=Ma},#k_atom{val=Fa}} -> 496 is_atomic(#k_atom{}) -> true; 538 {#k_atom{anno=A,val=At},Sub,St}; 758 name=#k_atom{val=exit}, 1124 #k_atom{} -> k_atom; 1138 #k_atom{val=A} -> A; 1277 end, #k_atom{val=true}, Rs, As), 1485 lit_vars(#k_atom{}) -> []; [all …]
|
H A D | v3_kernel_pp.erl | 67 format_1(#k_atom{val=A}, _Ctxt) -> core_atom(A); 255 format(#k_atom{val=N}, ctxt_bump_indent(Ctxt, 7)), 345 Txt = format(#k_atom{val=Name}, Ctxt), 352 Txt = format(#k_atom{val=Name}, Ctxt),
|
H A D | v3_kernel.hrl | 36 -record(k_atom, {anno=[],val}). record
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | v3_life.erl | 112 handler=#k_atom{val=false},ret=Rs}, I, Vdb) -> 223 bif_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N; 226 test_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N. 234 [#k_atom{val=Fun},#k_int{val=Arity}, 295 match_fail(#k_tuple{es=[#k_atom{val=badmatch},Val]}, I, A) -> 299 match_fail(#k_atom{val=if_clause}, I, A) -> 301 match_fail(#k_tuple{es=[#k_atom{val=try_clause},Val]}, I, A) -> 309 type(k_atom) -> atom; 330 atomic_lit(#k_atom{val=N}) -> {atom,N}; 343 literal(#k_atom{val=N}) -> {atom,N}; [all …]
|
H A D | v3_kernel.erl | 208 name=#k_atom{val='=:='}, 226 {#k_atom{anno=A,val=At},[],St}; 343 {#k_atom{val=Ma},#k_atom{val=Fa}} -> 496 is_atomic(#k_atom{}) -> true; 538 {#k_atom{anno=A,val=At},Sub,St}; 758 name=#k_atom{val=exit}, 1124 #k_atom{} -> k_atom; 1138 #k_atom{val=A} -> A; 1277 end, #k_atom{val=true}, Rs, As), 1485 lit_vars(#k_atom{}) -> []; [all …]
|
H A D | v3_kernel_pp.erl | 67 format_1(#k_atom{val=A}, _Ctxt) -> core_atom(A); 255 format(#k_atom{val=N}, ctxt_bump_indent(Ctxt, 7)), 345 Txt = format(#k_atom{val=Name}, Ctxt), 352 Txt = format(#k_atom{val=Name}, Ctxt),
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | v3_life.erl | 112 handler=#k_atom{val=false},ret=Rs}, I, Vdb) -> 223 bif_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N; 226 test_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N. 234 [#k_atom{val=Fun},#k_int{val=Arity}, 295 match_fail(#k_tuple{es=[#k_atom{val=badmatch},Val]}, I, A) -> 299 match_fail(#k_atom{val=if_clause}, I, A) -> 301 match_fail(#k_tuple{es=[#k_atom{val=try_clause},Val]}, I, A) -> 309 type(k_atom) -> atom; 330 atomic_lit(#k_atom{val=N}) -> {atom,N}; 343 literal(#k_atom{val=N}) -> {atom,N}; [all …]
|
H A D | v3_kernel.erl | 208 name=#k_atom{val='=:='}, 226 {#k_atom{anno=A,val=At},[],St}; 343 {#k_atom{val=Ma},#k_atom{val=Fa}} -> 496 is_atomic(#k_atom{}) -> true; 538 {#k_atom{anno=A,val=At},Sub,St}; 758 name=#k_atom{val=exit}, 1124 #k_atom{} -> k_atom; 1138 #k_atom{val=A} -> A; 1277 end, #k_atom{val=true}, Rs, As), 1485 lit_vars(#k_atom{}) -> []; [all …]
|
H A D | v3_kernel_pp.erl | 67 format_1(#k_atom{val=A}, _Ctxt) -> core_atom(A); 255 format(#k_atom{val=N}, ctxt_bump_indent(Ctxt, 7)), 345 Txt = format(#k_atom{val=Name}, Ctxt), 352 Txt = format(#k_atom{val=Name}, Ctxt),
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | v3_life.erl | 112 handler=#k_atom{val=false},ret=Rs}, I, Vdb) -> 223 bif_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N; 226 test_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N. 234 [#k_atom{val=Fun},#k_int{val=Arity}, 295 match_fail(#k_tuple{es=[#k_atom{val=badmatch},Val]}, I, A) -> 299 match_fail(#k_atom{val=if_clause}, I, A) -> 301 match_fail(#k_tuple{es=[#k_atom{val=try_clause},Val]}, I, A) -> 309 type(k_atom) -> atom; 330 atomic_lit(#k_atom{val=N}) -> {atom,N}; 343 literal(#k_atom{val=N}) -> {atom,N}; [all …]
|
H A D | v3_kernel.erl | 208 name=#k_atom{val='=:='}, 226 {#k_atom{anno=A,val=At},[],St}; 343 {#k_atom{val=Ma},#k_atom{val=Fa}} -> 496 is_atomic(#k_atom{}) -> true; 538 {#k_atom{anno=A,val=At},Sub,St}; 758 name=#k_atom{val=exit}, 1124 #k_atom{} -> k_atom; 1138 #k_atom{val=A} -> A; 1277 end, #k_atom{val=true}, Rs, As), 1485 lit_vars(#k_atom{}) -> []; [all …]
|
H A D | v3_kernel_pp.erl | 67 format_1(#k_atom{val=A}, _Ctxt) -> core_atom(A); 255 format(#k_atom{val=N}, ctxt_bump_indent(Ctxt, 7)), 345 Txt = format(#k_atom{val=Name}, Ctxt), 352 Txt = format(#k_atom{val=Name}, Ctxt),
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | v3_life.erl | 112 handler=#k_atom{val=false},ret=Rs}, I, Vdb) -> 223 bif_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N; 226 test_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N. 234 [#k_atom{val=Fun},#k_int{val=Arity}, 295 match_fail(#k_tuple{es=[#k_atom{val=badmatch},Val]}, I, A) -> 299 match_fail(#k_atom{val=if_clause}, I, A) -> 301 match_fail(#k_tuple{es=[#k_atom{val=try_clause},Val]}, I, A) -> 309 type(k_atom) -> atom; 330 atomic_lit(#k_atom{val=N}) -> {atom,N}; 343 literal(#k_atom{val=N}) -> {atom,N}; [all …]
|
H A D | v3_kernel.erl | 208 name=#k_atom{val='=:='}, 226 {#k_atom{anno=A,val=At},[],St}; 343 {#k_atom{val=Ma},#k_atom{val=Fa}} -> 496 is_atomic(#k_atom{}) -> true; 538 {#k_atom{anno=A,val=At},Sub,St}; 758 name=#k_atom{val=exit}, 1124 #k_atom{} -> k_atom; 1138 #k_atom{val=A} -> A; 1277 end, #k_atom{val=true}, Rs, As), 1485 lit_vars(#k_atom{}) -> []; [all …]
|
H A D | v3_kernel_pp.erl | 67 format_1(#k_atom{val=A}, _Ctxt) -> core_atom(A); 255 format(#k_atom{val=N}, ctxt_bump_indent(Ctxt, 7)), 345 Txt = format(#k_atom{val=Name}, Ctxt), 352 Txt = format(#k_atom{val=Name}, Ctxt),
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | v3_life.erl | 112 handler=#k_atom{val=false},ret=Rs}, I, Vdb) -> 223 bif_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N; 226 test_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N. 234 [#k_atom{val=Fun},#k_int{val=Arity}, 295 match_fail(#k_tuple{es=[#k_atom{val=badmatch},Val]}, I, A) -> 299 match_fail(#k_atom{val=if_clause}, I, A) -> 301 match_fail(#k_tuple{es=[#k_atom{val=try_clause},Val]}, I, A) -> 309 type(k_atom) -> atom; 330 atomic_lit(#k_atom{val=N}) -> {atom,N}; 343 literal(#k_atom{val=N}) -> {atom,N}; [all …]
|
H A D | v3_kernel.erl | 208 name=#k_atom{val='=:='}, 226 {#k_atom{anno=A,val=At},[],St}; 343 {#k_atom{val=Ma},#k_atom{val=Fa}} -> 496 is_atomic(#k_atom{}) -> true; 538 {#k_atom{anno=A,val=At},Sub,St}; 758 name=#k_atom{val=exit}, 1124 #k_atom{} -> k_atom; 1138 #k_atom{val=A} -> A; 1277 end, #k_atom{val=true}, Rs, As), 1485 lit_vars(#k_atom{}) -> []; [all …]
|
H A D | v3_kernel_pp.erl | 67 format_1(#k_atom{val=A}, _Ctxt) -> core_atom(A); 255 format(#k_atom{val=N}, ctxt_bump_indent(Ctxt, 7)), 345 Txt = format(#k_atom{val=Name}, Ctxt), 352 Txt = format(#k_atom{val=Name}, Ctxt),
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | v3_life.erl | 112 handler=#k_atom{val=false},ret=Rs}, I, Vdb) -> 223 bif_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N; 226 test_op(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=N}}) -> N. 234 [#k_atom{val=Fun},#k_int{val=Arity}, 295 match_fail(#k_tuple{es=[#k_atom{val=badmatch},Val]}, I, A) -> 299 match_fail(#k_atom{val=if_clause}, I, A) -> 301 match_fail(#k_tuple{es=[#k_atom{val=try_clause},Val]}, I, A) -> 309 type(k_atom) -> atom; 330 atomic_lit(#k_atom{val=N}) -> {atom,N}; 343 literal(#k_atom{val=N}) -> {atom,N}; [all …]
|
H A D | v3_kernel.erl | 208 name=#k_atom{val='=:='}, 226 {#k_atom{anno=A,val=At},[],St}; 343 {#k_atom{val=Ma},#k_atom{val=Fa}} -> 496 is_atomic(#k_atom{}) -> true; 538 {#k_atom{anno=A,val=At},Sub,St}; 758 name=#k_atom{val=exit}, 1124 #k_atom{} -> k_atom; 1138 #k_atom{val=A} -> A; 1277 end, #k_atom{val=true}, Rs, As), 1485 lit_vars(#k_atom{}) -> []; [all …]
|
H A D | v3_kernel_pp.erl | 67 format_1(#k_atom{val=A}, _Ctxt) -> core_atom(A); 255 format(#k_atom{val=N}, ctxt_bump_indent(Ctxt, 7)), 345 Txt = format(#k_atom{val=Name}, Ctxt), 352 Txt = format(#k_atom{val=Name}, Ctxt),
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/ |
H A D | v3_kernel.erl | 259 rewrite_bool(#k_test{op=#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='=:='}}, 268 rewrite_bool(#k_test{op=#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='=:='}}, 277 rewrite_bool(#k_test{op=#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='=:='}}, 278 args=[#k_atom{val=V1},#k_atom{val=V2}]}, Forest0, false, St0) -> 476 name=#k_atom{val=Op}, 740 #k_atom{anno=A,val=V}; 1263 #k_atom{} -> S1; 1269 #k_atom{val=bad_size} 1655 k_atom -> 2201 #k_atom{} -> k_atom; [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/compiler/src/ |
H A D | v3_kernel.erl | 260 rewrite_bool(#k_test{op=#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='=:='}}, 269 rewrite_bool(#k_test{op=#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='=:='}}, 278 rewrite_bool(#k_test{op=#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='=:='}}, 279 args=[#k_atom{val=V1},#k_atom{val=V2}]}, Forest0, false, St0) -> 477 name=#k_atom{val=Op}, 741 #k_atom{anno=A,val=V}; 856 Remote = #k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=is_record},arity=3}, 1264 #k_atom{} -> S1; 1270 #k_atom{val=bad_size} 2158 #k_atom{} -> k_atom; [all …]
|
H A D | v3_codegen.erl | 984 type(k_atom) -> atom; 989 select_type_test(k_atom) -> is_atom; 1413 #k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=Test}} = Test0, 1566 build_call(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='!'}}, 2, St0) -> 1568 build_call(#k_remote{mod=#k_atom{val=Mod},name=#k_atom{val=Name}}, Arity, St0) -> 1612 build_enter(#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val='!'}}, 2, St0) -> 1614 build_enter(#k_remote{mod=#k_atom{val=Mod},name=#k_atom{val=Name}}, Arity, St0) -> 1624 enter_line(#k_remote{mod=#k_atom{val=Mod},name=#k_atom{val=Name}}, Arity, Le) -> 1678 bif_cg(#k_bif{op=#k_remote{mod=#k_atom{val=erlang},name=#k_atom{val=Name}}, 1701 #k_atom{val=Func} = Func0, [all …]
|