diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 21:04:23 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 21:04:23 +0000 |
| commit | c594883953bd8e30dd5bfa45a2588275b9a1dbcb (patch) | |
| tree | edfea2c73a58139b5a7dcf539d0802df9afc89d1 /testsuite/tests/polykinds/T7524.hs | |
| parent | c70d6adaf3cbfec7a984ad1b24379d64b52e5899 (diff) | |
| download | haskell-c594883953bd8e30dd5bfa45a2588275b9a1dbcb.tar.gz | |
Test Trac #7524
Diffstat (limited to 'testsuite/tests/polykinds/T7524.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7524.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T7524.hs b/testsuite/tests/polykinds/T7524.hs new file mode 100644 index 0000000000..52b24282bf --- /dev/null +++ b/testsuite/tests/polykinds/T7524.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE TypeFamilies, PolyKinds #-} +module T7524 where + +type family F (a :: k1) (b :: k2) +type instance F a a = Int +type instance F a b = Bool |