diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2013-11-12 12:19:30 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2014-01-28 15:56:29 +0100 |
| commit | 64e5677c883990e1d5b5666d857413293910972a (patch) | |
| tree | f0a4ff5b14dfaab574f1951c346ea45d9a7bdd24 /lib | |
| parent | b10a3b3aa5efa08488623ecba1e24a0de48d4b51 (diff) | |
| download | otp-64e5677c883990e1d5b5666d857413293910972a.tar.gz otp-64e5677c883990e1d5b5666d857413293910972a.tar.bz2 otp-64e5677c883990e1d5b5666d857413293910972a.zip | |
compiler: Add Maps types to cerl
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/compiler/src/cerl.erl | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/compiler/src/cerl.erl b/lib/compiler/src/cerl.erl index 30bb4c5d96..c6bf046c4d 100644 --- a/lib/compiler/src/cerl.erl +++ b/lib/compiler/src/cerl.erl @@ -154,6 +154,9 @@ -type c_let() :: #c_let{}. -type c_letrec() :: #c_letrec{}. -type c_literal() :: #c_literal{}. +-type c_map() :: #c_map{}. +-type c_map_pair_assoc() :: #c_map_pair_assoc{}. +-type c_map_pair_exact() :: #c_map_pair_exact{}. -type c_module() :: #c_module{}. -type c_primop() :: #c_primop{}. -type c_receive() :: #c_receive{}. @@ -164,9 +167,10 @@ -type c_var() :: #c_var{}. -type cerl() :: c_alias() | c_apply() | c_binary() | c_bitstr() - | c_call() | c_case() | c_catch() | c_clause() | c_cons() + | c_call() | c_case() | c_catch() | c_clause() | c_cons() | c_fun() | c_let() | c_letrec() | c_literal() - | c_module() | c_primop() | c_receive() | c_seq() + | c_map() | c_map_pair_assoc() | c_map_pair_exact() + | c_module() | c_primop() | c_receive() | c_seq() | c_try() | c_tuple() | c_values() | c_var(). %% ===================================================================== @@ -1572,6 +1576,8 @@ ann_make_list(_, [], Node) -> %% --------------------------------------------------------------------- %% maps +-spec map_es(c_map()) -> [cerl()]. + map_es(#c_map{es = Es}) -> Es. |