Commit 261e91ed authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7238

parent 1f49b829
{-# LANGUAGE ConstraintKinds, TypeFamilies #-}
module T7238 where
import GHC.Exts
class Pair p where
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
......@@ -66,5 +66,6 @@ test('T7090', normal, compile,[''])
test('T7176', normal, compile,[''])
test('T7224', normal, compile_fail,[''])
test('T7230', normal, compile_fail,[''])
test('T7238', normal, compile,[''])
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment