[erlang-questions] What does this mean?

[Bjorn Gustavsson]

We have found one bug where the emulator generates that kind of type
assertion while writing an erl_crash.dump file (just before terminating).

If that is the bug you encountered, it is basically harmless before
the system (for some reason) was already about to terminate.

The bug will be corrected in R11B-2.

/Bjorn

P.S. Here is some code that reproduces the problem. (Run t:t().)

t() ->
    X = y,
    E = id([a,b,c]),
    F = fun(X) -> lists:member(X, E) end,
    t(E, F).

t(E, F) ->
    t2(E),
    F.

t2(E) ->
    do_halt(),
    E.

id(I) -> I.
    
do_halt() ->
    io:format("~p\n", [self()]),
    erlang:halt("system halted").

Rudolph van Graan <rvg@REDACTED> writes:

> 1> TYPE ASSERTION FAILED, file beam/erl_term.c, line 105:  
> tag_val_def: 0x18
> 
> Rudolph van Graan
> 
> Software Architect
> Pattern Matched Technologies
> 
> E-Mail:  rvg@REDACTED
> Tel:     086 1000 700 (SA Only)
> Mobile:  +27 83 390 7767
> Fax:     +27 12 665 9566
> Web:     www.patternmatched.com
> 
> 
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://www.erlang.org/mailman/listinfo/erlang-questions
> 

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB