f.hs

topStanza :: Bool -> FileTable -> Get [Stanza]
topStanza i ft = $(switch' [| case _ of
                                    "ATTRIBUTE"    -> singleton <$> (attrDef i <?> Msg "attribute definition") <* eofl
                                    "$INCLUDE"     ->               (includeDef ft <?> Msg "include macro") <* eofl
                                    "MEMBER"       -> singleton <$> (memberDef i <?> Msg "member definition") <* eofl
                                    "VALUE"        -> singleton <$> (valueDef <?> Msg "value definition") <* eofl
                                    "BEGIN-VENDOR" -> singleton <$> (beginVendor <?> Msg "vendor block")
                                    "VENDOR"       -> singleton <$> (vendorDef i <?> Msg "vendor definition") <* eofl
                                    "FLAGS"        -> literal "internal" *> eofl *> topStanza True ft
                                    "END-PROTOCOL" -> FP.empty
                                    _              -> FP.branch FP.eof FP.empty
                                                                (FP.empty `cut` [ Msg "ATTRIBUTE"
                                                                                , Msg "$INCLUDE"
                                                                                , Msg "MEMBER"
                                                                                , Msg "VALUE"
                                                                                , Msg "BEGIN-VENDOR"
                                                                                , Msg "VENDOR"
                                                                                , Msg "FLAGS"
                                                                                ])
                            |])