Open bwbush opened 1 month ago
This sounds like an upstream issue in Agda rather than a bug in agda2hs itself. Perhaps it could be fixed by https://github.com/agda/agda/pull/7251?
@bwbush Could you provide a minimized reproducer for this issue? Otherwise it is not really possible to look deeper into it.
Alternatively, you could try to use a patched version of agda2hs that includes the patch to base agda I mentioned above.
The first execution of
agda2hs
fails for this code:Success also occurs if
agda
is run and thenagda2hs
is run: