[mercury-users] field access function

[Nicholas Nethercote]

Hi,

If I have this type:


:- type id
    ---> id(
             name            :: string,
             scope_number    :: int
         ).


should I be able to use 'name' as an access function like this?

   Name = map(name, Ids)

where 'Ids' is a list of 'id'?  I thought you could, but it doesn't seem to 
work.

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