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

module Promote.Pragmas where

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

$(promote [d|
  {-# INLINE foo #-}
  foo :: Bool
  foo = True
 |])