BNFC.Check.EmptyTypes

Check whether generated AST will have empty types.

Internal rules are included.

We compute by a saturation algorithm which token types are used in which non-terminal. A non-terminal does not use any token types, we flag an empty type.

1 value

PackageBNFC-2.9.5
Exports1
LanguageHaskell2010
LicenceBSD-3-Clause
SourceEmptyTypes.hs

valueemptyData :: IsFun f => [Rul f] -> [RCat]

Compute the categories that have empty data type declarations in the abstract syntax. Disregards list types.