[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