summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 00:03:23 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 00:03:23 +0100
commit338f5a08c0779cfddd60f5b0fe5f544e896a2b3f (patch)
tree56b9ed05d99de475b01b2a568569f316d6fac893
parente654b56ef3bb3f710759898450212d63f5e373ac (diff)
downloadpetitcaml-338f5a08c0779cfddd60f5b0fe5f544e896a2b3f.tar.gz
petitcaml-338f5a08c0779cfddd60f5b0fe5f544e896a2b3f.tar.bz2
[petitcaml] Handle invalid integers
-rw-r--r--main.ml5
1 files changed, 4 insertions, 1 deletions
diff --git a/main.ml b/main.ml
index 19d636e..14b1197 100644
--- a/main.ml
+++ b/main.ml
@@ -110,6 +110,9 @@ let _ =
localisation (Lexing.lexeme_start_p buf);
eprintf "Erreur dans l'analyse lexicale : %s@." err;
exit 1
+ | Failure "int_of_string" ->
+ eprintf "Erreur dans l'analyse lexicale (entier invalide)@.";
+ exit 1
| Parser.Error ->
localisation (Lexing.lexeme_start_p buf);
eprintf "Erreur dans l'analyse syntaxique@.";
@@ -119,5 +122,5 @@ let _ =
eprintf "Erreur dans l'analyse sémantique : %s@." err;
exit 1
| _ ->
- eprintf "Erreur du compilateur.";
+ eprintf "Erreur du compilateur@.";
exit 2