> 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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell