Delete duplicated tests
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Nov 2014 11:18:10 +0000 (11:18 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Nov 2014 11:35:27 +0000 (11:35 +0000)
testsuite/tests/typecheck/should_fail/all.T
testsuite/tests/typecheck/should_fail/tcfail192.hs [deleted file]
testsuite/tests/typecheck/should_fail/tcfail192.stderr [deleted file]
testsuite/tests/typecheck/should_fail/tcfail194.hs [deleted file]
testsuite/tests/typecheck/should_fail/tcfail194.stderr [deleted file]

index 28709e8..96396d2 100644 (file)
@@ -178,9 +178,7 @@ test('tcfail188', normal, compile, [''])
 test('tcfail189', normal, compile_fail, [''])
 test('tcfail190', normal, compile_fail, [''])
 test('tcfail191', normal, compile_fail, [''])
-test('tcfail192', normal, compile_fail, [''])
 test('tcfail193', normal, compile_fail, [''])
-test('tcfail194', normal, compile_fail, [''])
 test('tcfail195', normal, compile_fail, [''])
 test('tcfail196', normal, compile_fail, [''])
 test('tcfail197', normal, compile_fail, [''])
diff --git a/testsuite/tests/typecheck/should_fail/tcfail192.hs b/testsuite/tests/typecheck/should_fail/tcfail192.hs
deleted file mode 100644 (file)
index 15de576..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
--- Checks that the types of the old binder and the binder \r
--- implicitly introduced by grouping are linked\r
-\r
-{-# OPTIONS_GHC -XTransformListComp #-}\r
-\r
-module ShouldFail where\r
-\r
-foo = [ x + 1\r
-      | x <- ["Hello", "World"]\r
-      , then group using take 5\r
-      ]
\ No newline at end of file
diff --git a/testsuite/tests/typecheck/should_fail/tcfail192.stderr b/testsuite/tests/typecheck/should_fail/tcfail192.stderr
deleted file mode 100644 (file)
index 412aac6..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-
-tcfail192.hs:10:26:
-    Couldn't match type ‘a’ with ‘[a]’
-      ‘a’ is a rigid type variable bound by
-          a type expected by the context: [a] -> [[a]] at tcfail192.hs:10:9
-    Expected type: [a] -> [[a]]
-      Actual type: [a] -> [a]
-    In the expression: take 5
-    In a stmt of a list comprehension: then group using take 5
diff --git a/testsuite/tests/typecheck/should_fail/tcfail194.hs b/testsuite/tests/typecheck/should_fail/tcfail194.hs
deleted file mode 100644 (file)
index 9166b18..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
--- Checks that using the "by" clause in a transform requires a function parameter
-
-{-# OPTIONS_GHC -XTransformListComp #-}
-
-module ShouldFail where
-
-import Data.List(take)
-
-z = [x | x <- [1..10], then take 5 by x]
-
diff --git a/testsuite/tests/typecheck/should_fail/tcfail194.stderr b/testsuite/tests/typecheck/should_fail/tcfail194.stderr
deleted file mode 100644 (file)
index eeae9d0..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-
-tcfail194.hs:9:29:
-    Couldn't match type ‘[a0]’ with ‘a -> t’
-    Expected type: (a -> t) -> [a] -> [a]
-      Actual type: [a0] -> [a0]
-    Relevant bindings include z :: [t] (bound at tcfail194.hs:9:1)
-    Possible cause: ‘take’ is applied to too many arguments
-    In the expression: take 5
-    In a stmt of a list comprehension: then take 5 by x