diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2014-03-13 17:45:34 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2014-03-17 17:47:37 +0100 |
| commit | d92b9dc2aa02871a43fb23ff61dc002b47a14270 (patch) | |
| tree | c3301b856681802d643caccf2b5384be46beb56d /lib/dialyzer | |
| parent | d334837dfe34cc4085d29ff50293b6c1f3b15441 (diff) | |
| download | otp-d92b9dc2aa02871a43fb23ff61dc002b47a14270.tar.gz otp-d92b9dc2aa02871a43fb23ff61dc002b47a14270.tar.bz2 otp-d92b9dc2aa02871a43fb23ff61dc002b47a14270.zip | |
dialyzer: Do not native compile modules with Maps code
hipe:c/1 ignores '-compile(no_native).'
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl.erl b/lib/dialyzer/src/dialyzer_cl.erl index 3e68d64d53..793efe4b50 100644 --- a/lib/dialyzer/src/dialyzer_cl.erl +++ b/lib/dialyzer/src/dialyzer_cl.erl @@ -504,7 +504,9 @@ hipe_compile(Files, #options{erlang_mode = ErlangMode} = Options) -> _ -> Mods = [lists, dict, digraph, digraph_utils, ets, gb_sets, gb_trees, ordsets, sets, sofs, - cerl, cerl_trees, erl_types, erl_bif_types, + %cerl, % uses maps instructions + %erl_types, % uses maps instructions + cerl_trees, erl_bif_types, dialyzer_analysis_callgraph, dialyzer, dialyzer_behaviours, dialyzer_codeserver, dialyzer_contracts, dialyzer_coordinator, dialyzer_dataflow, dialyzer_dep, @@ -533,7 +535,7 @@ hc(Mod) -> case code:is_module_native(Mod) of true -> ok; false -> - %% io:format(" ~s", [Mod]), + %% io:format(" ~w", [Mod]), {ok, Mod} = hipe:c(Mod), ok end. |