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/Elab.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/Elab.ml')
| -rw-r--r-- | cparser/Elab.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 33c4822d..e81e6139 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -2254,20 +2254,3 @@ let elab_file prog = reset(); ignore (elab_definitions false (Builtins.environment()) prog); elaborated_program() -(* - let rec inf = Datatypes.S inf in - let ast:Cabs.definition list = - Obj.magic - (match Parser.translation_unit_file inf (Lexer.tokens_stream lb) with - | Parser.Parser.Inter.Fail_pr -> - (* Theoretically impossible : implies inconsistencies - between grammars. *) - Cerrors.fatal_error "Internal error while parsing" - | Parser.Parser.Inter.Timeout_pr -> assert false - | Parser.Parser.Inter.Parsed_pr (ast, _ ) -> ast) - in - reset(); - ignore (elab_definitions false (Builtins.environment()) ast); - elaborated_program() -*) - |