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

[Nils Anders Danielsson]

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