diff options
author | Alain Frisch <alain@frisch.fr> | 2013-09-10 12:21:45 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2013-09-10 12:21:45 +0000 |
commit | 202483b02cbcc4a21c421bee4c3bf7d0e8590921 (patch) | |
tree | 95dfcea002ddec366142556a94c72b21117efceb | |
parent | a3dbe1504635298bf9fb334a67d195c9a7718006 (diff) |
Cleanup.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14083 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | parsing/parse.ml | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/parsing/parse.ml b/parsing/parse.ml index ab84b13d4..2f4926ff8 100644 --- a/parsing/parse.ml +++ b/parsing/parse.ml @@ -20,9 +20,9 @@ let rec skip_phrase lexbuf = Parser.SEMISEMI | Parser.EOF -> () | _ -> skip_phrase lexbuf with - | Lexer.Error (Lexer.Unterminated_comment _, _) -> () - | Lexer.Error (Lexer.Unterminated_string, _) -> () - | Lexer.Error (Lexer.Unterminated_string_in_comment _, _) -> () + | Lexer.Error (Lexer.Unterminated_comment _, _) + | Lexer.Error (Lexer.Unterminated_string, _) + | Lexer.Error (Lexer.Unterminated_string_in_comment _, _) | Lexer.Error (Lexer.Illegal_character _, _) -> skip_phrase lexbuf ;; @@ -39,21 +39,19 @@ let wrap parsing_fun lexbuf = Parsing.clear_parser(); ast with - | Lexer.Error(Lexer.Unterminated_comment _, _) as err -> raise err - | Lexer.Error(Lexer.Unterminated_string, _) as err -> raise err - | Lexer.Error(Lexer.Unterminated_string_in_comment _, _) as err -> raise err - | Lexer.Error(Lexer.Illegal_character _, _) as err -> - if !Location.input_name = "//toplevel//" then skip_phrase lexbuf; + | Lexer.Error(Lexer.Illegal_character _, _) as err + when !Location.input_name = "//toplevel//"-> + skip_phrase lexbuf; raise err - | Syntaxerr.Error _ as err -> - if !Location.input_name = "//toplevel//" then maybe_skip_phrase lexbuf; + | Syntaxerr.Error _ as err + when !Location.input_name = "//toplevel//" -> + maybe_skip_phrase lexbuf; raise err | Parsing.Parse_error | Syntaxerr.Escape_error -> let loc = Location.curr lexbuf in if !Location.input_name = "//toplevel//" then maybe_skip_phrase lexbuf; raise(Syntaxerr.Error(Syntaxerr.Other loc)) -;; let implementation = wrap Parser.implementation and interface = wrap Parser.interface |