Commit 8d27c764 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #9200. (polykinds/T9200)

parent 1a3e19d0
{-# LANGUAGE PolyKinds, MultiParamTypeClasses, FlexibleContexts, DataKinds #-}
module T9200 where
------
-- test CUSK on classes
class C (f :: k) (a :: k2) where
c_meth :: D a => ()
class C () a => D a
---------
--- test CUSK on type synonyms
data T1 a b c = MkT1 (S True b c)
data T2 p q r = MkT2 (S p 5 r)
data T3 x y q = MkT3 (S x y '())
type S (f :: k1) (g :: k2) (h :: k3) = ((T1 f g h, T2 f g h, T3 f g h) :: *)
......@@ -106,3 +106,4 @@ test('T9222', normal, compile, [''])
test('T9264', normal, compile, [''])
test('T9263', normal, run_command, ['$MAKE -s --no-print-directory T9263'])
test('T9063', normal, compile, [''])
test('T9200', normal, compile, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment