28 May
2007
28 May
'07
2:26 p.m.
On 28/05/07, Rodrigo Queiro
After a little too long trying, I managed to get code from which the type system will infer that type, without using 'undefined':
Yes, but you do it by writing a coerce :: a -> b, which is surely cheating. -- -David House, dmhouse@gmail.com