[bitc-dev] Type compatibility at application

[Jonathan S. Shapiro]

On Fri, 2006-05-19 at 12:53 -0400, Swaroop Sridhar wrote:
> Jonathan S. Shapiro wrote:
> > The reason I ask is that I am concerned about the number of cases that
> > may require polyinstantiation due to mutability. I do not have any
> > intuition about how important this is.
> 
> Why does this require polyinstantiation? The type of the procedure never 
> changes. The type of the copy of arguments is exactly equal to that 
> expected by the function call.

Think about (vector T) vs. (vector (mutable T))

shap