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 VAA25088; Fri, 4 Jul 2003 21:37:11 +0200 (MET DST) 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 VAA22813 for ; Fri, 4 Jul 2003 21:37:10 +0200 (MET DST) Received: from mz1.forethought.net (mzpi3.forethought.net [216.241.36.12]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h64Jb9f16394 for ; Fri, 4 Jul 2003 21:37:10 +0200 (MET DST) Received: from [216.241.35.41] (helo=swordfish) by mz1.forethought.net with esmtp (Exim 4.14) id 19YWMm-0005y4-Os for caml-list@pauillac.inria.fr; Fri, 04 Jul 2003 13:37:08 -0600 Received: from matt by swordfish with local (Exim 3.35 #1 (Debian)) id 19YWMp-0003NH-00 for ; Fri, 04 Jul 2003 13:37:11 -0600 Date: Fri, 4 Jul 2003 13:37:11 -0600 From: Matt Gushee To: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] CDuce Message-ID: <20030704193710.GA11533@swordfish> Reply-To: Matt Gushee Mail-Followup-To: caml-list@pauillac.inria.fr References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.27i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; gushee:01 mgushee:01 havenrock:01 caml-list:01 cduce:01 alain:01 frisch:01 higher-order:01 type-based:01 runtime:01 aaaa:99 cccc:99 inferred:01 bug:01 command-line:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Jul 04, 2003 at 10:20:14AM +0200, Alain.Frisch@ens.fr wrote: > > I'm pleased to announce the first public release of CDuce, a new > strongly typed higher-order functional programming language for XML > documents with an efficient type-based runtime implementation. This is very interesting. I've compiled it and begun learning the language, but there seems to be a problem with type inferencing in the 'load_xml' function. Given the following XML: -- abc.xml ------------------------------------------------------------- aaaa bbbb cccc ------------------------------------------------------------- abc.xml -- My CDuce session looks like this: CDuce version 0.1.0 # type ABC = [ A B C ] > type A = [ PCDATA ] > type B = [ PCDATA ] > type C = [ PCDATA ];; # let abc : ABC = load_xml "abc.xml";; Error at chars 16-34: This expression should have type: ABC but its inferred type is: Any which is not a subtype, as shown by the sample: Int Have I done something wrong, or is this indeed a bug? P.S.: Is there any particular reason your makefile doesn't have an ordinary 'install' target, so that people can easily install the tools for command-line use? -- Matt Gushee When a nation follows the Way, Englewood, Colorado, USA Horses bear manure through mgushee@havenrock.com its fields; http://www.havenrock.com/ When a nation ignores the Way, Horses bear soldiers through its streets. --Lao Tzu (Peter Merel, trans.) ------------------- 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