[ fix #119 ] Raise a warning when an unknown name appears in generated Haskell code#332

Merged

jespercockx merged 2 commits intoagda:masterfrom jespercockx:issue119

Oct 10, 2024

+93-24

Commits on Sep 25, 2024

[ re agda#354 ] Do not check canonicity of erased instances
jespercockx
committed
[ fix agda#119 ] Throw an error when an unknown name appears in generated Haskell code
jespercockx
committed