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

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Mon Apr 12 14:54:38 CEST 2010


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


More information about the Agda mailing list