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 QAA16821; Fri, 9 Apr 2004 16:08:20 +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 QAA16167 for ; Fri, 9 Apr 2004 16:08:19 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from troyes.dyndns.org (m48.net81-65-220.noos.fr [81.65.220.48]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i39E8HYM014380 for ; Fri, 9 Apr 2004 16:08:18 +0200 Received: from [132.227.204.75] (localhost [127.0.0.1]) by troyes.dyndns.org (Postfix) with ESMTP id 158FF59414 for ; Fri, 9 Apr 2004 16:08:14 +0200 (CEST) Mime-Version: 1.0 Message-Id: Date: Fri, 9 Apr 2004 16:02:29 +0200 To: caml-list@inria.fr From: Paul Guyot Subject: [Caml-list] [PATCH] genlex documentation fix Content-Type: multipart/mixed; boundary="============_-1130602800==_============" 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; mli:01 stdlib:01 mli:01 2004:99 expr:01 'int:01 'kwd:01 expr:01 'kwd:01 'int:01 rendez-vous:99 newton:99 ocaml:01 caml:01 int:01 X-Attachments: type="application/applefile" name="%genlex.mli.diff" name="%genlex.mli.diff" type="application/octet-stream" name="genlex.mli.diff" name="genlex.mli.diff" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 216 --============_-1130602800==_============ Content-Type: text/plain; charset="us-ascii" ; format="flowed" Hello, The sample code in the genlex module documentation is broken. Attached (and below) is a patch to fix it from the CVS version. Paul ---- Index: genlex.mli =================================================================== RCS file: /caml/ocaml/stdlib/genlex.mli,v retrieving revision 1.8 diff -u -r1.8 genlex.mli --- genlex.mli 2001/12/07 13:40:51 1.8 +++ genlex.mli 2004/04/09 13:59:13 @@ -29,12 +29,16 @@ to, for instance, [int], and would have rules such as: {[ - let parse_expr = parser - [< 'Int n >] -> n - | [< 'Kwd "("; n = parse_expr; 'Kwd ")" >] -> n - | [< n1 = parse_expr; n2 = parse_remainder n1 >] -> n2 - and parse_remainder n1 = parser + + let rec parse_expr = parser + [< 'Int n>] -> n + | [< 'Kwd "("; + n = parse_expr; + n2 = parse_remainder n; + 'Kwd ")" >] -> n2 + and parse_remainder n1 = parser [< 'Kwd "+"; n2 = parse_expr >] -> n1+n2 + | [< 'Kwd "-"; n2 = parse_expr >] -> n1-n2 | ... ]} *) --============_-1130602800==_============ Content-Id: Content-Type: multipart/appledouble; boundary="============_-1130602800==_D============" --============_-1130602800==_D============ Content-Transfer-Encoding: base64 Content-Type: application/applefile; name="%genlex.mli.diff" Content-Disposition: attachment; filename="%genlex.mli.diff" ; modification-date="Fri, 9 Apr 2004 16:01:54 +0200" AAUWBwACAAAAAAAAAAAAAAAAAAAAAAAAAAMAAAADAAAAPgAAAA8AAAAJAAAATQAAACAA AAAIAAAAbQAAABBnZW5sZXgubWxpLmRpZmZURVhUAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAgJhWUICYVyS20MAAgJhvA= --============_-1130602800==_D============ Content-Type: application/octet-stream; name="genlex.mli.diff" Content-Disposition: attachment; filename="genlex.mli.diff" Content-Transfer-Encoding: base64 SW5kZXg6IGdlbmxleC5tbGkKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQpSQ1MgZmlsZTogL2NhbWwv b2NhbWwvc3RkbGliL2dlbmxleC5tbGksdgpyZXRyaWV2aW5nIHJldmlzaW9uIDEuOApk aWZmIC11IC1yMS44IGdlbmxleC5tbGkKLS0tIGdlbmxleC5tbGkJMjAwMS8xMi8wNyAx Mzo0MDo1MQkxLjgKKysrIGdlbmxleC5tbGkJMjAwNC8wNC8wOSAxNDowMTo0MgpAQCAt MjksMTIgKzI5LDE2IEBACiAgICB0bywgZm9yIGluc3RhbmNlLCBbaW50XSwgYW5kIHdv dWxkIGhhdmUgcnVsZXMgc3VjaCBhczoKIAogICAge1sKLSAgICAgICAgICAgbGV0IHBh cnNlX2V4cHIgPSBwYXJzZXIKLSAgICAgICAgICAgICAgICAgIFs8ICdJbnQgbiA+XSAt PiBuCi0gICAgICAgICAgICAgICAgfCBbPCAnS3dkICIoIjsgbiA9IHBhcnNlX2V4cHI7 ICdLd2QgIikiID5dIC0+IG4KLSAgICAgICAgICAgICAgICB8IFs8IG4xID0gcGFyc2Vf ZXhwcjsgbjIgPSBwYXJzZV9yZW1haW5kZXIgbjEgPl0gLT4gbjIKLSAgICAgICAgICAg YW5kIHBhcnNlX3JlbWFpbmRlciBuMSA9IHBhcnNlcgorCisgICAgICAgICAgIGxldCBy ZWMgcGFyc2VfZXhwciA9IHBhcnNlcgorICAgICAgICAgICAgICAgICAgWzwgJ0ludCBu Pl0gLT4gbgorICAgICAgICAgICAgICAgIHwgWzwgJ0t3ZCAiKCI7CisgICAgICAgICAg ICAgICAgICAgICBuID0gcGFyc2VfZXhwcjsKKyAgICAgICAgICAgICAgICAgICAgIG4y ID0gcGFyc2VfcmVtYWluZGVyIG47CisgICAgICAgICAgICAgICAgICAgICAnS3dkICIp IiA+XSAtPiBuMgorICAgICAgICAgICBhbmQgcGFyc2VfcmVtYWluZGVyIG4xID0gcGFy c2VyCiAgICAgICAgICAgICAgICAgICBbPCAnS3dkICIrIjsgbjIgPSBwYXJzZV9leHBy ID5dIC0+IG4xK24yCisgICAgICAgICAgICAgICAgfCBbPCAnS3dkICItIjsgbjIgPSBw YXJzZV9leHByID5dIC0+IG4xLW4yCiAgICAgICAgICAgICAgICAgfCAuLi4KICAgIF19 CiAqKQo= --============_-1130602800==_D============-- --============_-1130602800==_============ Content-Type: text/plain; charset="us-ascii" ; format="flowed" -- Philosophie de baignoire - consultations sur rendez-vous. NPDS/NewtonOS: http://newton.kallisys.net:8080/ Apache/FreeBSD: http://www.kallisys.com/ --============_-1130602800==_============-- ------------------- 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