diff options
Diffstat (limited to 'testsuite/tests/polykinds/T10503.hs')
-rw-r--r-- | testsuite/tests/polykinds/T10503.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T10503.hs b/testsuite/tests/polykinds/T10503.hs index 2cc1ee717e..2b9900652f 100644 --- a/testsuite/tests/polykinds/T10503.hs +++ b/testsuite/tests/polykinds/T10503.hs @@ -5,5 +5,5 @@ data Proxy p = Proxy data KProxy (a :: *) = KProxy -h :: forall r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r +h :: forall k r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r h = undefined |