[mercury-users] Maths and contexts.

[Julien Fischer]

On Sat, 21 Apr 2012, Mark Brown wrote:

>>
>> With the interface given below, you'll find that it will complain when
>> you write those bits too ;-)
>
> It worked for me.

Yes, I overlooked the fact that you could use a type qualifier to fix
the type :-(

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------