diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-16 15:05:54 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-16 15:05:54 +0000 |
| commit | a9c1acef7e0808dedaee762581550a0338332ce4 (patch) | |
| tree | 9ca2a9100cd3bec25753b3b4780619d400c34e4b /testsuite/tests/polykinds/T5935.hs | |
| parent | 4feb0ead4611cf0be51a556ecd5321ab09ddd3e2 (diff) | |
| download | haskell-a9c1acef7e0808dedaee762581550a0338332ce4.tar.gz | |
Test Trac #5935
Diffstat (limited to 'testsuite/tests/polykinds/T5935.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T5935.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T5935.hs b/testsuite/tests/polykinds/T5935.hs new file mode 100644 index 0000000000..3f9184d1c7 --- /dev/null +++ b/testsuite/tests/polykinds/T5935.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE PolyKinds, + GADTs, + DataKinds, + KindSignatures + #-} + +module T5935 where + +data SList a where + SNil :: SList '[] + +x :: SList ('[] :: [Bool]) +x = SNil |