testsuite/tests/simplCore/should_compile/spec003.hs


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

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}

-- #1402
-- Broke the specialiser

module ShouldCompile where

newtype Gen a = MkGen{ unGen :: Int -> a }

choose :: Eq a => a -> Gen a
choose n = MkGen (\r -> n)

oneof = choose (1::Int)