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

[Thomas Charles CONWAY]

David Glen JEFFERY, you write:
> 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?

It is all lots of small predicates. Indeed most of the space is taken
up with typeclass and instance declarations. If you just replace the
bottom level code that is currently pragma c, with stubs, then I think
it would make a fine test case.

Thomas
-- 
Thomas Conway <conway at cs.mu.oz.au>
Nail here [] for new monitor.  )O+