Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail178.hs
1 -- See #1221
2
3 module ShouldFail where
4
5 a :: Num a => (Bool -> [a]) -> [a]
6 a x = x True ++ [1]
7
8 y :: b -> ()
9 y = const ()
10
11 -- Typechecks ok
12 b = a (const [2])
13
14 -- This one had an uninformative error message
15 c = a y
16
17 -- More informative
18 d = a ()
19