[mercury-users] Explicit type qualification problems

[Ondrej Bojar]

Hi.

  I'm trying to use the `with_type` explicit type qualification, but I get
error: undefined predicate `with_type/2'.

  (I'm using mmc version 0.10.1, configured for i686-pc-linux-gnu.)

Thanks for help, Andrew.

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