Andreas Abel

Support GHC 9.4 and update CI

1

- Replace broken travis badge by badges for Hackage, Stackage and GitHub CI - Bump `template-haskell` - Bump CI to latest GHC major version - Disable CI haddock step for...

Blockers for `BNFC`'s tests: - [ ] https://github.com/sol/doctest/pull/375 Blockers for `bnfc-system-tests`: - [ ] https://github.com/maoe/lifted-async/issues/38 (Succeeds: `cabal build all --allow-newer=async:base --allow-newer=lifted-async:base`)

Haskell: emit `{-# LANGUAGE Safe #-}` (and `Trustworthy` in Lex/Par.hs)

1

Haskell: emit `{-# LANGUAGE Safe #-}` (and `Trustworthy` in generated `Lex`/`Par.hs`) Had to get rid of `GeneralizedNewtypeDeriving` extension in generated `Abs.hs`.

Currently broken bnfc-system-tests

12

This is an issue documenting known bugs of BNFC that cause some system tests to fail. We keep the tests in the test suite nevertheless, to stimulate further bug fixing....

Given grammar: ``` Priv. Decl ::= "private" "{" [Decl] "}" ; separator Decl ";" ; layout "private" ; ``` The following is accepted but should not, without top-level layout: ```...

`define` and `position token`

1

This fails in some backends: ``` CNil. Chars ::= ; cSg. Chars ::= Char ; CSnoc. Chars ::= Chars Dot Char ; define cSg c = CSnoc CNil (Dot ".")...

Add SQL grammar as example

4

Here is a partial grammar of SQL that I'd like to add to the example suite: https://github.com/GrammaticalFramework/gf-contrib/blob/master/query-converter/MinSQL.bnf SQL has case-insensitive keywords. This is a feature we could add to BNFC...

More powerful list declarations

2

We would like the following aspects supported by a feature that allows us to define lists: 1. Concerning even AST: - several list categories for one category - non-empty vs....

Interfaces: More flexible abstract syntax binding instead of `define`?

1

This is an issue to contemplate a more flexible handling of LBNF rules in the backend. Currently there is a `define` pragma that allows rule names to be first-order functions...

Linux binaries are missing for the following releases: - [ ] 2.8.3 (#262) - [ ] 2.8.4 (#300) - [ ] 2.9.0 (#326) - [ ] 2.9.1 (#342) - [...