Dear list,

While working on asmcomp/closure.ml, I noticed a subtle difference  
between
"is_pure_lambda" and "is_pure" functions (beside the fact that the  
functions obviously
work on different types) :
	- the "Pbigarrayset" primitive causes is_pure_clambda to return false;
	- the "Pbigarrayset" primitive causes is_pure_clambda to return true,
	provided that primitive arguments are pure.

It looks like a mistyping or copy/paste mistake to be but I may be  
missing something.
Could someone help me understand this slight difference between the  
two functions.


Regards,

Xavier