[m-rev.] for review: typeclasses bugfix

[Mark Brown]

On 04-Mar-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Mark Brown, Friday,  4 March 2005:
> > Estimated hours taken: 1.5
> > Branches: main, release
> > 
> > Fix a bug with the handling of ground constraints on function calls.
> > 
> > Index: tests/hard_coded/typeclasses/ground_constraint_2.m
> > ===================================================================
> > RCS file: tests/hard_coded/typeclasses/ground_constraint_2.m
> > diff -N tests/hard_coded/typeclasses/ground_constraint_2.m
> > --- /dev/null	1 Jan 1970 00:00:00 -0000
> > +++ tests/hard_coded/typeclasses/ground_constraint_2.m	3 Mar 2005 14:32:20 -0000
> > @@ -0,0 +1,22 @@
> > +:- module ground_constraint_2.
> > +:- interface.
> > +:- import_module io.
> > +:- pred main(io__state::di, io__state::uo) is det.
> > +:- implementation.
> > +
> > +main -->
> > +	{ S1 = f(0) },
> > +	io__write_string(S1),
> > +	io__nl.
> 
> I'm pretty certain we're using state variables for IO, according to the
> coding standard (if that isn't in there, it should be - I'll check.)

I can change it if you really want, but it is only a regression test.
Don't expect me to update all the other tests, though; you'll have to
do that yourself.  :-)

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------