diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/parser/should_compile/T13594.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/parser/should_compile/all.T | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/parser/should_compile/T13594.hs b/testsuite/tests/parser/should_compile/T13594.hs new file mode 100644 index 0000000000..627e38f8fa --- /dev/null +++ b/testsuite/tests/parser/should_compile/T13594.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE BangPatterns #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE RankNTypes #-} +module Bug where + +x :: forall a . a ~ Integer => forall b. b ~ Integer => (a, b) +!x = (1, 2) diff --git a/testsuite/tests/parser/should_compile/all.T b/testsuite/tests/parser/should_compile/all.T index 2059979765..5cf615ecb0 100644 --- a/testsuite/tests/parser/should_compile/all.T +++ b/testsuite/tests/parser/should_compile/all.T @@ -107,3 +107,4 @@ 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, ['']) |