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 /parsing | |
| parent | a3dbe1504635298bf9fb334a67d195c9a7718006 (diff) | |
| download | ocaml-202483b02cbcc4a21c421bee4c3bf7d0e8590921.tar.gz | |
Cleanup.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14083 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing')
| -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 ab84b13d4e..2f4926ff88 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 |
