Commits

Sébastien Ferré committed b9f7d6b

Before adding debugging trace.

  • Participants
  • Parent commits 9afe174

Comments (0)

Files changed (1)

 
   seq:
       [ [ "->"; e = expr ->
-            let p = <:expr< Dcg.eps >> in
-	    let f = <:expr< fun _ -> $e$ >> in
-	    <:expr< Dcg.map $p$ $f$ >>
+	    <:expr< Dcg.ret $e$ >>
         | (x1,p1) = atom; ";"; "!"; ";"; p2 = seq2; "|"; p3 = alt ->
 	    let f = <:expr< fun $pat:x1$ -> $p2$ >> in
 	    <:expr< Dcg.cut $p1$ $f$ $p3$ >>
       ] ];
 
   atom:
-    [ [ "EPS" ->
-        <:patt< _ >>, <:expr< Dcg.eps >>
-      | "EOF" ->
+    [ [ "EOF" ->
         <:patt< _ >>, <:expr< Matcher.eof >>
       | "when"; s = str; e = expr LEVEL "top" ->
 	  let f = <:expr< fun () -> $e$ >> in
       | "SOME"; p = par -> <:expr< Dcg.some $p$ >>
       | "LIST0"; p = par; "SEP"; s = sep -> <:expr< Dcg.list0 $p$ $s$ >>
       | "LIST1"; p = par; "SEP"; s = sep -> <:expr< Dcg.list1 $p$ $s$ >> ]
-(*
-      | "LIST0"; p = par; "SEP"; s = expr LEVEL "simple" -> let sep = <:expr< Matcher.look $s$ >> in <:expr< Dcg.list0 $p$ $sep$ >>
-      | "LIST1"; p = par; "SEP"; s = expr LEVEL "simple" -> let sep = <:expr< Matcher.look $s$ >> in <:expr< Dcg.list1 $p$ $sep$ >> ]
-*)
     | [ p = par -> p
       ] ];