[om] Re: Proposed bug fix: deprecate Binding Object currying rule

[David Carlisle]

actually I think it would be reasonable to argue that the currying rule
as stated is simply wrong and should be removed rather than deprecated.

I don't think it really serves any purpose, as you note for those
binding operators where you want it to be true this can be stated as a
property of the symbol (as we do for application) rather than 
a property of ombind itself.

David

_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems