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.

Documentation

emptyData :: forall f. IsFun f => [Rul f] -> [RCat]

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