Malcolm Wallace wrote:
> Whereas in the named field example, the rhs expression
> v {field1=Void}
> does indeed have the type
> Fields Void
> as declared in the signature. The expression explicitly converts all
> the relevant interior fields to Void. At least, that is how it could
> appear to a naive programmer like me :-)
If v has a second field with the same type of field1, do you really
expect that field2 is silently casted to the new type of field1? (This
would be unsafe)
Christian
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
