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

module Promote.Pragmas where

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

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