testsuite/tests/codeGen/should_run/T12622_A.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

-- A.hs
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE StaticPointers #-}
module T12622_A where

import Data.Typeable
import GHC.StaticPtr

g :: a -> Bool
g _ = True

data T a = T {-# UNPACK #-} !(StaticPtr a)

sg :: Typeable a => T (a -> Bool)
sg = T (static g)