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
d2ebbe37
Commit
d2ebbe37
authored
Apr 10, 2017
by
POTTIER Francois
Browse files
CHANGES.
parent
ec365950
Changes
1
Hide whitespace changes
Inline
Side-by-side
CHANGES.md
View file @
d2ebbe37
...
...
@@ -44,6 +44,11 @@
inspect the parser's stack. The module
`MenhirLib.General`
is deprecated
as well. Deprecated functionality will be removed in the future.
*
Incompatible change in the incremental API: the type of the function
`print_stack`
in the result signature of the functor
`MenhirLib.Printers.Make`
changes to
`'a env -> unit`
.
(Anyway, as of now,
`MenhirLib.Printers`
remains undocumented.)
*
Improved the syntax error message that is displayed when a
`.mly`
file
is incorrect: the previous and next token are shown.
...
...
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