[m-rev.] for review: make get_functor handle existential types

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Dec 13 17:44:24 AEDT 2004


On 13-Dec-2004, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> Doesn't ground_pseudo_type_desc_to_type_desc_det/1 throw a Mercury 
> exception if the pseudo_type_info is not ground?

Yes, that comment applied to an earlier version of that predicate which used
an unsafe cast. I have fixed the comment.

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



More information about the reviews mailing list