[mercury-users] Typeclassed binary type arguments?

[doug.auclair at logicaltypes.com]

Dear Mark, thanks for your reply:

>Probably the easiest way to fix this is to use a type qualifier:
>	{ Nada = nil : foo(int) }
>where the int should be replaced by any other instance of showable.

It worked, of course, but it also worked in automated
testing (with specialized frequency distributions, that
is) in qcheck, as well, which is very sweet.

Thanks for the help!

Sincerely,
Doug Auclair

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