[mercury-users] newbie question: instantiating a type (practicing with the tutorial)

Tomas By tomas at basun.net
Thu Sep 23 19:08:09 AEST 2010

On Thu, September 23, 2010 10:52, Tomas By wrote:
> |  map.insert(Dic0,"jmv","JM Vanel",Dic1),
> |  map.search(Dic1,"jmv",V),

Make that

|  map.det_insert(Dic0,"jmv","JM Vanel",Dic1),
|  map.lookup(Dic1,"jmv",V),


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

More information about the users mailing list