[m-dev.] 0.13 release: op/3 syntax

[Ralph Becket]

We've discussed your op/3 extension in the office and we have some
reservations that make us reluctant to add it to the repository, at
least for 0.13.

The main objections are:
- lack of demand (just one request, so far!), coupled with unfortunate
  experiences using Prolog code in the past that has used op/3;
- lack of orthogonality and code maintenance problems, since the same
  syntax in different modules now has to be carefully checked to see
  that it parses the same way (e.g., if the modules have differing op
  declarations for the same symbol); and
- we are planning on moving the compiler to use a new yacc-style parser
  in the not-too- distant future and it's very unclear how we'd make
  that change if we also support dynamic syntax changes, a la op/3.

-- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------