From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA05962 for caml-redistribution; Mon, 1 Jun 1998 13:30:17 +0200 (MET DST)
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 MAA17460 for <caml-list@pauillac.inria.fr>; Mon, 1 Jun 1998 12:51:35 +0200 (MET DST)
Received: from batman.npl.co.uk ([139.143.5.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id MAA21206
	for <caml-list@inria.fr>; Mon, 1 Jun 1998 12:50:24 +0200 (MET DST)
Received: from herschel.npl.co.uk ([139.143.1.16])
	by batman.npl.co.uk (8.8.8/8.8.8) with ESMTP id LAA25649;
	Mon, 1 Jun 1998 11:49:30 +0100 (BST)
Received: from waffle.cise.npl.co.uk (waffle.cise.npl.co.uk [139.143.18.92])
	by herschel.npl.co.uk (8.8.5/8.8.5) with ESMTP id LAA13408;
	Mon, 1 Jun 1998 11:49:28 +0100 (BST)
Received: from squall.npl.co.uk (squall.cise.npl.co.uk [139.143.18.3])
	by waffle.cise.npl.co.uk (8.8.8/8.8.8) with SMTP id LAA15999;
	Mon, 1 Jun 1998 11:49:27 +0100 (BST)
Received: by squall.npl.co.uk (SMI-8.6/SMI-SVR4)
	id LAA13463; Mon, 1 Jun 1998 11:48:55 +0100
Date: Mon, 1 Jun 1998 11:48:55 +0100
Message-Id: <199806011048.LAA13463@squall.npl.co.uk>
From: Toby Moth <tm1@cise.npl.co.uk>
To: ndavis@ti.com
CC: caml-list@inria.fr
In-reply-to: <BMSMTP8966713870a0384552@dpcmail.itg.ti.com> (message from
	Norman Davis on Sun, 31 May 1998 22:22:26 -0700)
Subject: Re: Stream parsing - caml light vs. ocaml
References:  <BMSMTP8966713870a0384552@dpcmail.itg.ti.com>
Sender: weis


option 1:
let rec spaces = parser  
    [< '' '|'\t'|'\n'; rest >] -> spaces rest
  | [< >] -> ()

option 2:
let rec spaces = parser  
    [< '' '|'\t'|'\n'; _ = spaces >] -> ()
  | [< >] -> ()

which may be what you were thinking of