[m-dev.] for review: bug fix for existential constructors

[Tyson Dowd]

On 25-Aug-2000, David Glen JEFFERY <dgj at students.cs.mu.oz.au> wrote:
> 
> ------------------------
> Estimated hours taken: 2
> 
> This change fixes a bug reported by Tom Conway yesterday. The problem was
> that when a construction using a constructor with existentially quantified
> args appeared in more than one disjunct, the necessary typeclass infos were
> only created on one branch.
> 
> compiler/polymorphism.m:
> 	Only update the locations of typeclass info variables when doing
> 	a deconstruction of a functor with existentially typed arguments.
> 	(ie. don't do it for constructions). This is analagous to our handling
> 	of universally/existentially quantified arguments to predicate calls.
> 
> tests/hard_coded/typeclasses/exist_disjunction.{m,exp}:
> 	A test case for this change.
> tests/hard_coded/typeclasses/Mmakefile:
> 	Turn this test case on.

Looks ok too, please commit away.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------