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 JAA21073; Mon, 22 Mar 2004 09:12:20 +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 JAA20279 for ; Mon, 22 Mar 2004 09:12:19 +0100 (MET) Received: from iona.labri.fr (iona.labri.fr [147.210.8.143]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2M8CIHd026998 for ; Mon, 22 Mar 2004 09:12:18 +0100 Received: from localhost (localhost.localdomain [127.0.0.1]) by localhost.labri.fr (Postfix) with ESMTP id B750313C67 for ; Mon, 22 Mar 2004 09:12:17 +0100 (CET) Received: from iona.labri.fr ([127.0.0.1]) by localhost (iona.labri.fr [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 01801-09 for ; Mon, 22 Mar 2004 09:12:15 +0100 (CET) Received: from igloo.labri.fr (igloo.labri.fr [147.210.9.44]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (Client did not present a certificate) by iona.labri.fr (Postfix) with ESMTP id E1B1013C69 for ; Mon, 22 Mar 2004 09:12:14 +0100 (CET) Received: from igloo.labri.fr (localhost.localdomain [127.0.0.1]) by igloo.labri.fr (8.12.5/8.12.5) with ESMTP id i2M8DtCW028407 for ; Mon, 22 Mar 2004 09:13:55 +0100 Received: (from blume@localhost) by igloo.labri.fr (8.12.5/8.12.5/Submit) id i2M8Dtc7028405 for caml-list@inria.fr; Mon, 22 Mar 2004 09:13:55 +0100 Date: Mon, 22 Mar 2004 09:13:55 +0100 From: Achim Blumensath To: caml-list@inria.fr Subject: Re: [Caml-list] extensible records again Message-ID: <20040322081355.GB28239@labri.fr> Mail-Followup-To: caml-list@inria.fr References: <20040321062143.BE7D29BBA2@orchestra.cs.caltech.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040321062143.BE7D29BBA2@orchestra.cs.caltech.edu> User-Agent: Mutt/1.4i X-Virus-Scanned: by amavisd-new at labri.fr 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; blumensath:01 blume:01 caml-list:01 extensible:01 vanier:01 www-mgi:01 blume:01 opaque:01 blumensath:01 www-mgi:01 o----:01 ocaml:01 labri:01 labri:01 tar:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 300 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