[mercury-users] field access function

Nicholas Nethercote njn at csse.unimelb.edu.au
Thu Oct 18 09:37:38 AEST 2007


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 

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