Commit 2e9079ff authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #12185

parent dd92c67b
{-# LANGUAGE FlexibleContexts, RankNTypes, TypeFamilies #-}
module T12185 where
class Foo a
newtype Bar r = Pow r deriving (Eq)
instance (Foo r) => Foo (Bar r)
type family Ctx a where Ctx t = (Foo (Bar t), Eq (Bar t))
run :: (forall t . (Ctx t) => t -> Int) -> Int
run g = undefined
foo :: (Foo (Bar t)) => t -> Int
foo = undefined
main :: IO ()
main = print $ run foo
......@@ -529,3 +529,4 @@ test('T11339d', normal, compile, [''])
test('T11974', normal, compile, [''])
test('T12067', extra_clean(['T12067a.hi', 'T12067a.o']),
multimod_compile, ['T12067', '-v0'])
test('T12185', normal, compile, [''])
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