Testsuite: heads up: with GHC 9.10, `throw` will print a callstack
andreasabel opened this issue · comments
agda/src/full/Agda/Utils/IO/UTF8.hs
Line 70 in 8c413d4
This will produce for issue #4506:
Failed to read .../test/Fail/Issue4506.agda.
Please ensure that this file uses the UTF-8 character encoding.
HasCallStack backtrace:
collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:92:13 in ...
toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:84:32 in ...
throw, called at src/full/Agda/Utils/IO/UTF8.hs:70:16 in ....
I recall discussing with @nad the choice or error reporting here, we might want to return Nothing
here instead and let Agda handle it further up, or catch this exception and print it without a stack trace.