summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail161.hs
blob: 6ebdfddc85c7f07fbcec2b9952a4e252096cf4d3 (plain)
1
2
3
4
5
6
7
-- Kind error message

module ShouldFail where

f :: [Maybe]
f x = x