[m-dev.] for review: fix a bug in the handling of type_desc

[Fergus Henderson]

On 17-Jan-2001, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> Zoltan and Fergus, can you verify that this is correct?
> The test cases that were aborting on arrays of univs in the debug
> grades were doing so because in asm_fast.gc, the type specific
> unification pred was being called for type_desc, but in debug
> grade, generic unify was being called. The code in the latter
> was treating type_desc as c_pointer which is wrong.
> 
> -- 
>  Thomas Conway              Mercurian )O+  
>  <conway at cs.mu.oz.au>       Every sword has two edges.
> 
> Fix a bug in the representation of type_desc which meant that
> comparison and equality on them didn't work in some cases.
> 
> library/std_util.m:
> 	Use MR_TYPECTOR_REP_TYPEINFO rather than MR_TYPECTOR_REP_C_POINTER
> 	to denote how type_desc should be handled in generic unifications
> 	and comparisons.

That looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------