26 Mar
2004
26 Mar
'04
1:06 p.m.
Tomasz Zielonka wrote:
On Fri, Mar 26, 2004 at 01:56:04PM +0100, Tomasz Zielonka wrote:
I don't know if you can have both 'no newtype' and 'haskell 98' satisfied.
Ross Paterson provided a solution using data.
I didn't yet see that solution since I receive Haskell mails in digest mode. Anyway, "Haskell 98" is not a must. What I would want is a type that doesn't need additional declarations, be it newtype or data. "forall a. a" has this property, a pre-defined type would also have this property. BTW, what is the reason for not allowing (forall a. a) as part of a tuple? Ciao, Janis. -- Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de