diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-11-21 13:43:48 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-11-21 13:44:08 -0500 |
| commit | b98dbdf667744c288f03525d5e012563d31143ce (patch) | |
| tree | b4bc8df8402fb252563ba4572e14c0065c863c57 | |
| parent | 926469fcd9ba25b1c8f4b8113d6b6683259b9d6d (diff) | |
| download | haskell-b98dbdf667744c288f03525d5e012563d31143ce.tar.gz | |
testsuite: Add (still broken) testcase for #12447
Test Plan: Validate
Reviewers: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2703
GHC Trac Issues: #12447
| -rw-r--r-- | testsuite/tests/ghci/scripts/T12447.script | 9 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T12447.stdout | 3 | ||||
| -rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
3 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T12447.script b/testsuite/tests/ghci/scripts/T12447.script new file mode 100644 index 0000000000..6003a43838 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T12447.script @@ -0,0 +1,9 @@ +:set -XRankNTypes -XConstraintKinds -XTypeApplications + +import Data.Typeable + +class Deferrable p where deferEither :: proxy p -> (p => r) -> Either String r + +instance (Typeable a, Typeable b) => Deferrable (a ~ b) where deferEither = undefined + +:t deferEither @(_ ~ _) diff --git a/testsuite/tests/ghci/scripts/T12447.stdout b/testsuite/tests/ghci/scripts/T12447.stdout new file mode 100644 index 0000000000..67bbc9bcc7 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T12447.stdout @@ -0,0 +1,3 @@ +deferEither @(_ ~ _) + :: Deferrable (w2 ~ w1) => + proxy (w2 ~ w1) -> (w2 ~ w1 => r) -> Either String r diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 6dcc6b7adf..e9a41a966d 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -266,3 +266,4 @@ test('T12091', ghci_script, ['T12091.script']) test('T12523', normal, ghci_script, ['T12523.script']) test('T12024', normal, ghci_script, ['T12024.script']) +test('T12447', expect_broken(12447), ghci_script, ['T12447.script']) |