summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2015-06-03 15:15:57 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2015-06-11 20:00:37 +0200
commit5e66a698dae8c01bcd1a9335346145b32016e119 (patch)
treefbb6b45c5ec7051856d9af1b1e9da0c81aba3a8e /testsuite/tests/gadt
parent6cefeb373e13c25f6c8c1d08975e14a8655f0bc9 (diff)
downloadhaskell-5e66a698dae8c01bcd1a9335346145b32016e119.tar.gz
Testsuite: change some expect_fail tests to expect_broken
Change the following tests from expect_fail to expect_broken: and list the ticket number: * driver/sigof03m/sigof03 (#9252) * driver/static001 (#8127) * partial-sigs/should_compile/EqualityConstraint (#9478) * partial-sigs/should_compile/ExtraNumAMROn (#9478) * partial-sigs/should_compile/PatBind2 (#9478) * partial-sigs/should_fail/TidyClash2 (#9478) * simplCore/should_compile/T8832 (#8832) The following tests are still marked as expect_fail, but it is not clearly documented why so: * gadt/lazypatok * indexed-types/should_fail/SkolemOccursLoop All other expect_fail tests are only expected to fail on either a certain platform/os or for a certain way only. Differential Revision: https://phabricator.haskell.org/D966
Diffstat (limited to 'testsuite/tests/gadt')
-rw-r--r--testsuite/tests/gadt/all.T2
-rw-r--r--testsuite/tests/gadt/lazypatok.hs2
2 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T
index cbbc0fc722..c3d35bc02a 100644
--- a/testsuite/tests/gadt/all.T
+++ b/testsuite/tests/gadt/all.T
@@ -46,6 +46,8 @@ test('nbe', normal, compile, [''])
test('while', normal, compile_and_run, [''])
test('rw', normal, compile_fail, [''])
test('lazypat', normal, compile_fail, [''])
+# Not marked as expect_broken, because it's not clear whether this test should
+# succeed or fail.
test('lazypatok', expect_fail, compile, [''])
test('tc', normal, compile_and_run, [''])
test('arrow', normal, compile, [''])
diff --git a/testsuite/tests/gadt/lazypatok.hs b/testsuite/tests/gadt/lazypatok.hs
index bf1282fe39..544705f92d 100644
--- a/testsuite/tests/gadt/lazypatok.hs
+++ b/testsuite/tests/gadt/lazypatok.hs
@@ -2,7 +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 succeeds
+-- T1 should make (y::Int). Currently, though, it fails.
module ShouldFail where