[m-dev.] mercury compilation... (fwd)

[Fergus Henderson]

Zoltan Somogyi, you wrote:
> 
> > The following is forwarded from mercury-bugs at cs.mu.oz.au.
> > I just thought it is worth reminding everyone of the importance
> > of keeping the compiler efficient.
> 
> The efficiency of the compiler doesn't matter in this instance.
> It is clear that the problem is thrashing, due to the use of
> more virtual memory than the system has free physical memory.

I think you're probably right about the nature of the problem, but the
cause of the problem is most likely because the Mercury compiler uses
so much memory!

(Which reminds me: the way we currently store marker_status lists
in the pred_info is quite inefficient.  It would be better to
implement this set of enums using bit twiddling.  Any volunteers?)

Cheers,
	Fergus.

-- 
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.