Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / spec003.hs
1 -- Trac #1402
2 -- Broke the specialiser
3
4 module ShouldCompile where
5
6 newtype Gen a = MkGen{ unGen :: Int -> a }
7
8 choose :: Eq a => a -> Gen a
9 choose n = MkGen (\r -> n)
10
11 oneof = choose (1::Int)