Custom compiler crash/panic handler

effekt/jvm/src/main/scala/effekt/Driver.scala

@@ -91,7 +91,7 @@ trait Driver extends kiama.util.Compiler[EffektConfig, EffektError] { outer =>
     case e @ CompilerPanic(msg) =>
       context.report(msg)
       e.getStackTrace.foreach { line =>
-        context.info("  at " + line)
+        generateCrashReport(e, context, config)
       }
     // when in server-mode, do not crash but report the error to avoid
     // restarting the server.
@@ -108,6 +108,97 @@ trait Driver extends kiama.util.Compiler[EffektConfig, EffektError] { outer =>
     afterCompilation(source, config)(context)
   }
 
+  def generateCrashReport(e: Throwable, context: Context, config: EffektConfig): Unit = {
+    import java.nio.file.{Files, Paths}
+    import java.util.Properties
+
+    // Capture general information
+    val effektVersion = effekt.util.Version.effektVersion
+    val osInfo = System.getProperty("os.name") +
+      " (" + System.getProperty("os.arch") + ") " +
+      System.getProperty("os.version")
+
+    val jvmInfo = System.getProperty("java.version") +
+      " (" + System.getProperty("java.vendor") + ")"
+
+    val stackTrace = e.getStackTrace.map(line => "  at " + line.toString).mkString("\n")
+
+    // Collect backend details (if applicable)
+    val backendInfoName = config.backend() match {
+      case Backend(name, compiler, runner) => name
+      case null => s"Backend-specific info Name not retrievable"
+    }
+    val backendInfoCompiler = config.backend() match {
+      case Backend(name, compiler, runner) => compiler
+      case null => s"Backend-specific info Compiler not retrievable"
+    }
+    val backendInfoRunner = config.backend() match {
+      case Backend(name, compiler, runner) => runner
+      case null => s"Backend-specific info Runner not retrievable"
+    }
+
+    // Construct the report
+    val report =
+      s"""|=== Effekt Compiler Crash Report ===
+          |
+          |Where to report: https://github.com/effekt-lang/effekt/issues
+          |
+          |
+          |Effekt Compiler Version: $effektVersion
+          |
+          |Backend-specific info:
+          |  - Name: $backendInfoName
+          |  - Compiler: $backendInfoCompiler
+          |  - Runner: $backendInfoRunner
+          |
+          |Operating System: $osInfo
+          |
+          |JVM Version: $jvmInfo
+          |
+          |Full Stack Trace:
+          |$stackTrace
+          |""".stripMargin
+
+    val mdReport =
+      s"""|# === Effekt Compiler Crash Report ===
+          |
+          |**Where to report**: [https://github.com/effekt-lang/effekt/issues](https://github.com/effekt-lang/effekt/issues)
+          |
+          |---
+          |## Compiler Details
+          |
+          |- **Effekt Compiler Version**: $effektVersion
+          |- **Backend-specific info**:
+          |  - **Name**: $backendInfoName
+          |  - **Compiler**: $backendInfoCompiler
+          |  - **Runner**: $backendInfoRunner
+          |
+          |- **Operating System**: $osInfo
+          |
+          |- **JVM Version**: $jvmInfo
+          |
+          |
+          |# Full Stack Trace:
+          |```
+          |$stackTrace
+          |```
+          |""".stripMargin
+
+    // Print the report to console
+    context.info(report)
+
+    // write to a markdown file in ./out/
+    try {
+      val outputPath = Paths.get("./out/crash-report.md")
+      Files.createDirectories(outputPath.getParent)
+      Files.write(outputPath, mdReport.getBytes)
+      context.info(s"Crash report saved to: $outputPath")
+    } catch {
+      case ex: Exception =>
+        context.info("Failed to save crash report to file: " + ex.getMessage)
+    }
+  }
+
   /**
    * Outputs the timing information captured in [[effekt.util.Timers]] by [[effekt.context.Context]]. Either a JSON file
    * is written to disk or a plain text message is written to stdout.