[eeps] Multi-Parameter Typechecking BIFs

[mats cronqvist]

James Hague <james.hague@REDACTED> writes:

>> I'm a little unhappy with the grammar of it:
>>        X1 and ... and Xn is T?
>> Shouldn't that be are_T(., ...)?
>
> I wish Erlang hadn't gone down the road of adding "is_" prefixes.

  IIRC, there were some unfortunate clashes with BIFs (e.g. float()).

  mats