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

[Mark Brown]

On 14-Aug-2006, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> +
> +% This really should be impure...
> +%
> +:- func c_pointer_addr(T) = int.
> +
> +:- pragma foreign_proc("C",
> +    c_pointer_addr(X::in) = (Addr::out),
> +    [promise_pure, will_not_call_mercury, will_not_modify_trail],
> +"
> +    Addr = (MR_Integer) X;
> +").

If something really should be impure, then don't promise that it is pure.
But why should this function be impure?

Cheers,
Mark.

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