Commit d3c9c1db authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5700

parent 374e7b52
{-# LANGUAGE TemplateHaskell #-}
module T5700 where
import T5700a
data D = D
$(mkC ''D)
T5700.hs:1:1: Splicing declarations
mkC ''D
======>
T5700.hs:8:3-9
instance C D where
{-# INLINE inlinable #-}
inlinable _ = GHC.Tuple.()
{-# LANGUAGE TemplateHaskell #-}
module T5700a where
import Language.Haskell.TH
class C a where
inlinable :: a -> ()
mkC :: Name -> Q [Dec]
mkC n = return
[InstanceD [] (AppT (ConT ''C) (ConT n))
[ FunD 'inlinable [Clause [WildP] (NormalB (ConE '())) []],
PragmaD (InlineP 'inlinable (InlineSpec True False Nothing))
]
]
......@@ -217,3 +217,6 @@ test('T5597', extra_clean(['T5597a.hi','T5597a.o']),
multimod_compile, ['T5597','-v0'])
test('T5665', extra_clean(['T5665a.hi','T5665a.o']),
multimod_compile, ['T5665','-v0'])
test('T5700', extra_clean(['T5700a.hi','T5700a.o']),
multimod_compile, ['T5700','-v0 -ddump-splices'])
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment