Fix up tests for #13594
authorBen Gamari <ben@smart-cactus.org>
Thu, 11 May 2017 21:30:31 +0000 (17:30 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 11 May 2017 21:33:13 +0000 (17:33 -0400)
This adds the GHCi variant of the failing program in #13594. Also, I
inadvertently changed the T13594 test previously introduced in a way that made
it no longer faithfully test the ticket as written. Fix this.

testsuite/tests/parser/should_compile/all.T
testsuite/tests/typecheck/should_compile/T13594.hs [moved from testsuite/tests/parser/should_compile/T13594.hs with 79% similarity]
testsuite/tests/typecheck/should_run/T13594a.script [new file with mode: 0644]
testsuite/tests/typecheck/should_run/all.T

index 5cf615e..2059979 100644 (file)
@@ -107,4 +107,3 @@ test('T10582', expect_broken(10582), compile, [''])
 test('DumpParsedAst',      normal, compile, ['-dsuppress-uniques -ddump-parsed-ast'])
 test('DumpRenamedAst',     normal, compile, ['-dsuppress-uniques -ddump-rn-ast'])
 test('DumpTypecheckedAst', normal, compile, ['-dsuppress-uniques -ddump-tc-ast'])
-test('T13594', normal, compile, [''])
@@ -1,7 +1,7 @@
 {-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE NoMonomorphismRestriction #-}
+
 module Bug where
 
 x :: forall a b. (a ~ Integer, b ~ Integer) => (a, b)
diff --git a/testsuite/tests/typecheck/should_run/T13594a.script b/testsuite/tests/typecheck/should_run/T13594a.script
new file mode 100644 (file)
index 0000000..dd1b92a
--- /dev/null
@@ -0,0 +1,2 @@
+:set -XBangPatterns -XRankNTypes  -XTypeFamilies
+let x :: forall a . a ~ Integer => forall b. b ~ Integer => (a, b); !x = (1, 2)
index 0690f67..c8e921f 100755 (executable)
@@ -122,3 +122,5 @@ test('Typeable1', normal, compile_fail, [''])
 test('TypeableEq', normal, compile_and_run, [''])
 test('T13435', normal, compile_and_run, [''])
 test('T11715', exit_code(1), compile_and_run, [''])
+test('T13594', expect_broken(13594), compile, [''])
+test('T13594a', expect_broken(13594), ghci_script, ['T13594a.script'])