[Agda] Conversion bug

James Cranch jdc41 at cam.ac.uk
Mon Feb 27 12:44:57 CET 2012


Hi all,

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.

James
\/\/\



More information about the Agda mailing list