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

Andreas Strotmann strotman at cs.fsu.edu
Wed Sep 25 23:04:46 CEST 2002


On Wed, 25 Sep 2002, David Carlisle wrote:
>
> 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 agree -- I suppose I am arguing that it's simply wrong, aren't I.

Still, a while ago I found a bug in MathML Content with the min and max
elements (if I recall correctly) where I also argued that "it was simply
wrong", but it was deprecated rather than just scratched.  I was just
being careful, and trying to follow precedent.

I have no problem with following your alternative, though, since - as I
said - I don't think anyone actually used it, unlike perhaps that
ill-fated "feature" in MathML.

> David

 -- Andreas

--
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



More information about the Om mailing list