X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql%2FmQueryMisc.ml;h=92805067971ef6699f03c58886a4cdc60c83abd0;hb=5a369548a2f04fb59b5cbb94526325aae9bf415a;hp=311596baa3e4523af9d1a2f4fed6ca91f00b1227;hpb=6947d854bee933128bee8f060bedd475fcb49cf9;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryMisc.ml b/helm/ocaml/mathql/mQueryMisc.ml
index 311596baa..928050679 100644
--- a/helm/ocaml/mathql/mQueryMisc.ml
+++ b/helm/ocaml/mathql/mQueryMisc.ml
@@ -57,15 +57,20 @@ let cic_textual_parser_uri_of_string uri' =
       let uri'',typeno = CicTextualLexer.indtyuri_of_uri uri' in
        CicTextualParser0.IndTyUri (uri'',typeno)
      with
-      _ ->
-       (* Constructor of an Inductive Type *)
-       let uri'',typeno,consno =
-        CicTextualLexer.indconuri_of_uri uri'
-       in
-        CicTextualParser0.IndConUri (uri'',typeno,consno)
+        UriManager.IllFormedUri _
+      | CicTextualParser0.LexerFailure _
+      | Invalid_argument _ ->
+         (* Constructor of an Inductive Type *)
+         let uri'',typeno,consno =
+          CicTextualLexer.indconuri_of_uri uri'
+         in
+          CicTextualParser0.IndConUri (uri'',typeno,consno)
     )
  with
-  _ -> raise (IllFormedUri uri')
+    UriManager.IllFormedUri _
+  | CicTextualParser0.LexerFailure _
+  | Invalid_argument _ ->
+     raise (IllFormedUri uri')
 ;;
 let cic_textual_parser_uri_of_string uri' =
   let res = cic_textual_parser_uri_of_string uri' in
@@ -95,3 +100,14 @@ let term_of_cic_textual_parser_uri uri =
    | CTP.IndConUri (uri,tyno,consno) -> C.MutConstruct (uri,tyno,consno,[])
 ;;
 
+(* time handling  ***********************************************************)
+
+type time = float * float 
+
+let start_time () =
+   (Sys.time (), Unix.time ())
+   
+let stop_time (s0, u0) =
+   let s1 = Sys.time () in
+   let u1 = Unix.time () in
+   Printf.sprintf "%.2fs,%.2fs" (s1 -. s0) (u1 -. u0)