diff options
-rw-r--r-- | testsuite/tests/parser/should_compile/all.T | 1 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T13594.hs (renamed from testsuite/tests/parser/should_compile/T13594.hs) | 2 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_run/T13594a.script | 2 | ||||
-rwxr-xr-x | testsuite/tests/typecheck/should_run/all.T | 2 |
4 files changed, 5 insertions, 2 deletions
diff --git a/testsuite/tests/parser/should_compile/all.T b/testsuite/tests/parser/should_compile/all.T index 5cf615ecb0..2059979765 100644 --- a/testsuite/tests/parser/should_compile/all.T +++ b/testsuite/tests/parser/should_compile/all.T @@ -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, ['']) diff --git a/testsuite/tests/parser/should_compile/T13594.hs b/testsuite/tests/typecheck/should_compile/T13594.hs index 386d9c7bf5..998d473744 100644 --- a/testsuite/tests/parser/should_compile/T13594.hs +++ b/testsuite/tests/typecheck/should_compile/T13594.hs @@ -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 index 0000000000..dd1b92a659 --- /dev/null +++ b/testsuite/tests/typecheck/should_run/T13594a.script @@ -0,0 +1,2 @@ +:set -XBangPatterns -XRankNTypes -XTypeFamilies +let x :: forall a . a ~ Integer => forall b. b ~ Integer => (a, b); !x = (1, 2) diff --git a/testsuite/tests/typecheck/should_run/all.T b/testsuite/tests/typecheck/should_run/all.T index 0690f670c1..c8e921f6f4 100755 --- a/testsuite/tests/typecheck/should_run/all.T +++ b/testsuite/tests/typecheck/should_run/all.T @@ -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']) |