singletons-2.5: tests/compile-and-dump/Singletons/T332.hs

module T332 where

import Data.Singletons.TH

$(promote [d|
  data Foo = MkFoo

  f :: Foo -> ()
  f MkFoo{} = ()
  |])

$(singletons [d|
  data Bar = MkBar

  b :: Bar -> ()
  b MkBar{} = ()
  |])