[Agda] Patch to build with `hashable-1.2.x'

Dirk Ullrich dirk.ullrich at gmail.com
Sun Dec 30 00:32:32 CET 2012

Hello all,

2012/12/20 Nils Anders Danielsson <nad at chalmers.se>:
> On 2012-12-15 17:23, Dirk Ullrich wrote:
>> starting with version 1.2 the interface of `Hashable' class in the
>> package `hashable' has changed. To build Agda with `hashable-1.2.x',
>> too, I've thus added to all `Hashable' instance declarations in the
>> Agda code a suitable alternative for the new interface.
>> With this patch I can build Agda with `hashable-' and GHC 7.0,
>> 7.2, 7.4 and 7.6. and successfully typecheck its whole Standard
>> Library (both from Darcs). This time I've tried to create a Darcs
>> patch.
> Pushed.
> --
> /NAD
I've now learnt that my patch mentioned above can be simplified: Since
you can als define `Hashable' instances by `hashWithSalt' for
`hashable' version < 1.2 no CPP wrapping for these instance
declarations is necessary. The Darcs patch appended make this

Same tests like above - both with `hashable-' and `hashable-'.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: agda_hashable-1.2_simplified.patch.gz
Type: application/x-gzip
Size: 3758 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20121230/f4259177/agda_hashable-1.2_simplified.patch.gz

More information about the Agda mailing list