[plt-dev] `unsafe-fl' and unboxing

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Oct 4 12:53:27 EDT 2009

At Sat, 3 Oct 2009 08:34:03 -0600, Matthew Flatt wrote:
> (while the contract on the "checked" version ensures that the unsafe
> operations will not cause a crash).

Not true. Sam points out that a vector (or other sequence) can be
mutable, so checking elements at the beginning does not make `variance'
safe if it uses unsafe operations on the elements internally.

Posted on the dev mailing list.