diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr')
-rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr b/testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr deleted file mode 100644 index 8708dffa5d..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr +++ /dev/null @@ -1,25 +0,0 @@ - -T3540.hs:4:12: - Predicate used as a type: a ~ Int - In the type signature for `thing': - thing :: a ~ Int - -T3540.hs:7:20: - Predicate used as a type: a ~ Int - In the type signature for `thing1': - thing1 :: Int -> (a ~ Int) - -T3540.hs:10:13: - Predicate used as a type: a ~ Int - In the type signature for `thing2': - thing2 :: (a ~ Int) -> Int - -T3540.hs:13:12: - Predicate used as a type: ?dude :: Int - In the type signature for `thing3': - thing3 :: (?dude :: Int) -> Int - -T3540.hs:16:11: - Class `Eq' used as a type - In the type signature for `thing4': - thing4 :: (Eq a) -> Int |