[erlang-questions] Why does Core Erlang have a catch-all clause for everything?
Anthony Ramine
n.oxyde@REDACTED
Fri Jan 19 11:48:20 CET 2018
It is undefined behaviour from Core Erlang's POV to have a value that doesn't match against any case arm. There are other similar UB cases, such as a Core Erlang clause guard not evaluating to a boolean.
See the spec for more details.
https://www.it.uu.se/research/group/hipe/cerl/doc/core_erlang-1.0.3.pdf
> Le 19 janv. 2018 à 11:45, Loïc Hoguin <essen@REDACTED> a écrit :
>
> Hello,
>
> A short discussion about exceptions left us wondering why generated Core Erlang code always has a catch-all clause for things that don't match? Is it so it can throw a specific exception? And what would happen if the catch-all was missing and the input failed to match?
>
> Cheers,
>
> --
> Loïc Hoguin
> https://ninenines.eu
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
More information about the erlang-questions
mailing list