testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / TcStaticPointers01.hs
1 {-# LANGUAGE StaticPointers #-}
2
3 module StaticPointers01 where
4
5 import GHC.StaticPtr
6
7 f0 :: StaticPtr (Int -> Int)
8 f0 = static g
9
10 f1 :: StaticPtr (Bool -> Bool -> Bool)
11 f1 = static (&&)
12
13 f2 :: StaticPtr (Bool -> Bool -> Bool)
14 f2 = static ((&&) . id)
15
16 g :: Int -> Int
17 g = id