[m-dev.] for review: expand equivalence types in typeclass contexts

[Thomas Charles CONWAY]

David Glen JEFFERY, you write:
> Hi,
> 
> Tom, can you please review this?
> 
> 
> Estimated hours taken: 2
> 
> Bug fix: equivalence types were not being expanded inside typeclasses or
> instance declarations, nor in class contexts for preds or funcs.
> 
> compiler/equiv_type.m
> 	Expand equivalence types in class contexts and typeclass and instance
> 	decls.
> 

This diff looks fine.

Thanks for the quick response.

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			   Nail here [] for new monitor.