On 28/05/07, Rodrigo Queiro <[EMAIL PROTECTED]> 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, [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
