[m-rev.] For review: pretty print c_pointers as addresses

[Ralph Becket]

Mark Brown, Tuesday, 22 August 2006:
> On 14-Aug-2006, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> > Branches: main
> > Estimated hours taken: 0.2
> > 
> > library/pprint.m:
> > 	Pretty print c_pointers as "<<0xADDRESS>>" rather than just
> > 	"<<c_pointer>>".  This allows us to distinguish between different
> > 	C pointers.
> 
> Here's an alternative, discussed in person.

That looks good.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------