1 files changed, 0 insertions, 36 deletions
diff --git a/parsing/parse.ml b/parsing/parse.ml
deleted file mode 100644
index 04764f5eb9..0000000000
--- a/parsing/parse.ml
+++ /dev/null
@@ -1,36 +0,0 @@
-(* Entry points in the parser *)
-
-exception Error of int * int        (* Syntax error *)
-(* Skip tokens to the end of the phrase *)
-
-let rec skip_phrase lexbuf =
-  try
-    match Lexer.token lexbuf with
-      Parser.SEMISEMI | Parser.EOF -> ()
-    | _ -> skip_phrase lexbuf
-  with Lexer.Error(_,_,_) ->
-    skip_phrase lexbuf
-
-let maybe_skip_phrase lexbuf =
-  if Parsing.is_current_lookahead Parser.SEMISEMI
-  or Parsing.is_current_lookahead Parser.EOF
-  then ()
-  else skip_phrase lexbuf
-
-let wrap parsing_fun lexbuf =
-  try
-    parsing_fun Lexer.token lexbuf
-  with
-      Lexer.Error(_, _, _) as err ->
-        if !Location.input_name = "" then skip_phrase lexbuf;
-        raise err
-    | Parsing.Parse_error ->
-        let start = Lexing.lexeme_start lexbuf
-        and stop  = Lexing.lexeme_end lexbuf in
-        if !Location.input_name = "" 
-        then maybe_skip_phrase lexbuf;
-        raise(Error(start, stop))
-
-let toplevel_phrase = wrap Parser.toplevel_phrase
-and implementation = wrap Parser.implementation
-and interface = wrap Parser.interface