erl_eval.erl : Mucho weirdness

[Bjorn Gustavsson]

"vladdu" <vlad_dumitrescu@REDACTED> writes:

> Hi,
> 
> I'd venture to guess that those guards are trying to assert that M is an abstract module, which is represented as a tuple, with the module's name in the first position.
> 

That's correct.

> So now we have not only {M, F} calls, but also {{M, ...}, F}... Makes me yearn for dedicated types...
> 

The abstract modules are so far an experimental feature (they are neither
documented nor supported).

If we'll keep them (which does seem likely), there will probably be a new type
instead of a tuple.

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