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
db51d2ce
Commit
db51d2ce
authored
Apr 07, 2017
by
POTTIER Francois
Browse files
CHANGES.
parent
a9767a15
Changes
1
Hide whitespace changes
Inline
Side-by-side
CHANGES.md
View file @
db51d2ce
...
...
@@ -24,8 +24,15 @@
parts within a single
`.mly`
file. (This used to be permitted only over
multiple
`.mly`
files.) (Suggested by Frédéric Bour.)
*
Improved the syntax error message that is displayed when a
`.mly`
file
is incorrect: the previous and next token are shown.
*
New functions in the incremental API:
`shifts`
,
`acceptable`
,
`current_state_number`
.
*
New functions in the incremental API and inspection API:
`top`
,
`pop`
,
`pop_many`
,
`get`
,
`equal`
,
`force_reduction`
,
`feed`
,
`input_needed`
,
`state_has_default_reduction`
,
`production_index`
,
`find_production`
.
(Suggested by Frédéric Bour.)
*
Incompatible change in the incremental API: the type
`env`
becomes
`'a env`
.
...
...
@@ -37,6 +44,9 @@
inspect the parser's stack. The module
`MenhirLib.General`
is deprecated
as well. Deprecated functionality will be removed in the future.
*
Improved the syntax error message that is displayed when a
`.mly`
file
is incorrect: the previous and next token are shown.
*
Fixed a bug where the module name
`Basics`
was shadowed (that is, if the user's
project happened to contain a toplevel module by this name, then it could not
be referred to from a
`.mly`
file). (Reported by François Thiré.)
...
...
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