28 May
2007
28 May
'07
10:26 p.m.
On 28/05/07, Rodrigo Queiro <overdrigzed@gmail.com> wrote:
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