
20 Jul
2009
20 Jul
'09
9:42 a.m.
I am also wondering what the following would/should mean:
(1, , ( , 2), ) 'a' 'b' 'c'
I would expect it to be a type error, since I think the following is the only sane type the tuple can have (assuming numeric literals :: Int):
(1, , ( , 2), ) :: a -> b -> (Int, a, c -> (c, Int), b)
Ganesh
Ah you're completely right! I would be applying a tuple to a Char which is nonsense.