diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-04-29 13:58:18 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-04-29 13:58:18 +0000 |
| commit | f1d236b83003eda71e12840732d159fd23b1b771 (patch) | |
| tree | 0edad805ea24f7b626d2c6fee9fc50da23acfc47 /cparser/Parse_aux.ml | |
| parent | 39df8fb19bacb38f317abf06de432b83296dfdd1 (diff) | |
Integration of Jacques-Henri Jourdan's verified parser.
(Merge of branch newparser.)
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Parse_aux.ml')
| -rwxr-xr-x | cparser/Parse_aux.ml | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/cparser/Parse_aux.ml b/cparser/Parse_aux.ml deleted file mode 100755 index 0600261..0000000 --- a/cparser/Parse_aux.ml +++ /dev/null @@ -1,46 +0,0 @@ -(* *********************************************************************) -(* *) -(* The Compcert verified compiler *) -(* *) -(* Xavier Leroy, INRIA Paris-Rocquencourt *) -(* *) -(* Copyright Institut National de Recherche en Informatique et en *) -(* Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU General Public License as published by *) -(* the Free Software Foundation, either version 2 of the License, or *) -(* (at your option) any later version. This file is also distributed *) -(* under the terms of the INRIA Non-Commercial License Agreement. *) -(* *) -(* *********************************************************************) - -open Format -open Cerrors -open Cabshelper - -(* Report parsing errors *) - -let parse_error msg = - error "%a: %s" format_cabsloc (currentLoc()) msg - -(* Are we parsing msvc syntax? *) - -let msvcMode = ref false - -(* We provide here a pointer to a function. It will be set by the lexer and - * used by the parser. In Ocaml lexers depend on parsers, so we we have put - * such functions in a separate module. *) -let add_identifier: (string -> unit) ref = - ref (fun _ -> assert false) - -let add_type: (string -> unit) ref = - ref (fun _ -> assert false) - -let push_context: (unit -> unit) ref = - ref (fun _ -> assert false) - -let pop_context: (unit -> unit) ref = - ref (fun _ -> assert false) - -(* Keep here the current pattern for formatparse *) -let currentPattern = ref "" - |