Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Test Trac #7804

  • Loading branch information...
commit b66d2c7275ce4ab602d7d01a87a776ac1a4d1fee 1 parent 9b19867
@simonpj simonpj authored
View
10 tests/indexed-types/should_compile/T7804.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE TypeFamilies, RankNTypes #-}
+
+module T7804 where
+
+type family F f a
+
+data Proxy a = P
+
+sDFMap :: (forall a. Proxy f -> Proxy a -> Proxy (F f a)) -> Int
+sDFMap _ = 3
View
1  tests/indexed-types/should_compile/all.T
@@ -208,4 +208,5 @@ test('T7474', normal, compile, [''])
test('T7489', normal, compile, [''])
test('T7585', normal, compile, [''])
test('T7282', normal, compile, [''])
+test('T7804', normal, compile, [''])
Please sign in to comment.
Something went wrong with that request. Please try again.