[Agda] Conversion bug

[Nils Anders Danielsson]

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
example.

-- 
/NAD