You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
maybe_improper_list(element_type(), terminator_type()) does not in actuality mean 'an improper or proper list' but instead means: a 'list' with elements element_type() and terminator terminator_type().
This list will thus not maybe be improper, but always be improper.
Only when [] is passed explicitly as (one of the possible) terminator_type() (s), will the result 'by accident' be a 'proper' list.
maybe_improper_list(element_type(), terminator_type())
does not in actuality mean 'an improper or proper list' but instead means: a 'list' with elementselement_type()
and terminatorterminator_type()
.This list will thus not maybe be improper, but always be improper.
Only when
[]
is passed explicitly as (one of the possible)terminator_type()
(s), will the result 'by accident' be a 'proper' list.c.f. erlang/otp#6038 and elixir-lang/elixir#11886
The text was updated successfully, but these errors were encountered: