[eeps] Multi-Parameter Typechecking BIFs

[David Mercer]

On Thursday, February 26, 2009 7:43 AM, mats cronqvist wrote:

>   ... I
>   suspect the pattern
> 
>  receive
>    Bla when G ->
> 
>   where G cannot be expressed as a match or a type check is rare.

I cannot provide any statistics as to the frequency of its use, but,
coincidentally, I wrote such a thing just yesterday:

receive
	#request{request = {'read', Start, Len}}
		when bit_size(Buffer) >= Start + Len
		->
		. . .

Pushing that when clause into the handler would cause a message to be
received that I did not (yet) want to receive.

Cheers,

DBM