[Agda] bug in definitions using "_"?

[Martin Escardo]

On 19/12/13 16:17, Jesper Cockx wrote:
> This is indeed fixed in the development version: see
> http://code.google.com/p/agda/issues/detail?id=920.

Interesting. But in the example I gave (in Agda 2.3.2.1), when the
hypotheses are replaced by postulates I do get yellow (as I should),
indicating that unification works differently for postulates
(correctly!) before the fix in the development version.

Martin