25 Sep
2002
25 Sep
'02
3:32 p.m.
Out of curiousity, it's a bit strange that
data D = D !Int myD = D {}
in invalid, but
newtype N = N !Int myN = N {}
is not.
The second example is also invalid: the newtype declaration is disallowed by the grammar. (incedentally, it looks like this example triggers a bug in nhc98). Cheers, Simon