From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id DAA17237; Tue, 23 Mar 2004 03:15:02 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA16213 for ; Tue, 23 Mar 2004 03:15:01 +0100 (MET) Received: from swordfish.cs.caltech.edu (swordfish.cs.caltech.edu [131.215.44.124]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2N2ExHd002054 for ; Tue, 23 Mar 2004 03:15:00 +0100 Received: from orchestra.cs.caltech.edu (orchestra.cs.caltech.edu [131.215.44.20]) by swordfish.cs.caltech.edu (Postfix) with ESMTP id 313DBDF2B3; Mon, 22 Mar 2004 18:14:59 -0800 (PST) Received: by orchestra.cs.caltech.edu (Postfix, from userid 2554) id 816F39BBA2; Mon, 22 Mar 2004 18:14:56 -0800 (PST) From: Michael Vanier To: blume@labri.fr Cc: caml-list@inria.fr In-reply-to: <20040322081355.GB28239@labri.fr> (message from Achim Blumensath on Mon, 22 Mar 2004 09:13:55 +0100) Subject: Re: [Caml-list] extensible records again References: <20040321062143.BE7D29BBA2@orchestra.cs.caltech.edu> <20040322081355.GB28239@labri.fr> Message-Id: <20040323021456.816F39BBA2@orchestra.cs.caltech.edu> Date: Mon, 22 Mar 2004 18:14:56 -0800 (PST) X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; vanier:01 mvanier:01 caml-list:01 extensible:01 opaque:01 opaque:01 2004:99 blumensath:01 blume:01 caml-list:01 vanier:01 www-mgi:01 blume:01 blumensath:01 www-mgi:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 316 Achim, I took up your suggestion and downloaded your code. In Opaque.ml I see this mysterious declaration: type opaque 'a = { data : !'b . 'b; type_info : type_info 'a } and type_info 'a = { apply : opaque 'a -> 'a -> 'a; compare : opaque 'a -> opaque 'a -> bool; unify : opaque 'a -> opaque 'a -> bool }; I realize that this uses the revised syntax, but I can't find any documentation on what "!'b . 'b" is supposed to mean. It looks like a universal quantifier on 'b -- correct? Mike > Date: Mon, 22 Mar 2004 09:13:55 +0100 > From: Achim Blumensath > Mail-Followup-To: caml-list@inria.fr > > Michael Vanier wrote: > > I've written a dynamically-typed language in ocaml, and I want to be able to > > add new types to the language without having to add new primitive types to > > the system. > > This weekend I have done something like this in ant: > > www-mgi.informatik.rwth-aachen.de/~blume/pub/ant-current.tar.bz2 > > The type declarations are in > > VM/Types.ml and VM/Opaque.ml > > and an example showing how to define your own type in > > Markup/ALBindings.ml > > Achim > -- > ________________________________________________________________________ > | \_____/ | > Achim Blumensath \O/ \___/\ | > LaBRI / Bordeaux =o= \ /\ \| > www-mgi.informatik.rwth-aachen.de/~blume /"\ o----| > ____________________________________________________________________\___| > > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners