> 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

Reply via email to