22 Jun
2004
22 Jun
'04
3:52 p.m.
On Tuesday 22 Jun 2004 6:20 pm, MR K P SCHUPKE wrote:
ahh but in this example:
f :: [Int] -> [Bool] f (i:is) = even i : f is f e@[] = e
e is an empty list of Ints not an empty list of Bools!
If the difference is significant (I don't believe it is) then consistency demands that this expression should give a type error.. let e=[] in (length e : e, null e : e) It doesn't, so clearly e can be both an empty list of Ints and an empty list of Bools :-) Regards -- Adrian Hey