summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr')
-rw-r--r--testsuite/tests/ghc-regress/typecheck/should_fail/T3540.stderr25
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