diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-21 11:18:10 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-21 11:35:27 +0000 |
commit | e6391208347103f8c21a446fbc657e979051db54 (patch) | |
tree | c6d0f87253b280af05cfd66d8f584324d5435975 /testsuite/tests/typecheck | |
parent | b82410ab8908f1ec2a6aa14cce62948c92bcbce9 (diff) | |
download | haskell-e6391208347103f8c21a446fbc657e979051db54.tar.gz |
Delete duplicated tests
Diffstat (limited to 'testsuite/tests/typecheck')
5 files changed, 0 insertions, 41 deletions
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 28709e8360..96396d27c4 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -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 index 15de576d91..0000000000 --- a/testsuite/tests/typecheck/should_fail/tcfail192.hs +++ /dev/null @@ -1,11 +0,0 @@ --- Checks that the types of the old binder and the binder
--- implicitly introduced by grouping are linked
-
-{-# OPTIONS_GHC -XTransformListComp #-}
-
-module ShouldFail where
-
-foo = [ x + 1
- | x <- ["Hello", "World"]
- , then group using take 5
- ]
\ 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 index 412aac6b74..0000000000 --- a/testsuite/tests/typecheck/should_fail/tcfail192.stderr +++ /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 index 9166b18b4a..0000000000 --- a/testsuite/tests/typecheck/should_fail/tcfail194.hs +++ /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 index eeae9d0219..0000000000 --- a/testsuite/tests/typecheck/should_fail/tcfail194.stderr +++ /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 |