diff options
| author | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-15 16:08:09 +0000 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-16 20:47:38 +0100 |
| commit | 6c094deac50fdc707e9d4d8d3e7e8a5392f58d3d (patch) | |
| tree | c0a52d639dab77c55b250d83ff664d59a84d1c07 /testsuite/tests/polykinds/PolyKinds04.hs | |
| parent | ae3b9f91dc3a2d4d4c1b59ad590bca8060f31a4c (diff) | |
| download | haskell-6c094deac50fdc707e9d4d8d3e7e8a5392f58d3d.tar.gz | |
Add kind polymorphism tests
Diffstat (limited to 'testsuite/tests/polykinds/PolyKinds04.hs')
| -rw-r--r-- | testsuite/tests/polykinds/PolyKinds04.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/PolyKinds04.hs b/testsuite/tests/polykinds/PolyKinds04.hs new file mode 100644 index 0000000000..d3e1078c4f --- /dev/null +++ b/testsuite/tests/polykinds/PolyKinds04.hs @@ -0,0 +1,8 @@ + +module PolyKinds04 where + +data A f +data B = B1 (A Maybe) + +-- Should fail. `A` is kind checked alone, and its kind is defaulted to * -> *. +-- The constructor `B1` then uses `A` with the wrong kind. |