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

[Tomas By]

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

/Tomas


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