[Agda] some brown for your nerves

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Mon May 3 14:13:22 CEST 2010


On 2010-05-02 21:49, Conor McBride wrote:
> [...] unification is happy to choose the solution which presents
> itself, even if it's not unique.

If this is the case, then you have found a bug. I've added your example
to issue 246 and raised its priority to ensure that Ulf takes a look at
it before 2.2.8 is released.

--
/NAD


More information about the Agda mailing list