[m-rev.] for review: MLDS->C accurate GC part 2

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Dec 30 00:21:43 AEDT 2001

On 30-Dec-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Another substantial step towards supporting accurate garbage
> collection for the MLDS->C back-end: generate code for the
> GC tracing functions.

It might be helpful for me to draw attention to the TODO list
(which was included in the diff, but a long way down):

%	- add call to GC_check at start of every possibly-recursive function
%	  that might allocate memory (probably via a separate MLDS pass)
%	- fix problem with undeclared local vars for some test cases
%	  (e.g. tests/valid/agc_unbound_typevars*).
%	- fix problem with type classes & `constraint(...)' types
%	  (the compiler goes into an infinite loop and runs out of
%	  stack space for test cases using type classes)
%	- handle `pragma export'
%	- support higher-order code: fix problems with tracing closures
% There are also some things that could be done to improve efficiency,
% e.g.
%	- optimize away temporary variables

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-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe

More information about the reviews mailing list