[Agda] __IMPOSSIBLE__, called at src/full/Agda/TypeChecking/Rules/LHS.hs:447:29 in Agd-2.6.4.1-8cf9152f:Agda.TypeChecking.Rules.LHS

[Robby Findler]

Hi all:

  I got the following error from agda. The source isn't particularly small
but I'm happy to share it with anyone interested or open an issue on
github, if that seems useful. I'm running agda 2.6.4.1.

An internal error has occurred. Please report this as a bug.
Location of the error: __IMPOSSIBLE__, called at
src/full/Agda/TypeChecking/Rules/LHS.hs:447:29 in
Agd-2.6.4.1-8cf9152f:Agda.TypeChecking.Rules.LHS

Robby
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240517/c51d4a41/attachment.html>