[m-rev.] For review: ensure proper initialisation of pretty_printer

[Ralph Becket]

Peter Wang, Tuesday, 27 April 2010:
> For your pretty_printer change it will probably be easiest to rely on the
> get_mutable message returning a value of `undefined' initially.  Untested:
> 
> get_pretty_printer_is_initialised() ->
>   'ML_erlang_global_server' ! {get_mutable, t__mutable_variable_foo, self()},
>   receive
>     {get_mutable_ack, undefined} -> {no};
>     {get_mutable_ack, Value} -> Value
>   end.

That will do nicely.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------