diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-01 17:19:45 +0200 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-01 17:19:45 +0200 |
commit | a594de0f1c15b71a423d2cfc51a5c603796deafa (patch) | |
tree | 50053d3348d6976ef77f4b38c62c6cbb07083318 /cparser/pre_parser_aux.ml | |
parent | efd453afac8fcfb741f06166af0379ec8178650f (diff) | |
parent | 504228b1f7b875550eae9e3782a5f2c1033b0233 (diff) | |
download | compcert-a594de0f1c15b71a423d2cfc51a5c603796deafa.tar.gz compcert-a594de0f1c15b71a423d2cfc51a5c603796deafa.zip |
Merge pull request #57 from jhjourdan/parser_fix
Correction of a few bugs in the pre-parser, added comments.
Diffstat (limited to 'cparser/pre_parser_aux.ml')
-rw-r--r-- | cparser/pre_parser_aux.ml | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/cparser/pre_parser_aux.ml b/cparser/pre_parser_aux.ml index 55dfdfde..c6b48608 100644 --- a/cparser/pre_parser_aux.ml +++ b/cparser/pre_parser_aux.ml @@ -18,8 +18,20 @@ type identifier_type = | TypedefId | OtherId -let push_context:(unit -> unit) ref= ref (fun () -> assert false) -let pop_context:(unit -> unit) ref = ref (fun () -> assert false) +(* These functions push and pop a context on the contexts stack. *) +let open_context:(unit -> unit) ref = ref (fun () -> assert false) +let close_context:(unit -> unit) ref = ref (fun () -> assert false) +(* Applying once this functions saves the whole contexts stack, and + applying it the second time restores it. + + This is mainly used to rollback the context stack to a previous + state. This is usefull for example when we pop too much contexts at + the end of the first branch of an if statement. See + pre_parser.mly. *) +let save_contexts_stk:(unit -> (unit -> unit)) ref = ref (fun _ -> assert false) + +(* Change the context at the top of the top stack of context, by + changing an identifier to be a varname or a typename*) let declare_varname:(string -> unit) ref = ref (fun _ -> assert false) let declare_typename:(string -> unit) ref = ref (fun _ -> assert false) |