v2.8.3
Main new feature:
- Agda backend: generates bindings to output of Haskell backend
Backend-independent features:
- 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]
C backend:
- supports now the
-l
option to give error locations [#238] - correct function names in generated skeletons [#239]
- handle regular expression difference (subtraction) correctly [#237]
Haskell backend:
- generates now more fine-grained
Makefile
that invokesbnfc
on changed.cf
file - uses qualified import of AST in generated printer [fixes #128,#228]
- printer code no longer produces deprecation warning concerning
OverlappingInstances
[#233] --cnf
: fixed problem withAny
type in generated code [#216]--cnf
: generated test program now same name (Test
) as without--cnf
--glr
: correct module header in .y file [#252]
Binaries (see below):
- bnfc-2.8.3-mac.binary: Binary compiled under Mac OS X Mojave, x86 64bit processor
- bnfc.exe: Binary compiled under Windows 10, x86 64bit processor