Version française
Home     About     Download     Resources     Contact us    
Browse thread
Question about native compiler code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: forum@x9c.fr <forum@x...>
Subject: Question about native compiler code
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