Merge branch 'bjorn/compiler/map-fixes'

* bjorn/compiler/map-fixes:
  cerl: Remove a clause in fold_map_pairs/3 that will never be reached
  Move grouping of map constructions from v3_core to v3_kernel
  core_pp: Correct printing of map literals
  Strengthen and modernize compile_SUITE
  core_parse: Always fold literal conses
  cerl: Make sure that we preserve the invariants for maps
  cerl_clauses: Fix indentation
  sys_core_fold: Strengthen optimization of letrecs in effect context
  Fix handling of binary map keys in comprehensions
  core_lib: Teach is_var_used/2 to handle keys in map patterns
  warnings_SUITE: Eliminate compiler warning for a shadowed variable
  lc_SUITE: Add shadow/1
  Modernize lc_SUITE

1 files changed, 1 insertions, 9 deletions

diff --git a/lib/compiler/src/sys_core_fold.erl b/lib/compiler/src/sys_core_fold.erl
index f3e90f8eb2..ba46adfbc6 100644
--- a/lib/compiler/src/sys_core_fold.erl
+++ b/lib/compiler/src/sys_core_fold.erl
@@ -313,7 +313,7 @@ expr(#c_letrec{defs=Fs0,body=B0}=Letrec, Ctxt, Sub) ->
     Fs1 = map(fun ({Name,Fb}) ->
 		      {Name,expr(Fb, {letrec,Ctxt}, Sub)}
 	      end, Fs0),
-    B1 = body(B0, value, Sub),
+    B1 = body(B0, Ctxt, Sub),
     Letrec#c_letrec{defs=Fs1,body=B1};
 expr(#c_case{}=Case0, Ctxt, Sub) ->
     %% Ideally, the compiler should only emit warnings when there is
@@ -607,14 +607,6 @@ eval_binary_1([#c_bitstr{val=#c_literal{val=Val},size=#c_literal{val=Sz},
 	error:_ ->
 	    throw(impossible)
     end;
-eval_binary_1([#c_bitstr{val=#c_literal{},size=#c_literal{},
-			 unit=#c_literal{},type=#c_literal{},
-			 flags=#c_cons{}=Flags}=Bitstr|Ss], Acc0) ->
-    case cerl:fold_literal(Flags) of
-	#c_literal{} = Flags1 ->
-	    eval_binary_1([Bitstr#c_bitstr{flags=Flags1}|Ss], Acc0);
-	_ -> throw(impossible)
-    end;
 eval_binary_1([], Acc) -> Acc;
 eval_binary_1(_, _) -> throw(impossible).