Commit 78618d45 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7916

parent c311c2a9
{-# LANGUAGE PolyKinds, ExplicitForAll #-}
module T7916 where
f :: forall (m :: k -> *) (a :: k). m a -> m a
f = id
-- g :: forall (m :: k -> *) (a :: k). m a -> m a
g x = f x
......@@ -86,3 +86,4 @@ test('T7594', normal, compile_fail,[''])
test('T7524', normal, compile_fail,[''])
test('T7601', normal, compile,[''])
test('T7805', normal, compile_fail,[''])
test('T7916', 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