summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail193.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail193.hs')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail193.hs11
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail193.hs b/testsuite/tests/typecheck/should_fail/tcfail193.hs
new file mode 100644
index 0000000000..f8bfd8f681
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail193.hs
@@ -0,0 +1,11 @@
+-- Checks that the correct type is used checking the using clause of the transform
+
+{-# OPTIONS_GHC -XTransformListComp #-}
+
+module ShouldFail where
+
+import Data.List(inits)
+
+z :: [Int]
+z = [x | x <- [3, 2, 1], then inits]
+