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
b7357e79
Commit
b7357e79
authored
Nov 05, 2015
by
POTTIER Francois
Browse files
CHANGES update.
parent
e8aa732d
Changes
1
Hide whitespace changes
Inline
Side-by-side
CHANGES
View file @
b7357e79
2015/11/04:
Modified the treatment of %inline so that the positions that are computed are
the same, regardless of whether %inline is used. This property did not hold
until now. It now does. Of course, this means that the positions computed by
the new Menhir are not the same as those computed by older versions of Menhir.
2015/11/04:
Fixed a bug in the treatment of %inline that would lead to an incorrect
position being computed when the caller and callee had a variable by the
same name.
2015/11/04:
Modified Menhir to compute the start and end positions in the exact same way
as ocamlyacc. (There used to be a difference in the treatment of epsilon
productions.)
Modified Menhir so as to compute the start and end positions in the exact same
way as ocamlyacc. (There used to be a difference in the treatment of epsilon
productions.) Of course, this means that the positions computed by the new
Menhir are not the same as those computed by older versions of Menhir.
2015/11/04:
Incompatible change of the incremental API: instead of a unit argument, the
entry points (which are named after the start symbol) now require an initial
entry points (which are named after the start symbol
s
) now require an initial
position, which typically should be [lexbuf.lex_curr_p].
2015/11/03:
...
...
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