tcfail198.stderr 381 Bytes
Newer Older
simonpj's avatar
simonpj committed
1

2
tcfail198.hs:6:17:
3
    Couldn't match expected type `t0 -> t1'
4
                with actual type `forall a. [a] -> [a]'
simonpj's avatar
simonpj committed
5
    The lambda expression `\ (x : xs) -> xs ++ ...' has one argument,
6
7
8
9
    but its type `forall a. [a] -> [a]' has none
    In the first argument of `Just', namely
      `(\ (x : xs) -> xs ++ [x :: a])'
    In the expression: Just (\ (x : xs) -> xs ++ [x :: a])