Re: Issue-114

Hi,

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
*snip*
> 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.



-Rinke

-----------------------------------------------
Drs. Rinke Hoekstra

Email: hoekstra@uva.nl    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

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