diff options
Diffstat (limited to 'parsing/syntaxerr.mli')
| -rw-r--r-- | parsing/syntaxerr.mli | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/parsing/syntaxerr.mli b/parsing/syntaxerr.mli new file mode 100644 index 000000000..dd69c8551 --- /dev/null +++ b/parsing/syntaxerr.mli @@ -0,0 +1,22 @@ +(***********************************************************************) +(* *) +(* Objective Caml *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1997 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + +(* Auxiliary type for reporting syntax errors *) + +type error = + Unclosed of Location.t * string * Location.t * string + | Other of Location.t + +exception Error of error + +val report_error: error -> unit |