Commit 33b47c33 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7609

parent ee76d849
{-# LANGUAGE TypeOperators #-}
module T7609 where
data X a b
f :: (a `X` a, Maybe)
f = undefined
Expecting one more argument to `Maybe'
The second argument of a tuple should have kind `*',
but `Maybe' has kind `* -> *'
In the type signature for `f': f :: (a `X` a, Maybe)
......@@ -294,3 +294,4 @@ test('T7368a', normal, compile_fail, [''])
test('T7545', normal, compile_fail, [''])
test('T7279', normal, compile_fail, [''])
test('T2247', normal, compile_fail, [''])
test('T7609', 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