[Agda] dmdFix loop warning/error

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sat Dec 19 20:08:14 CET 2009

Previous message: [Agda] dmdFix loop warning/error
Next message: [Agda] Odd `with' desugaring?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2009-12-19 04:34, Andrés Sicard-Ramírez wrote:
> Does someone know what this warning/error means?

It looks like some kind of debug output.

--
/NAD

Previous message: [Agda] dmdFix loop warning/error
Next message: [Agda] Odd `with' desugaring?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list