Fix for issue #305 + some related problems#307

Merged

jespercockx merged 8 commits intoagda:masterfrom jespercockx:issue305

Mar 22, 2024

+288-85

Commits on Mar 16, 2024

Some more debug printing for compilation of instances
jespercockx
committed
[ re agda#305 ] More robust inlining of indirectly defined instances
jespercockx
committed

Commits on Mar 21, 2024

[ re agda#305 ] Set the checkpoint in the context of the module rather than the clause
jespercockx
committed