singletons-1.0: tests/compile-and-dump/Promote/BadBoundedDeriving.hs

module Promote.BadBoundedDeriving where

import Data.Promotion.Prelude
import Data.Promotion.TH

$(promote [d|
  data Foo a = Foo | Bar a deriving (Bounded)
  |])