X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_notation%2Ftest_parser.ml;h=58880b9d5b781279600bda07825dbb2cb652742d;hb=c0f566c371cefef7666a6d68dd1b6c38ca6918ce;hp=77135a977d04778312c676faf984ff0beddfa04a;hpb=bf6144a808a16d4e576e56593bbcd63b8db5fe4c;p=helm.git

diff --git a/helm/ocaml/cic_notation/test_parser.ml b/helm/ocaml/cic_notation/test_parser.ml
index 77135a977..58880b9d5 100644
--- a/helm/ocaml/cic_notation/test_parser.ml
+++ b/helm/ocaml/cic_notation/test_parser.ml
@@ -26,8 +26,8 @@
 open Printf
 
 let _ =
-  Helm_registry.load_from "test_parser.conf.xml";
-  Http_getter.init ()
+  Helm_registry.load_from "test_parser.conf.xml"
+(*   Http_getter.init () *)
 
 let _ =
   let module P = CicNotationPt in
@@ -35,40 +35,6 @@ let _ =
   let arg_spec = [ "-level", Arg.Set_int level, "set the notation level" ] in
   let usage = "test_parser -level { 1 | 2 | 3 }" in
   Arg.parse arg_spec (fun _ -> raise (Arg.Bad usage)) usage;
-  if !level = 2 then begin
-    let id =
-      CicNotationParser.extend ~precedence:50 ~associativity:Gramext.LeftA
-        (P.Layout (P.Box (P.H,
-          [
-            P.Magic
-              (P.List1
-                (P.Layout (P.Box (P.H,
-                  [ P.Literal (`Symbol "|");
-                    P.Variable (P.TermVar "ugo");
-                    P.Magic (P.Opt (P.Layout (P.Box (P.H,
-                      [ P.Literal (`Symbol ",");
-                        P.Variable (P.TermVar "pino")]))));
-                    P.Literal (`Symbol "|");
-                  ])),
-                  Some (`Symbol ";")));
-(*             P.Literal (`Symbol "+");
-            P.Magic (P.Opt (P.Layout (P.Box (P.H,
-              [
-                P.Variable (P.TermVar "ugo");
-                P.Literal (`Symbol "+");
-                P.Variable (P.TermVar "pino")
-              ])))); *)
-(*           P.Variable (P.TermVar "a");
-            P.Literal (`Symbol "+");
-            P.Variable (P.TermVar "b"); *)
-          ])))
-        (fun env _ ->
-          prerr_endline "reducing rule" ;
-          prerr_endline (sprintf "env = [ %s ]" (CicNotationPp.pp_env env));
-          P.Sort `Prop)
-    in
-    CicNotationParser.print_l2_pattern ()
-  end;
   let ic = stdin in
   try
     printf "Parsing notation level %d\n" !level; flush stdout;