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

[Dirk Ullrich]

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-1.2.0.2' 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
simplification.

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

Dirk
-------------- 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