English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] lisp -> ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-05-28 (00:04)
From: Chris Hecker <checker@d...>
Subject: Re: [Caml-list] lisp -> ocaml

>> 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?


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