-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Closed
Labels
area:compiler-pluginsIssues tied with handling of compiler plugins.Issues tied with handling of compiler plugins.area:reportingError reporting including formatting, implicit suggestions, etcError reporting including formatting, implicit suggestions, etcbetter-errorsIssues concerned with improving confusing/unhelpful diagnostic messagesIssues concerned with improving confusing/unhelpful diagnostic messagesitype:enhancement
Description
Compiler version
3.6.1-RC1-bin-20241014-69ac5fb-NIGHTLY
Description
Currently, when a compiler plugin phase crashes, we still point the user to the Scala compiler backlog.
For example, a crash with stainless
produces output like this:
An unhandled exception was thrown in the compiler.
Please file a crash report here:
https://github.com/scala/scala3/issues/new/choose
For non-enriched exceptions, compile with -Xno-enrich-error-messages.
while compiling: BugReport.scala
during phase: stainless
mode: Mode(ImplicitsEnabled)
library version: version 2.13.14
compiler version: version 3.5.0
settings: -Wsafe-init true -classpath
We should indicate to the user that they should raise the crash to the compiler plugin maintainers, rather than us.
Context
This is a follow-up issue to:
Expectation
I'd expect output similar to:
An unhandled exception was thrown in the compiler.
Please file a crash report in the compiler plugin backlog.
The name of the compiler plugin which caused the crash is "stainless".
For non-enriched exceptions, compile with -Xno-enrich-error-messages.
while compiling: BugReport.scala
during phase: stainless
mode: Mode(ImplicitsEnabled)
library version: version 2.13.14
compiler version: version 3.5.0
settings: -Wsafe-init true -classpath
Metadata
Metadata
Assignees
Labels
area:compiler-pluginsIssues tied with handling of compiler plugins.Issues tied with handling of compiler plugins.area:reportingError reporting including formatting, implicit suggestions, etcError reporting including formatting, implicit suggestions, etcbetter-errorsIssues concerned with improving confusing/unhelpful diagnostic messagesIssues concerned with improving confusing/unhelpful diagnostic messagesitype:enhancement