• Andreas Klebinger's avatar
    Rework the Binary Integer instance. · a38104b4
    Andreas Klebinger authored
    We used to serialise large integers as strings. Now they are serialized
    as a list of Bytes.
    
    This changes the size for a Integer in the higher 64bit range from 77 to
    9 bytes when written to disk.
    
    The impact on the general case is small (<1% for interface files) as we
    don't use many Integers. But for code that uses many this should be a
    nice benefit.
    a38104b4
Binary.hs 40.3 KB