diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-08-07 08:19:22 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-08-12 11:46:21 -0400 |
| commit | 3dfd3c33a46ae01a45802cb5b97fe7a2c8a8f31a (patch) | |
| tree | b41c11de46714a4615ecde35c82fe1222356417d /testsuite/tests/polykinds/T9200b.hs | |
| parent | 64859308231551de2aed839003994b29b99409c0 (diff) | |
| download | haskell-3dfd3c33a46ae01a45802cb5b97fe7a2c8a8f31a.tar.gz | |
Added more testing for #9200. (polykinds/T9200b)
Diffstat (limited to 'testsuite/tests/polykinds/T9200b.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T9200b.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T9200b.hs b/testsuite/tests/polykinds/T9200b.hs new file mode 100644 index 0000000000..f780aba16a --- /dev/null +++ b/testsuite/tests/polykinds/T9200b.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds #-} + +module T9200b where + +--------- +--- test CUSK on closed type families +type family F (a :: k) where + F True = False + F False = True + F x = x |