[mercury-users] higher order syntax

[Ralph Becket]

> > I suspect that some/all appear very rarely in existing code; even
> > the existential types stuff hasn't made huge inroads yet, as far
> > as I can see.
> 
> Existential type are essential for the modelling of CORBA and COM
components
> into Mercury (at least that's the approach taken both by MCorba and our 
> own COM stuff).
> 
> I hope you're not suggesting to remove them...

Good Lord no!  They're vital!  What I'm suggesting is that (a) there is a
limited
amount of code that makes use of the binary prefix operators (some/2 and
all/2)
and (b) that it should be fairly easy to spot places where someone has
written
`some(...)(...)' and replace it with `some (...) (...)' to support the new
syntax rule.

It's a very minor change, but not backwards compatible.

Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------