From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 71F4BBC6B for ; Sat, 28 Apr 2007 13:23:12 +0200 (CEST) Received: from smtp4-g19.free.fr (smtp4-g19.free.fr [212.27.42.30]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3SBNCi1013770 for ; Sat, 28 Apr 2007 13:23:12 +0200 Received: from kerneis.info (kerneis.info [82.224.215.18]) by smtp4-g19.free.fr (Postfix) with ESMTP id 059DA6B97A for ; Sat, 28 Apr 2007 13:23:12 +0200 (CEST) Received: from localhost ([127.0.0.1] helo=kerneis.info ident=gabriel) by kerneis.info with esmtp (Exim 4.63) (envelope-from ) id 1HhkZv-0001QB-3e for caml-list@yquem.inria.fr; Sat, 28 Apr 2007 12:54:59 +0200 Date: Sat, 28 Apr 2007 12:54:53 +0200 From: Gabriel Kerneis To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] mboxlib reloaded ;-) Message-ID: <20070428125453.1fef4ae4@kerneis.info> In-Reply-To: <20070428104746.GA363@first.in-berlin.de> References: <20070427135425.GA1161@first.in-berlin.de> <20070427162911.GA10099@furbychan.cocan.org> <20070427231220.GA1507@first.in-berlin.de> <1177721646.16582.8.camel@rosella.wigram> <20070428104746.GA363@first.in-berlin.de> X-Mailer: Sylpheed-Claws 2.6.0 (GTK+ 2.8.20; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_JQ=+1Jn/93YPpvf6LZq6e.o"; protocol="application/pgp-signature"; micalg=PGP-SHA1 X-Miltered: at concorde with ID 46332EA0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; reloaded:01 0200,:01 bandel:01 in-berlin:01 lexer:01 ocamllex:01 mll:01 oliver:01 oliver:01 caml-list:01 size:95 generated:05 ecrit:06 apr:06 file:08 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" --Sig_JQ=+1Jn/93YPpvf6LZq6e.o Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Le Sat, 28 Apr 2007 12:47:47 +0200, Oliver Bandel a =E9crit : > > You should check the size (number of states) of the generated > > lexer. >=20 > How? It's printed out by ocamllex when you run it on you .mll file. Regards, --=20 Gabriel=20 --Sig_JQ=+1Jn/93YPpvf6LZq6e.o Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGMygC6a2JmXQu5bYRAqAFAJ97BhEZj/27fwQ/hKM5mPlo204sGACeMLcr unrJUsTaFcs9vw7WRvh72OY= =voZe -----END PGP SIGNATURE----- --Sig_JQ=+1Jn/93YPpvf6LZq6e.o--