BNFC-2.9.3: A compiler front-end generator.
Safe HaskellNone
LanguageHaskell2010

BNFC.Check.EmptyTypes

Description

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.

Synopsis

Documentation

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

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