blob: 106f8109ac7b43bc3bc828fa5bdd5c398b474c97 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{-# LANGUAGE DataKinds #-}
module T17366_AR where
import T17366_ARa
--{-# SPECIALIZE test :: Eff es () #-}
--testSpec :: Eff '[] () -- Specialization of 'test' works.
testSpec :: Eff es () -- Specialization of 'test' doesn't work.
testSpec = do
test
test
test
-- Specialization of 'smallTest' works only if the INLINABLE pragma for 'smallTest'
-- is commented out (!!!).
smallTestSpec :: Eff es ()
smallTestSpec = do
smallTest
smallTest
smallTest
|
