summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr
blob: 488b83fa8771be0dffe0c88d2b1220f41ba443d0 (plain)
1
2
3
4
5
6
7
8
9
10
11
TYPE SIGNATURES
  arbitCs1 :: forall a. (Eq a, Enum a, Show a) => a -> String
  arbitCs2 :: forall a. (Show a, Enum a, Eq a) => a -> String
  arbitCs3 :: forall a. (Show a, Enum a, Eq a) => a -> String
  arbitCs4 :: forall a. (Eq a, Show a, Enum a) => a -> String
  arbitCs5 :: forall a. (Eq a, Enum a, Show a) => a -> String
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                     integer-gmp-1.0.0.1]