X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fm2parsergen%2Fx.m2y;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fm2parsergen%2Fx.m2y;h=0000000000000000000000000000000000000000;hp=3fa80b070d2a8276ae84ea547b1fb267cdde5a95;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/pxp/pxp/m2parsergen/x.m2y b/helm/DEVEL/pxp/pxp/m2parsergen/x.m2y
deleted file mode 100644
index 3fa80b070..000000000
--- a/helm/DEVEL/pxp/pxp/m2parsergen/x.m2y
+++ /dev/null
@@ -1,45 +0,0 @@
-
-type token =
-  A | B | C of int | EOF
-;;
-
-%%
-
-%token A
-%token B
-%token <> C
-%token EOF
-
-%%
-
-r():
-  one:s()
-  {{ }}
-  b:B
-  two:B?
-  three:s()
-  {{ prerr_endline ("Result: " ^ string_of_int three) }}
-? {{ prerr_endline ("ERROR: " ^ !yy_position) }}
-
-s():
-  A 
-  {{ }}
-  {{ prerr_endline "A"; 0 }}
-| B 
-  {{ }}
-  {{ prerr_endline "B"; 0 }}
-| n:C
-  {{ }}
-  {{ prerr_endline ("C: " ^ string_of_int n); n }}
-%%
-
-let input = ref [ A; B; B; B; C 5; EOF ] in
-let current() = List.hd !input in
-let next_token () =
-  prerr_endline "get_next";
-  input := List.tl !input;
-  List.hd !input
-in
-parse_r current next_token
-;;
-