[m-dev.] Problem with new operators

[Fergus Henderson]

On 28-Oct-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Fergus Henderson, Monday, 28 October 2002:
> > > I've been doing `mmake depend; mmake' etc. for an hour now and still
> > > haven't got it to recognise @<.
> > 
> > Does "@<" show up in the new version of builtin.int?
> 
> No.  Which is odd.  I seem to recall problems in the past with .int
> files not being rebuilt after changing .m files.

I am not aware of any such problems.

> What's the correct mmake target?  I've tried `mmake ints', after touching
> builtin.m and removing the .int files in the library directory, but it
> didn't do anything and now I merely have no builtin.int files!

Removing the ".int'" files won't do any good.
You would need to remove the .date (and maybe .date3) files.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------