[mercury-users] Inst problem with hash tables

[andrea bini]

Hi all,
I have a problem with insts when reading from a file a hash table, created using new_default function from hash_table.m, previously saved with io.write_binary. Maybe is a silly question but when I read the hash table using io.read_binary the instantiation state of it is ground and is not compatible with inst hash_table used by all the predicates and functions in hash_table.m. Indeed I cannot call any predicate on it.

How can I use mercury libraries to save an hash_table on a file and use it again after it has been read?

Thanks a lot!
Andrea
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------