diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-05-11 17:30:31 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-05-11 17:33:13 -0400 |
| commit | 3e79fe42b907653d97cd3a5496a8f133320354eb (patch) | |
| tree | 46ad839fdb58f187d14057ffdf28b35391a46db6 /testsuite/tests/typecheck/should_compile/T13594.hs | |
| parent | 06d2a50b447c3f6cc4f21e712e9c043618eb5941 (diff) | |
| download | haskell-3e79fe42b907653d97cd3a5496a8f133320354eb.tar.gz | |
Fix up tests for #13594
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.
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T13594.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T13594.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T13594.hs b/testsuite/tests/typecheck/should_compile/T13594.hs new file mode 100644 index 0000000000..998d473744 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T13594.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE BangPatterns #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE RankNTypes #-} + +module Bug where + +x :: forall a b. (a ~ Integer, b ~ Integer) => (a, b) +!x = (1, 2) |