[eeps] Multi-Parameter Typechecking BIFs

[Ulf Wiger]

Sorry, James' suggestion.  /-:

/U

2009/2/19 Ulf Wiger <ulf.wiger@REDACTED>:
> "mats cronqvist" <masse@REDACTED> wrote:
>>
>> the problem I have with this proposal is that it
>> does not address what, IMO, is the fundamental problem;
>> that I have to correlate the X at the beginning of
>> the line with the X at the end of the line.
>>
>>   I think something like this would be much better:
>>
>> func({_,X::float,_,Z::float}, [{_,Y::float,A::float} | _]) ->...
>>
>>   This has been proposed before, and rejected for no
>> good reason (that I can remember).
>
> Still, don't you think that these suggestions could be
> complementary? Inline guards are not intended to replace
> the standard guard syntax, and Vlad's suggestion improves
> on standard guards with no obvious disadvantages.
>
> BR,
> Ulf W
> _______________________________________________
> eeps mailing list
> eeps@REDACTED
> http://www.erlang.org/mailman/listinfo/eeps
>