Commit e6391208 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Delete duplicated tests

parent b82410ab
......@@ -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, [''])
......
-- 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
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
-- 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]
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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment