[m-dev.] for review: trailing for the MLDS back-end

Robert Jeschofnik rejj at students.cs.mu.oz.au
Tue Dec 12 13:02:44 AEDT 2000


On 12-Dec-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 8
> 
> Implement trailing for the MLDS back-end.

This isn't really a review as such, just a few minor comments.

> +:- import_module bool, string.
> +:- import_module assoc_list, list, map, set, varset, std_util, require.
> +
> +
> +%
> +% As we traverse the goal, we add new variables
> +% keep track of XXX
> +% construct it.
> +%

This comment doesn't make much sense, perhaps it is incomplete?



> +:- interface.
> +
> +:- type ticket == c_pointer.
> +:- type ticket_counter == c_pointer.
> +
> +	% For documentation, see the corresponding LLDS 

same here


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



More information about the developers mailing list