[m-rev.] for review: check module qualification when testing for type_info

[Tyson Dowd]

On 24-Aug-2001, David Overton <dmo at cs.mu.OZ.AU> wrote:
> I'll check in the change with the following changes to the log message
> and comments:

> @@ -1032,9 +1032,9 @@
>  
>  	% If the sym_name is in the private_builtin module, unqualify it,
>  	% otherwise fail.
> -	% A sym_name is in private_builtin iff it is unqualified or it is
> -	% qualified with the private_builtin module.
> -
> +	% All, user-defined types should be module-qualified by the
> +	% time this predicate is called, so we assume that any
> +	% unqualified names are in private_builtin.

s/All,/All/

Otherwise this is fine.

Tyson.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------