diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-03 18:21:12 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-03 18:21:12 +0100 |
| commit | 25fb90d79ac236a511fe1759ebcdd3cee9c4a0ec (patch) | |
| tree | 7369e497cb4671b077f51352c48b7b15ac4062eb | |
| parent | 86825d5a7d3ecdb7a48db494cb171221c180e57b (diff) | |
| download | haskell-25fb90d79ac236a511fe1759ebcdd3cee9c4a0ec.tar.gz | |
Test Trac #7804
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T7804.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/all.T | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T7804.hs b/testsuite/tests/indexed-types/should_compile/T7804.hs new file mode 100644 index 0000000000..6521022e3f --- /dev/null +++ b/testsuite/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 diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T index a73f5fd64c..23b8824c8b 100644 --- a/testsuite/tests/indexed-types/should_compile/all.T +++ b/testsuite/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, ['']) |