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 \/\/\