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

Nils Anders Danielsson nad at chalmers.se
Thu Dec 20 14:47:09 CET 2012

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.



More information about the Agda mailing list