Implement Partial Type Signatures
[ghc.git] / testsuite / tests / partial-sigs / should_compile / ExtraConstraints1.hs
1 {-# LANGUAGE PartialTypeSignatures #-}
2 module ExtraConstraints1 where
3
4 arbitCs1 :: _ => a -> String
5 arbitCs1 x = show (succ x) ++ show (x == x)
6
7 arbitCs2 :: (Show a, _) => a -> String
8 arbitCs2 x = arbitCs1 x
9
10 arbitCs3 :: (Show a, Enum a, _) => a -> String
11 arbitCs3 x = arbitCs1 x
12
13 arbitCs4 :: (Eq a, _) => a -> String
14 arbitCs4 x = arbitCs1 x
15
16 arbitCs5 :: (Eq a, Enum a, Show a, _) => a -> String
17 arbitCs5 x = arbitCs1 x