{-# LANGUAGE TemplateHaskell, EmptyDataDecls #-} module Toc.Decl where import Document.Decl import Language.Grammars.AspectAG import Language.Grammars.AspectAG.Derive data EXT_Block = Toc $(extendAG ''EXT_Block [ ]) $(deriveLang "DocToc" [''EXT_Block])