Re: [Caml-list] How can I have a string matched my custom type?

[Jean-Christophe Filliatre <filliatr@lri.fr>]

Mehdi writes:
 > There a little problem when you try to compute
 > 
 > > let e = parse "1*3-2";;
 > 
 > 
 > I get :
 > 
 > >  val e : expr = Times (Value "1", Value "3")

This is a Genlex limitation. "-2" is recognized as an integer
constant. Thus you need to add extra space:

======================================================================
# parse "1*3 - 2";;
- : expr = Minus (Times (Value "1", Value "3"), Value "2")
======================================================================

 > I also didn't understand why there is this in "term" :
 > 
 > >    | _ -> f
 > >    | _ -> failwith "syntax error"

Simply because I wrote this code in a rush :-) Forget about the last
line.

-- 
Jean-Christophe