diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-18 15:45:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-18 15:45:22 +0100 |
| commit | ba7c8e5919411f84bdc84caa60317b0cb6c5cdc5 (patch) | |
| tree | cc8b79066ce95e250ee45969f13572099a1582dc /testsuite/tests/polykinds/T10503.hs | |
| parent | 72b21c393831b49867a296f19a2d039e48bb8dcd (diff) | |
| download | haskell-ba7c8e5919411f84bdc84caa60317b0cb6c5cdc5.tar.gz | |
Test Trac #10503
Diffstat (limited to 'testsuite/tests/polykinds/T10503.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T10503.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T10503.hs b/testsuite/tests/polykinds/T10503.hs new file mode 100644 index 0000000000..2cc1ee717e --- /dev/null +++ b/testsuite/tests/polykinds/T10503.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE RankNTypes, PolyKinds, DataKinds, TypeFamilies #-} +module GHCBug where + +data Proxy p = Proxy + +data KProxy (a :: *) = KProxy + +h :: forall r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r +h = undefined |