>> Isn't there something that could be done with the toplevel libraries?
>> The toplevel prints variant ctors correctly.
>...
>record labels.  In a separately-compiled program, this typing
>information is available at compile-time, but not at run-time.

Right, I just meant in a program known to be running under the toplevel, would it be possible to use the typing information that's already there?  Those functions aren't available right now, but I don't see why they couldn't be.  

> val new_property: unit -> 'a property
>val put_property: atom -> 'a property -> 'a -> unit
>val get_property: atom -> 'a property -> 'a
>...

I'm confused by what this code is trying to do.  Maybe I don't know enough about lisp to know how this code maps to it, but what's an example code snippet you'd use this code for?

Chris


-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr