[Agda] Conversion bug

Nils Anders Danielsson nad at chalmers.se
Mon Feb 27 16:09:03 CET 2012

On 2012-02-27 12:44, James Cranch wrote:
> When typechecking some (complicated and quite possibly incorrect) Agda
> code I get the error:
> "An internal error has occurred. Please report this as a bug.
> Location of the error: src/full/Agda/TypeChecking/Conversion.hs:432"
> I can send the code that causes it if you like, but I have a suspicion
> you may like me better if I don't.

Please report this on the bug-tracker, preferably with a cut-down


More information about the Agda mailing list