Commit 4723a0e3 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #9211

parent c1a85b32
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
module T9211 where
-- foo :: (forall f g. (Functor f) => f a -> f b) -> [a] -> [b]
foo :: (forall f g. (Functor f, g ~ f) => g a -> g b) -> [a] -> [b]
foo tr x = tr x
t = foo (fmap not) [True]
......@@ -247,3 +247,4 @@ test('T9085', normal, compile, [''])
test('T9316', normal, compile, [''])
test('red-black-delete', normal, compile, [''])
test('Sock', normal, compile, [''])
test('T9211', 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