[m-dev.] trivial diff: var numbers in constraints

[Tyson Dowd]

On 17-Sep-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> On 17-Sep-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > Estimated hours taken: 0.1
> > 
> > compiler/mercury_to_mercury.m:
> > 	Undo my change to output variable numbers in class constraints.
> > 	(Test case to follow).
> 
> Looks good, thanks. Perhaps we can use David and Tom's Tcl/Tk interface as a
> test case. It has caught a *lot* of typeclass bugs. The down side is that it 
> is rather big. Thoughts?

Catching lots of bugs is more important than the size of the test case.

That compiler thing we build several times every night is pretty
big too.