Internal error in TypeChecking.Monad.Signature.canonicalName #5451
Labels
internal-error
Concerning internal errors of Agda
not-in-changelog
This issue should not be listed in the changelog.
status: info-needed
More information is needed from the bug reporter to confirm the issue.
Milestone
On Agda v2.6.1.3:
It seems like the issue may have to do with importing parameterized modules across files, although I'm having trouble creating a small example which showcases the bug.
The text was updated successfully, but these errors were encountered: