blob: 0fcd167aa47af3216b3e057fee07dacb84a98317 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
TH_pragma.hs:(6,4)-(8,26): Splicing declarations
[d| foo :: Int -> Int
{-# NOINLINE foo #-}
foo x = x + 1 |]
======>
foo :: Int -> Int
{-# NOINLINE foo #-}
foo x = (x + 1)
TH_pragma.hs:(10,4)-(12,31): Splicing declarations
[d| bar :: Num a => a -> a
{-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
bar x = x * 10 |]
======>
bar :: forall a. Num a => a -> a
{-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
bar x = (x * 10)
|
