[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