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

Promote/Pragmas.hs:0:0: Splicing declarations
    promote
      [d| {-# INLINE foo #-}
          foo :: Bool
          foo = True |]
  ======>
    Promote/Pragmas.hs:(0,0)-(0,0)
    {-# INLINE foo #-}
    foo :: Bool
    foo = True
    type FooSym0 = Foo
    type Foo = (TrueSym0 :: Bool)