Hi Volker,
On Sat, Mar 08, 2014 at 04:59:16AM -0800, Volker Braun wrote:
> I still think that it would be relatively easy. Even faster would be to
> not introduce the subclass syntax on the ticket and leave that for later.
> But so far Nicolas never liked any syntax that I proposed nor made any
> suggestions for how a more explicit syntax ought to look like.
I reckon that, after trying a lot of syntax variations and writing
quite some code with it I have developed a strong opinion about the
current syntax. I gladly implemented quite a few suggestions from the
reviewers. But there are some changes I am really reluctant to do
against my intuition.
I understand it's frustrating from a reviewer's perspective. And I
respect your opinion too. So if you or someone else implements the
alternative syntax, and battlefield tests it on the whole sage
categories so that we can all forge an informed opinion, and if at the
end there is a consensus that this is better, I won't veto it even if
still goes against my opinion by then.
But if you also have a very strong opinion that the current syntax is
not good enough to be merged as a preliminary step, please do your
changes shortly.
As for leaving the subclass syntax for later, do you mean:
- Temporarily rewriting the whole patch without that syntax, to
possibly undo it later? This would sound like a lot of work, most
likely (I believe) for little value.
- Delaying the updating of the Sage library to use axioms to a second
step? The tickets that depend on #10963 need this updating, so this
would not improve much the situation. And in the mean time we would
not get the battlefield test which I believe is very important.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
