Commit b98dbdf6 authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

testsuite: Add (still broken) testcase for #12447

Test Plan: Validate

Reviewers: austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #12447
parent 926469fc
: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 @(_ ~ _)
deferEither @(_ ~ _)
:: Deferrable (w2 ~ w1) =>
proxy (w2 ~ w1) -> (w2 ~ w1 => r) -> Either String r
......@@ -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'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment