diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7238.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7238.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T7238.hs b/testsuite/tests/polykinds/T7238.hs index 3639a8e089..efe0fb1674 100644 --- a/testsuite/tests/polykinds/T7238.hs +++ b/testsuite/tests/polykinds/T7238.hs @@ -4,11 +4,11 @@ module T7238 where import GHC.Exts class Pair p where - type Ctxt p a :: Constraint - l :: Ctxt p a => p a -> a + type Ctxt p a :: Constraint + l :: Ctxt p a => p a -> a data Unit a = Unit instance Pair Unit where - type Ctxt Unit a = a ~ () - l _ = ()
\ No newline at end of file + type Ctxt Unit a = a ~ () + l _ = () |