[Agda] Re: Agda with GHC-6.10.4, continued...

[Nils Anders Danielsson]

On 2010-04-09 21:58, kahl at cas.mcmaster.ca wrote:
> I succeeded to get Agda installed with GHC-6.10.4 after that, but now
> pattern matching on pairs does not work anymore [...] The missing
> patches are: [...]

I believe those patches are unrelated to pattern matching for record
types, which was introduced by the patch named "allow pattern matching
on records (doesn't obey eta equality yet)".

--
/NAD