[Haskell-cafe] Curiose types

David House dmhouse at gmail.com
Mon May 28 10:26:37 EDT 2007


On 28/05/07, Rodrigo Queiro <overdrigzed at 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 at gmail.com


More information about the Haskell-Cafe mailing list