Agda-2.3.2.2: test/fail/TabsInPragmas.agda

{-# OPTIONS	--type-in-type #-}

module TabsInPragmas where