Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / T5550.hs
1 module T5550 where
2
3 import GHC.Exts ( SpecConstrAnnotation(..) )
4
5 data SPEC = SPEC | SPEC2
6 {-# ANN type SPEC ForceSpecConstr #-}
7
8 loop :: SPEC -> [Int] -> [Int] -> [Int]
9 loop SPEC z [] = z
10 loop SPEC z (x:xs) = loop SPEC (x:z) xs
11