[mercury-users] Solver types example

Ralph Becket rafe at cs.mu.OZ.AU
Tue Jun 13 09:29:04 AEST 2006

Ni Nicolas,

Nicolas Pelletier, Monday, 12 June 2006:
>   I understand solver types are still
> marked as an  experimental feature (I am using  mercury 0.12.2), so my
> attempt  at using them might be  too bold; I  would however be glad if
> someone could point  me to some  code demonstrating their use, or just
> tell me to wait for them to mature and concentrate on other features.

solver types are still rather experimental and it is best to use a
recent release-of-the-day (ROTD) compiler rather than an official
release if you are going to work with them.

I'll try to put a simple example together if I get time, but don't hold
your breath!  For now it's probably easier to stick to ground types,
especially if you're still learning Mercury.

-- Ralph
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

More information about the users mailing list