back - up - cont

Parsing expressions

At this point, the code has to be adapted to get the results parsed:

let thn' p1 p2 (s:string) = 
  match p1 s with
  | [(r,s')] -> p2 r s' 
  | _        -> [];;

let (&&) = thn';;

(dig && fun d1 -> dig && fun d2 s -> [([d1;d2],s)]) "12";;

Nb. To suppress "warnings" use for instance:

#nowarn "86";;
#nowarn "25";;

8 - 18