Re: concrete syntax problems in arch spec and views

[Bernd Krieg-Brueckner <bkb@informatik.uni-bremen.de>]

Dear friends,

Sorry I didn't have the time to comment on syntax so far.
Everything seems to be basically OK, as I learn from scanning the mail
and discussion with Till.

Just a few small comments:

Peter Mosses wrote:
> 
> 
> One further point concerning mixfix parsing:
> 
> Thanks to linear visibility, one has the anomaly that a mixfix
> application that parsed OK may become ambiguous due to later
> declarations - even in the same basic spec!  It might be better to be
> more strict, taking account of all the mixfix patterns declared in a
> basic spec (as well as the local environment), regardless of their
> order.  This slightly increases the chance of rejection due to
> ambiguity of grouping, but ensures that rejection is independent of
> the order of basic items.  Linear visibility can still be enforced by
> subsequently rejecting use before declaration (except in datatype
> declarations, of course...).  This should perhaps have been made
> explicit somewhere in App C?
> 
I agree and it merits an explanation. The non-linearness only affects
mixfix parsing patterns, I hope.

In general, I prefer {} to () in the "in-the-large" part.

I was a little surprised about the () for SOME-IMPORTS:
are they really necessary? the section is always lead by "given"
and terminated by "[". If not, delete.

Definitely, f(x) should have preference as parsing as such, or
ambiguity, if anonymous operators are there (nobody will use them
anyway).

The clarification on p 25: does this really mean that an
"overloading" of f and f __ is possible with the same profile,
since they are distinct symbols? If not (I hope), then the
wording has to be slightly more careful.

page C-9: I wish we had the European currency symbol in addition
to Dollar and Pound; is the universal currency symbol perhaps for this
purpose in the future?

best regards
Bernd
-- 
________________________________________________________________
Prof. Dr. Bernd Krieg-Brueckner    courier mail only:
FB3 Mathematik und Informatik      MZH 8071, FB3
Universitaet Bremen                Universitaet Bremen
Postfach 330 440                   Bibliothekstr. 1
D-28334 Bremen                     D-28359 Bremen

Telefon: (+49) 421-218-3660        telefax: (+49) 421-218-3054
bkb@Informatik.Uni-Bremen.DE       privat:  (+49) 421-25-1024
http://www.informatik.uni-bremen.de/~bkb
http://www.uni-bremen.de/~sppraum