[m-dev.] for review: suppress private_builtin:type_info/1.

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Aug 3 05:04:10 AEST 1998


On 02-Aug-1998, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> 
> This half of a change designed to allow runtime systems (e.g. the
> garbage collector and debugger) to print type_infos.

That sentence missing word ;-)

compiler/type_util.m:
> +type_id_is_hand_defined(qualified(PrivateBuiltin, "type_info") - 1) :-
> +	mercury_private_builtin_module(PrivateBuiltin).
> +type_id_is_hand_defined(qualified(PrivateBuiltin, "base_type_info") - 1) :-
> +	mercury_private_builtin_module(PrivateBuiltin).

I suggest adding a comment here explaining why type_info/1 and
base_type_info/1 have their type_infos hand-defined, or pointing
to somewhere that explains it.

Otherwise that half looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.



More information about the developers mailing list