[Agda] .agdai serialisation runs into segfault in Data.HashTable

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Tue Nov 30 18:42:53 CET 2010


On 2010-11-29 23:44, Wolfram Kahl wrote:
> by exchanging the use of Data.HashTable there with Data.Map, got rid
> of the segfault.

Do you know if this affects performance in any significant way?

> I did not touch the decode part, and I noticed that ``Int'' values
> are ``encoded'' as single Int32 values, which is, in general,
> not appropriate on a 64-bit machine.

Why is Int used rather than Integer? Is the use of Int much more
efficient?

-- 
/NAD


More information about the Agda mailing list