On Sat, Dec 13, 2008 at 09:45:07PM +, Christopher L Conway wrote:
> This makes me wonder: if you add mutable fields to a type in order to
> build a cyclic data structure, but you intend to use the data
> structure immutably once it is built, is there any way to "freeze" the
> value, producing a
On 12/14/08, Francois Pottier wrote:
> On Sat, Dec 13, 2008 at 07:47:46PM -0600, Edgar Friendly wrote:
>> ExtLib (and thus batteries) uses your unmute (called [inj]) for
>> converting a mutable list into the normal immutable list. The definition:
>
> This is, in principle, unsound. The compiler c
Hi all,
If you are doing something exciting that involves programming languages (ocaml
or other) and security, consider submitting to PLAS! (Apologies for multiple
postings.)
--
François Pottier
francois.pott...@inria.fr
http://cristal.inria.fr/~fpottier/
ACM SIGPLAN Fourt
On Sat, Dec 13, 2008 at 07:47:46PM -0600, Edgar Friendly wrote:
> ExtLib (and thus batteries) uses your unmute (called [inj]) for
> converting a mutable list into the normal immutable list. The definition:
>
> external inj : 'a mut_list -> 'a list = "%identity"
>
> As always, be *very* careful
