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 OAA24319; Wed, 7 Nov 2001 14:01: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 OAA24261; Wed, 7 Nov 2001 14:01:19 +0100 (MET) Received: from mail6.uts.ohio-state.edu (mail6.uts.ohio-state.edu [128.146.214.29]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fA7D1If03378; Wed, 7 Nov 2001 14:01:18 +0100 (MET) Received: from functor.resnet.ohio-state.edu (rpat-100-139.resnet.ohio-state.edu [164.107.100.139]) by mail6.uts.ohio-state.edu (8.9.3/8.9.3) with ESMTP id IAA00767; Wed, 7 Nov 2001 08:01:17 -0500 (EST) Received: by functor.resnet.ohio-state.edu (Postfix, from userid 1001) id 64A7F112D3; Wed, 7 Nov 2001 08:59:29 -0500 (EST) Date: Wed, 7 Nov 2001 08:59:29 -0500 From: Jeremy Fincher To: Daniel de Rauglaudre Cc: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] Genlex (question and problem) Message-ID: <20011107085929.A36635@functor.resnet.ohio-state.edu> References: <20011107044223.A35732@functor.resnet.ohio-state.edu> <20011107101948.D24020@verdot.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20011107101948.D24020@verdot.inria.fr>; from daniel.de_rauglaudre@inria.fr on Wed, Nov 07, 2001 at 10:19:48AM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > I get "This pattern matches values of type Genlex.token option but > > is here used to match values of type Genlex.token Stream.t option", > > which I *cannot* figure out. > > At which location of your source? Did I really forget that? Sheesh! It was late here :) I get the error on the parse_inside function *after* the parse_stats function (the second one :)) If I comment out this line: | [< 'Ident "stats"; 'Kwd "="; stats = parse_stats; Kwd ";"; rest >] -> parse_inside2 { cu with stats = stats } rest Then it works. But I can't see what's wrong with that line. Thanks, Jeremy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr