diff options
Diffstat (limited to 'parsing/syntaxerr.ml')
| -rw-r--r-- | parsing/syntaxerr.ml | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/parsing/syntaxerr.ml b/parsing/syntaxerr.ml deleted file mode 100644 index 182863f132..0000000000 --- a/parsing/syntaxerr.ml +++ /dev/null @@ -1,41 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1997 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -(* Auxiliary type for reporting syntax errors *) - -open Format - -type error = - Unclosed of Location.t * string * Location.t * string - | Other of Location.t - -exception Error of error -exception Escape_error - -let report_error ppf = function - | Unclosed(opening_loc, opening, closing_loc, closing) -> - if String.length !Location.input_name = 0 - && Location.highlight_locations ppf opening_loc closing_loc - then fprintf ppf "Syntax error: '%s' expected, \ - the highlighted '%s' might be unmatched" closing opening - else begin - fprintf ppf "%aSyntax error: '%s' expected@." - Location.print closing_loc closing; - fprintf ppf "%aThis '%s' might be unmatched" - Location.print opening_loc opening - end - | Other loc -> - fprintf ppf "%aSyntax error" Location.print loc - - |