[m-rev.] for review: builtins for trace goals

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Jul 31 14:50:20 AEST 2006

On Mon, 31 Jul 2006, Zoltan Somogyi wrote:

> Improve the efficient of trace goals by making the primitives for getting


> and setting the I/O state builtins.
> library/private_builtin.m:
> 	Delete the trace_get_io_state and trace_set_io_state predicates,
> 	since you cannot define builtins.
> compiler/builtin_ops.m:
> 	Extend the type describing builtins to describe noops like
> 	trace_get_io_state and trace_set_io_state.
> compiler/bytecode_gen.m:
> compiler/call_gen.m:
> compiler/ml_call_gen.m:
> 	Handle the new noop kind of builtins.
> 	For call_gen.m, also get rid of a lot of unnecessary module
> 	qualifications.
> compiler/code_info.m:
> 	Provide a mechanism needed by call_gen.m to make a variable (in our
> 	case, the return value of trace_get_io_state) magically appear
> 	in a register.

That looks okay.

mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list