Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
0050c841
Commit
0050c841
authored
Sep 25, 2015
by
POTTIER Francois
Browse files
Removed two OCaml error-handling functions that are no longer needed.
parent
99d52537
Changes
1
Hide whitespace changes
Inline
Side-by-side
bench/good/compcert_simplified.mly
View file @
0050c841
...
...
@@ -25,16 +25,6 @@
let
declare_typename
(
i
,_,_
)
=
!
declare_typename
i
let
syntax_error
pos
=
Cerrors
.
fatal_error
"%s:%d: syntax error"
pos
.
Lexing
.
pos_fname
pos
.
Lexing
.
pos_lnum
let
unclosed
opening
closing
pos1
pos2
=
Cerrors
.
info
"%s:%d: syntax error: expecting '%s'"
pos2
.
Lexing
.
pos_fname
pos2
.
Lexing
.
pos_lnum
closing
;
Cerrors
.
fatal_error
"%s:%d: this is the location of the unclosed '%s'"
pos1
.
Lexing
.
pos_fname
pos1
.
Lexing
.
pos_lnum
opening
%
}
%
token
<
string
*
Pre_parser_aux
.
identifier_type
ref
*
Cabs
.
cabsloc
>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment