diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-12 17:20:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-12 17:20:22 +0100 |
| commit | ad859f5c8de95465edbe1f5f174b56d771e8fc57 (patch) | |
| tree | 0428ef944f86a0d05199ad0737e2e5268cde9f1d /testsuite/tests/polykinds/T7053.hs | |
| parent | 4968a28216a081c08cd29b38f91aaafbca75d3de (diff) | |
| download | haskell-ad859f5c8de95465edbe1f5f174b56d771e8fc57.tar.gz | |
Tests for Trac #7053
Diffstat (limited to 'testsuite/tests/polykinds/T7053.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7053.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T7053.hs b/testsuite/tests/polykinds/T7053.hs new file mode 100644 index 0000000000..4db1e0d7e9 --- /dev/null +++ b/testsuite/tests/polykinds/T7053.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE PolyKinds #-} + +module T7053 where + +data TypeRep (a :: k) where + TyApp :: TypeRep a -> TypeRep b -> TypeRep (a b) + |