Re: Issue-114


On 2 jul 2008, at 15:06, Michael Schneider wrote:
> And Class/Datatype punning? That's disallowed, too, at the moment [1].

I'd say we subject this type of punning to the same scrutiny as with  
the others, in Peter's words:

On 2 jul 2008, at 14:15, Peter F. Patel-Schneider wrote:
> to not remove any more punning, on the multiple grounds that it has  
> been
> requested, that it doesn't appear to cause any technical problems,  
> that
> it has been implemented, and inertia
> PS:  If the above rationale is not adequate to retain this feature,  
> then I
> don't see how any request to add a feature can pass muster.


Drs. Rinke Hoekstra

Email:    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands

Received on Wednesday, 2 July 2008 13:12:44 UTC