Changelog for BNFC-2.9.1

2.9.1

Andreas Abel andreas.abel@gu.se March 2021

Haskell: the --functor option now produces position-annotated ASTs [#176,#327]. Thanks @Commelina!

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

Andreas Abel andreas.abel@gu.se December 2020

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]

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 use Data.Text instead of String in the lexer [#167]
Haskell: allow block comment delimiters of any length [#169, #202]
Haskell: define Err monad as Either String [#273], migration guide at https://bnfc.readthedocs.io/en/v2.8.4/user_guide.html#haskell-backend
Haskell: IsString instances for Ident-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

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]

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]

Grégoire Détrez gregoire.detrez@gu.se February 2016

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

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

Grégoire Détrez gregoire.detrez@gu.se September 2014