[m-dev.] for review: apply `void' renaming in class proofs

[Tyson Dowd]

On 25-Aug-2000, David Glen JEFFERY <dgj at students.cs.mu.oz.au> wrote:
> Hi,
> 
> For Fergus to review.
> ------------------------------
> 
> Estimated hours taken: 5
> 
> When binding unbound tvars to `void', also bind them to void in the constraint
> proofs. This fixes a bug where an unbound but constrained type variable caused
> a map lookup failure when the constraint was looked up in later compilation
> phases.
> 
> compiler/post_typecheck.m:
> 	Update the constraint proofs.
> 
> tests/hard_coded/typeclasses/unbound_tvar.{m,exp}:
> 	A test case for this change.
> tests/hard_coded/typeclasses/Mmakefile:
> 	Turn this test case on. For now, I have disabled type specialisation as
> 	this case tickles another bug (that Simon is currently working on,
> 	I believe).

This change looks fine, please go ahead an commit it.

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