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 UAA30618; Mon, 13 Sep 2004 20:16:57 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA29818 for ; Mon, 13 Sep 2004 20:16:56 +0200 (MET DST) Received: from mail.gmx.net (mail.gmx.de [213.165.64.20]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id i8DIGtZq018561 for ; Mon, 13 Sep 2004 20:16:55 +0200 Received: (qmail 21054 invoked by uid 65534); 13 Sep 2004 17:48:08 -0000 Received: from pD951DE2C.dip.t-dialin.net (EHLO [217.81.222.44]) (217.81.222.44) by mail.gmx.net (mp002) with SMTP; 13 Sep 2004 19:48:08 +0200 X-Authenticated: #19965254 Message-ID: <41472EC6.2080007@gmx.net> Date: Tue, 14 Sep 2004 19:47:50 +0200 From: Eugene Ossintsev User-Agent: Mozilla/5.0 (X11; U; FreeBSD i386; en-US; rv:1.7.2) Gecko/20040824 X-Accept-Language: ru, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: [Caml-list] strange behaviour of ocamldoc Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 4145E417.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ocamldoc:01 ocamldoc:01 strangely:01 foo:01 mli:01 foo:01 mli:01 enumerated:01 enumerated:01 ocaml:01 token:01 behaviour:01 supported:01 exists:01 writes:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, In OCaml 3.08.0 and 3.08.1 (not tested with the other versions) it seems that ocamldoc behaves strangely in the following case: foo.mli: -------- (** Supported URL schemes. *) type url_scheme = | Http (** Hypertext Transfer Protocol *) | Ftp (** File Transfer protocol *) | File (** Local file access *) ocamldoc foo.mli writes the error message: foo.mli : lexing: empty token. That error occurs if in the (** *)-comment of an enumerated type there exists a word (or, more exactly, a combination of letters) matching the name of the following enumerated type or a part of the name of that type. In the above example it is "File". In other words, any of those combinations gives the error: (** Comments *) type my_type = | Aaa (** foo Bbb bar *) | Bbb (** blah-blah *) (** Comments *) type my_type = | Aaa (** foo Bbb bar *) | Bb (** blah-blah *) (** Comments *) type my_type = | Aaa (** foo Bbb bar *) | B (** blah-blah *) Could you help me solve the problem? What am I doing wrong? -- Eugene Ossintsev ------------------- 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