-
Notifications
You must be signed in to change notification settings - Fork 172
Open
Labels
HaskellLBNFConcerning the LBNF syntax and its checkingConcerning the LBNF syntax and its checkingentrypointsConcerning entry points for the parser and the `entrypoints` directiveConcerning entry points for the parser and the `entrypoints` directiveerror-reportingConcerning error messages BNFC givesConcerning error messages BNFC giveslanguage-changeChanges the semantics of LBNFChanges the semantics of LBNFparserIssues concerning parser generatingIssues concerning parser generating
Milestone
Description
Haskell: if no entrypoints are given, everything is an entry point.
Maybe we should have a special entrypoints * for that purpose, and otherwise default to the first category (like in other backends).
The problem of exporting all non-terminals (NTs) is that unused rules are unlikely to be reported by happy, e.g. for useless list pragmas.
BNFC could also warn of unused rules if it weren't for the default entrypoints behavior.
Metadata
Metadata
Assignees
Labels
HaskellLBNFConcerning the LBNF syntax and its checkingConcerning the LBNF syntax and its checkingentrypointsConcerning entry points for the parser and the `entrypoints` directiveConcerning entry points for the parser and the `entrypoints` directiveerror-reportingConcerning error messages BNFC givesConcerning error messages BNFC giveslanguage-changeChanges the semantics of LBNFChanges the semantics of LBNFparserIssues concerning parser generatingIssues concerning parser generating