Make sure an int string is not an ident before trying a big_int convertion

_oasis

 OASISFormat: 0.4
 Name:        lutils
-Version:     1.13
+Version:     1.14
 Authors:     Erwan Jahier
 Maintainers: erwan.jahier@imag.fr
 License:     GPL-3

doc/version.tex

-\newcommand{\version}{1.13}
-\newcommand{\sha}{0013635}
+\newcommand{\version}{1.14}
+\newcommand{\sha}{e9db055}
 \newcommand{\versionname}{none}
-\newcommand{\versiondate}{12-06-17}
+\newcommand{\versiondate}{22-06-17}

src/META

 # OASIS_START
-# DO NOT EDIT (digest: 15d9e918ed9eb34ce3e848dd1e1775a7)
-version = "1.13"
+# DO NOT EDIT (digest: bd2a3dd8b4c274b4d60cc3825abe018b)
+version = "1.14"
 description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)."
 requires = "unix str camlp4 num"
 archive(byte) = "lutils.cma"

src/localGenlex.ml

@@ -27,15 +27,19 @@ let big_max_int = Big_int.big_int_of_nativeint Nativeint.max_int
 let local_int_of_string str = 
   try int_of_string str
   with _ ->
-    let big_i0 = Big_int.big_int_of_string str in
-    let big_i = Big_int.mod_big_int big_i0 (Big_int.succ_big_int big_max_int) in
-    let i = Nativeint.to_int (Big_int.nativeint_of_big_int big_i) in
-    if (Big_int.big_int_of_int i <> big_i0) then (
-      Printf.eprintf  "Warning: integer overflow (%s truncated to %s)\n" 
-        (Big_int.string_of_big_int big_i0) (string_of_int i);
-      flush stderr
-    );
-    i
+       if Str.string_match (Str.regexp "[a-z]") str 0
+       then failwith ("Cannot convert "^str^" into an int")
+       else
+         let big_i0 = Big_int.big_int_of_string str in
+         let big_i = Big_int.mod_big_int big_i0 (Big_int.succ_big_int big_max_int) in
+         let i = Nativeint.to_int (Big_int.nativeint_of_big_int big_i) in
+         if (Big_int.big_int_of_int i <> big_i0) then (
+           Printf.eprintf  "Warning: integer overflow (%s truncated to %s)\n" 
+                           (Big_int.string_of_big_int big_i0) (string_of_int i);
+           flush stderr
+         );
+         i
+      
 
 
 

src/lutilsVersion.ml

-let str="1.13"
-let sha="0013635"
+let str="1.14"
+let sha="e9db055"