Changelog for BNFC-2.9.3
2.9.3
Andreas Abel andreas.abel@gu.se September 2021
- BNFC now uniformly signs generated files with its version number [#373]
- C/C++: include
stdio.h
in parser header files [#381] - C++: fixed parser regression in 2.9.2: missing
#include <algorithm>
[#377] - Ocaml: lex CR as whitespace [see also #376]
- Ocaml: correct position in parse errors [#380]
- Ocaml/Haskell: make printer for lists categories total [#383]
2.9.2
Andreas Abel andreas.abel@gu.se June 2021
Major improvements
- Haskell: layout keywords can now be stacked on the same line [#354], see https://bnfc.readthedocs.io/en/latest/lbnf.html#stacking-layout-keywords
- C: new methods
free_*
andclone_*
to deallocate and clone syntax trees [#348] - C/C++ backends now create reentrant parsers [#349]
Bug fixes and small improvements
- Haskell-GADT: generated code is warning free [#346]
- Haskell: fixes in layout preprocessor [#343,#344,#345,#352,#353]
- Haskell: print
[Char]
correctly, removed methodprtList
[#359] - Haskell: added missing import [#368], regression introduced in 2.9.1 by [#331]
- C: fixed a space leak when parsing from a string in memory [#347]
- C: removed errorneous
define
d constructors fromSkeleton.c
- C++:
define
d constructors now reside inAbsyn
[#287] - Java:
define
d constructor now reside inAbsynDef.java
[#287] - Ocaml: fixed translation of nested
define
d constructors - C/C++/Java: Pre/post/mixfix lists are now printed correctly [#358]
- all:
define
d constructors involving list expressions work now [#363] - all: printers render braces on their own line [#366]
Cosmetical changes
- C/C++: instead of
_SYMB_nnn
, more readable token names in lexer & parser
2.9.1
Andreas Abel andreas.abel@gu.se March 2021
Main new feature
- Haskell: the
--functor
option now produces position-annotated ASTs [#176,#327]. Thanks @Commelina!
Bug fixes and small improvements
- Haskell: fix generated
Makefile
and test parser for--glr
mode [#340] - Haskell(/GADT): generated modules import
Prelude
explicitly, compatible with{-# LANGUAGE NoImplicitPrelude #-}
- Haskell: generated code is warning free [#331]
- Haskell: generated printer more robust wrt. identifier clashes [#337]
- Haskell/C: handle token constructors in
define
expressions [#338] - Java/ANTLR: removed more superfluous quotation in lexer character sets [#329]
- Ocaml: fix syntax error in generated printer [#330]
- LBNF: more sanity checks [#339]
- Tested with GHC 9.0
2.9.0
Andreas Abel andreas.abel@gu.se December 2020
Major changes
- New license: BSD 3-clause [#308]
- LBNF: removed
delimiters
pragma [#308] - Haskell: removed options
--alex1
,--alex2
,--sharestrings
,--profile
, and--cnf
[#265] - C#: backend removed [#265]
Bug fixes
- LBNF: allow list categories in
entrypoints
pragma [#306] - LBNF: report clashes between token and ordinary categories [#323]
- C:
strdup
is not part of C89 standard,_POSIX_C_SOURCE
required [#318] - C/C++: fixed buffer overrun in
String
literal lexer [#316] - C++: fixed regressions (one of them #310) introduced by #288
- C/C++/OCaml: allow unicode characters in token definitions [#324]
- C/OCaml: sanitize grammar file names [#325]
- Java/ANTLR: removed superfluous quotation in lexer character sets [#319]
2.8.4
Andreas Abel andreas.abel@gu.se October 2020
- GHC versions 7.10 - 8.10 supported, dropped GHC 7.6 and 7.8
- LBNF: whitespace list separators are now accepted; treated like "" [#70]
define
pragma now implemented by all maintained backends [#266, #285]- BNFC performs more sanity checks on the grammar, reports errors with source locations [#186, #213, #214]
- option
--check
to only perform sanity checks [#286] - Backends now more resilient against keyword and name clashes (e.g. via qualified imports) [#278, #289]
- Haskell: new option
--text-token
to useData.Text
instead ofString
in the lexer [#167] - Haskell: allow block comment delimiters of any length [#169, #202]
- Haskell: define
Err
monad asEither String
[#273], migration guide at https://bnfc.readthedocs.io/en/v2.8.4/user_guide.html#haskell-backend - Haskell:
IsString
instances forIdent
-like token types [#192] - C/C++/Java: support multiple block comment forms per grammar [#202]
- C++(STL): parser now throws exception on parse error [#288]
- C++: fixed quadratic behavior in C++-generated printer (regression in 2.8.2)
- Java: escape JFlex special characters [#299]
- Java/ANTLR: emit start rules to work around ANTLR issue #2689 [#272]
- Ocaml: new flag
--menhir
to generate parser with menhir instead of ocamlyacc - Bug fixes: #163, #169, #196, #212, #235, #256, #264, #269, #274, #276, #277, #279, #282, #283, #290
- Fact-checking and revising LBNF documentation at https://bnfc.readthedocs.io/en/v2.8.4/lbnf.html
2.8.3
Andreas Abel andreas.abel@gu.se August 2019
- GHC 8.8 compatibility
- Stack installation supported by provided .yaml files [#198]
- Unicode support in lexer, excl. C, C++ and Ocaml [#249]
- LBNF: support \r (carriage return) and \f (form feed) in token declaration [#257]
- LBNF: allow numbered categories (like Foo2) independent of coercions [#210]
- Agda: new (experimental) backend, providing bindings to AST/parser/printer of Haskell backend
- C: supports now the -l option to give error locations [#238]
- C: correct function names in generated skeletons [#239]
- C, C++: handle regular expression difference (subtraction) correctly [#237]
- Haskell: generates now more fine-grained Makefile that invokes bnfc on changed .cf file
- Haskell: use qualified import of AST in generated printer [#128,#228]
- Haskell: printer code no longer produces deprecation warning concerning OverlappingInstances [#233]
- Haskell/CNF: fixed problem with Any type in generated code [#216]
- Haskell/CNF: generated test program now same name (Test) as w/o --cnf
- Haskell/GLR: correct module header in .y file [#252]
2.8.2
Andreas Abel andreas.abel@gu.se November 2018
- GHC 8.4 compatibility [#227,#236]
- bnfc now puts current timestamp on all created files, even unchanged ones [#219]
- bnfc is now more accepting about border-line terminals [#149]
- Improved error messages [#144] in particular on undefined categories [#151]
- C: Emit correct function prototypes [#185]
- C++: Fix buffer overrun in pretty printer [#242]
- C++: Fix regression introduced in 2.8 in Skeleton.H [#164]
- C++: Replace
%name-prefix
with%define api.prefix
in bison files [#181] - C++: Fix a bug that appeared if you had a category named "List"
- C, C++: Add usage output to the test program [#141]
- C, C++: Fix a bug in the parser file when using -p [#172]
- C, C++, OCaml, Java: Accept ' or " as comment delimiters [#146]
- Haskell: Generated code mostly hlint-warning free
- Haskell: Small fixes [#166,#170,#222]
- Java: Add an experimental ANTLR4 backend [#155]
- Java: Add support for passing line numbers to parser [#217,#224,#226]
- OCaml: Reserved symbols now have a higher precedence than predefined tokens as in Haskell
- Some updates of the documentation [#211,#223]
- And various small fixes [#139,#159,#195,#201,#215]
2.8.1
Grégoire Détrez gregoire.detrez@gu.se February 2016
- Fix compatibility with GHC 7.10.2 and Alex 3.14
- Fixed #160
2.8
Grégoire Détrez gregoire.detrez@gu.se May 2015
- Builds with ghc 7.10.1
- Add support for JFlex (java)
- Add an option to generate files in an other directory
- Add an experimental option that turns the AST into a parametrized functor (in Haskell only)
- New pygment backend to generate syntax highlighters
- Bug fixes
2.7.1
Grégoire Détrez gregoire.detrez@gu.se October 2014
- Generated haskell code is now warning free
- Removed unused terminal in happy
- Correctly escape backslashes in symbols
- Fix problem that was preventing custom tokens to work in OCaml if they conflict with the build-in Ident
- BNFC build is also warning free (ghc 7.4.2)
- Test programs return non-zerro exit code on parse error
2.7.0.0
Grégoire Détrez gregoire.detrez@gu.se September 2014
- Add token support for Ocaml
- New option parser
- Adds an optional argument to change Makefile name
- Add a --ghc option to derive Data, Typeable, Generic in Haskell
- New online documentation (https://bnfc.readthedocs.org)
- Derive
Read
for newtype decls in Haskell - New option to get the version number --version
- Remove the F# backend
- Remove the Java4 backend
- New Applicative and Alternative instances to
Err
- Remove the coupling between building the parser and the pdf from latex
- Improvement to the CNF Backend
- Bug fixes #92, #21, #34, #33, #90, #30, #60