Solve the problem

josefs · Oct 12, 2019 · cd9d8ca · cd9d8ca
1 parent 58d9ee8
commit cd9d8ca
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/typechecker.erl b/src/typechecker.erl
@@ -2783,7 +2783,11 @@ type_check_comprehension_in(Env, ResTy, bc, Expr, P, []) ->
                             [{integer, erl_anno:new(0), 0},
                              {integer, erl_anno:new(0), 1}]};
                  _ ->
-                     throw({type_error, bc, P, ResTy})
+                     case subtype({type, erl_anno:new(0), binary, []}, ResTy, Env) of
+                         {true, _} -> ResTy;
+                         false ->
+                             throw({type_error, bc, P, ResTy})
+                     end
              end,
     {_VB, Cs} = type_check_expr_in(Env, ExprTy, Expr),
     {#{}, Cs};

diff --git a/..._problems/should_pass/binary_in_union.erl → test/should_pass/binary_in_union.erl b/..._problems/should_pass/binary_in_union.erl → test/should_pass/binary_in_union.erl