Ah, so does the compiler figure out which ones are strongly and weakly pure and 
then optimize as
appropriate? Is there a way to indicate that a function is strongly pure? 
Because it would seem odd
to call a function you thought was pure and wind up with a mutated argument.
-Charles

Reply via email to