[m-dev.] diff: check for unbound inst vars

[Tyson Richard DOWD]

Fergus Henderson wrote:
> Hi,
> 
> Tyson, can you please review this one?
> 
> Fix a bug: the compiler was not checking for unbound inst variables
> in mode declarations.
> 
> compiler/typecheck.m:
> compiler/inst_match.m:
> 	Add code to check for unbound inst variables.
> 
> tests/invalid/Mmake:
> tests/invalid/unbound_inst_var.m:
> tests/invalid/unbound_inst_var.err_exp:
> 	Regression test.
> 

This change is fine.

-- 
       Tyson Dowd           #          Another great idea from the 
                            #            people who brought you
      trd at .cs.mu.oz.au      #               Beer Milkshakes!
http://www.cs.mu.oz.au/~trd #	         Confidence --- Red Dwarf