Proposed change to libraries

[Bjorn Gustavsson]

Seems like good solution to me. It should be easy to implement.

Kostis, would that solution work for Dialyzer?

/Björn

"Richard A. O'Keefe" <ok@REDACTED> writes:
[...]
> We need
> 	is_applicable(F, N)
> 	- succeeds or returns true when N is a non-negative integer
>           and F is such that F(T1,...,TN) would make sense
> 	- fails or returns false otherwise
> 	is_applicable(F)
> 	- succeeds or returns true when there exists an N such that
> 	  is_applicable(F, N) would succeed or return true
> 	- fails or returns false otherwise
> 
> Then
>     map(F, [F|T]) -> [F(H)|map(F,T)];
>     map(F, []) when is_applicable(F, 2) -> [].
> 

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB