13 Jan
2008
13 Jan
'08
11:10 a.m.
Jed Brown writes:
On 13 Jan 2008, frr149@easyjob.net wrote:
If I define the follwoing functions:
car (x:_) = x car [] = []
This won't typecheck. It helps to add a type signature car :: [a] -> a
Good will, wrong diagnosis. This WILL check. car :: forall a. [[a]] -> [a] J. Karczmarczuk