diff options
Diffstat (limited to 'lib/compiler/src/v3_kernel.hrl')
-rw-r--r-- | lib/compiler/src/v3_kernel.hrl | 24 |
1 files changed, 6 insertions, 18 deletions
diff --git a/lib/compiler/src/v3_kernel.hrl b/lib/compiler/src/v3_kernel.hrl index e26360a6da..582e4f9b12 100644 --- a/lib/compiler/src/v3_kernel.hrl +++ b/lib/compiler/src/v3_kernel.hrl @@ -24,19 +24,10 @@ %% this could make including this file difficult. %% N.B. the annotation field is ALWAYS the first field! -%% Kernel annotation record. --record(k, {us, %Used variables - ns, %New variables - a}). %Core annotation - %% Literals %% NO CHARACTERS YET. %%-record(k_char, {anno=[],val}). --record(k_literal, {anno=[],val}). %Only used for complex literals. --record(k_int, {anno=[],val}). --record(k_float, {anno=[],val}). --record(k_atom, {anno=[],val}). --record(k_nil, {anno=[]}). +-record(k_literal, {anno=[],val}). -record(k_tuple, {anno=[],es}). -record(k_map, {anno=[],var=#k_literal{val=#{}},op,es}). @@ -58,19 +49,17 @@ -record(k_seq, {anno=[],arg,body}). -record(k_put, {anno=[],arg,ret=[]}). -record(k_bif, {anno=[],op,args,ret=[]}). --record(k_test, {anno=[],op,args,inverted=false}). +-record(k_test, {anno=[],op,args}). -record(k_call, {anno=[],op,args,ret=[]}). -record(k_enter, {anno=[],op,args}). --record(k_receive, {anno=[],var,body,timeout,action,ret=[]}). --record(k_receive_accept, {anno=[]}). --record(k_receive_next, {anno=[]}). -record(k_try, {anno=[],arg,vars,body,evars,handler,ret=[]}). -record(k_try_enter, {anno=[],arg,vars,body,evars,handler}). --record(k_protected, {anno=[],arg,ret=[],inner}). -record(k_catch, {anno=[],body,ret=[]}). --record(k_guard_match, {anno=[],vars,body,ret=[]}). --record(k_match, {anno=[],vars,body,ret=[]}). +-record(k_letrec_goto, {anno=[],label,first,then,ret=[]}). +-record(k_goto, {anno=[],label}). + +-record(k_match, {anno=[],body,ret=[]}). -record(k_alt, {anno=[],first,then}). -record(k_select, {anno=[],var,types}). -record(k_type_clause, {anno=[],type,values}). @@ -79,7 +68,6 @@ -record(k_guard_clause, {anno=[],guard,body}). -record(k_break, {anno=[],args=[]}). --record(k_guard_break, {anno=[],args=[]}). -record(k_return, {anno=[],args=[]}). %%k_get_anno(Thing) -> element(2, Thing). |