Thu, 4 Oct 2001 06:05:16 -0700, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze:
> data T a = T1 Int | T2 a
>
> It's clear that (T1 Int) has no a's in it, not even bottom.
instance Show a => Show (T a) where
show x = show (tail [case x of T2 y -> y])
We have show (T1 0 :: T Int) == "[]", show (T1 0 :: T Char) == "\"\"".
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
