All issues

Search results

Feature Requst: Lean backend

Status: Open.

#572 In bnfc/bnfc;

· GZGavinZhao opened on Jun 18, 2026

Providing multiple separators for a class is not handled correctly

Status: Open.

#571 In bnfc/bnfc;

· MatthewDaggitt opened on Jun 11, 2026

Java backend fails to escape \n inside terminator/separator

Status: Open.

#566 In bnfc/bnfc;

· katrinafyi opened on May 16, 2026

Agda: labels with same letters but different cases (first char) may break the compilation

AgdaIssues of the Agda backendIssues of the Agda backend

documentation

Status: Open.

#562 In bnfc/bnfc;

· Commelina opened on May 1, 2026

·  

2.9.7

Bug in C++ header file generation

Status: Open.

#559 In bnfc/bnfc;

· MatthewDaggitt opened on Apr 14, 2026

Tree-sitter: ambiguous grammar, Makefile, unicode, and comments

tree-sitterConcerning the tree-sitter backendConcerning the tree-sitter backend

Status: Open.

#556 In bnfc/bnfc;

· Commelina opened on Mar 25, 2026

·  

2.9.7

Behavior on conflicting flags

enhancement

Status: Open.

#553 In bnfc/bnfc;

· Commelina opened on Mar 13, 2026

·  

2.9.7

Drop support for GHC 8.0 and 8.2

ghc-8.4

Status: Open.

#548 In bnfc/bnfc;

· andreasabel opened on Mar 12, 2026

·  

2.9.7

Haskell GADT backend: possible declaration conflicts with labels end with _

Haskell/GADT

Status: Open.

#542 In bnfc/bnfc;

· Commelina opened on Mar 5, 2026

Improve documentation of the Agda backend on the command line

Status: Open.

#520 In bnfc/bnfc;

· MatthewDaggitt opened on Oct 17, 2025

Correctly configuring Cabal package to compile grammar

Status: Open.

#499 In bnfc/bnfc;

· ivanperez-keera opened on Mar 25, 2025

Add EBNF additions to LBNF

Status: Open.

#495 In bnfc/bnfc;

· ethindp opened on Feb 11, 2025