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

David Glen JEFFERY dgj at cs.mu.OZ.AU
Thu Sep 17 17:33:55 AEST 1998


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?


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.



More information about the developers mailing list