Commit 8fea2acd authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #9201 in typecheck/should_fail/T9201

parent 5eebd990
{-# LANGUAGE PolyKinds, FunctionalDependencies, MultiParamTypeClasses #-}
module T9201 where
class MonoidalCCC (f :: x -> y) (d :: y -> y -> *) | f -> d where
ret :: d a (f a)
T9201.hs:6:17:
The first argument of ‘f’ should have kind ‘x1’,
but ‘a’ has kind ‘y1’
In the type ‘d a (f a)’
In the class declaration for ‘MonoidalCCC’
......@@ -343,3 +343,4 @@ test('T9634', normal, compile_fail, [''])
test('T9739', normal, compile_fail, [''])
test('T9774', normal, compile_fail, [''])
test('T9318', normal, compile_fail, [''])
test('T9201', normal, compile_fail, [''])
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