summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/gadt/lazypatok.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/gadt/lazypatok.hs')
-rw-r--r--testsuite/tests/ghc-regress/gadt/lazypatok.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/ghc-regress/gadt/lazypatok.hs b/testsuite/tests/ghc-regress/gadt/lazypatok.hs
index a594ead7a7..0154f2d06a 100644
--- a/testsuite/tests/ghc-regress/gadt/lazypatok.hs
+++ b/testsuite/tests/ghc-regress/gadt/lazypatok.hs
@@ -2,8 +2,7 @@
-- It's not clear whether this one should succed or fail,
-- Arguably it should succeed because the type refinement on
--- T1 should make (y::Int). Currently, though, it fails, and
--- I don't think it's easy to fix, so I'm leaving it for now.
+-- T1 should make (y::Int). Currently, though, it succeeds
module ShouldFail where