[m-dev.] for review: constrain interface assertions to using interface symbols

[Fergus Henderson]

On 11-Nov-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> On 11-Nov-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > On 11-Nov-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> > > +	% XXX a better solution would be to only make this assumption if
> > > +	% the assertion contains an unqualified symbol, however since
> > > +	% the structure isn't in superhomogenous form yet processing the
> > > +	% goal is complicated.
> > 
> > Well, not _that_ complicated; you do have to traverse the `goal' type
> > (requiring one ~30-line predicate), but once you get to a `call'
> > or `unify', it's fairly easy: 
> > 
> > 
> > Go on, it should only take you another 5-15 minutes to finish that off ;-)
>
> I can't believe I succumbed to peer group pressure :)

Thanks Pete, that looks ace -- and looks a little harder than I expected.
As usual, I succumbed to programmer's optimism ;-)

The rest of your changes in this diff also look good.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------