From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id QAA20344 for caml-redistribution; Thu, 31 Oct 1996 16:30:23 +0100
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id LAA15227 for <caml-list@pauillac.inria.fr>; Thu, 31 Oct 1996 11:25:50 +0100
Received: from aenegada.inria.fr (aenegada.inria.fr [138.96.24.22]) by nez-perce.inria.fr (8.7.6/8.7.1) with ESMTP id LAA19775 for <caml-list@inria.fr>; Thu, 31 Oct 1996 11:25:49 +0100 (MET)
Received: by aenegada.inria.fr (8.7.6/8.6.12) id LAA08481; Thu, 31 Oct 1996 11:25:48 +0100 (MET)
Date: Thu, 31 Oct 1996 11:25:48 +0100 (MET)
Message-Id: <199610311025.LAA08481@aenegada.inria.fr>
From: Olivier Pons <opons@aenegada.inria.fr>
To: caml-list@inria.fr
Subject: lexer function .
Sender: weis



	hello !


I have a little problem with the lexer function generated by make_lexer
in the example below:

   let lexer = make_lexer ["("; ")"; "/\\"; "\//"; "~"; "->"];; 

   let a =  (lexer(stream_of_string"a/\~a"));; (* there is no blank*)
   a : token stream = <abstr>
   #let b = (lexer(stream_of_string"a/\ ~a"));;(* there is a blank*)
   b : token stream = <abstr>

and now I just inspect  the token stream generated

   #stream_next a;;                                              
   - : token = Ident "a"
   #stream_next b;;                            
   - : token = Ident "a"

but in the next call 

   #stream_next a;;
   - : token = Ident "/\\~"

   #stream_next b;;
   - : token = Kwd "/\\

   #stream_next a;;
   - : token = Ident "a"

   #stream_next b;;
   - : token = Kwd "~"
   .......

I don't understand why in the first case the keywords /\\ and ~  are not recognized ?

thank in advance


Olivier