Make panics output to stdout (#823)

Fixes #815

Author: jiribenes

effekt/jvm/src/test/scala/effekt/LLVMTests.scala

@@ -20,7 +20,8 @@ class LLVMTests extends EffektTests {
   )
 
   /**
-   * Documentation of currently failing tests and their reason
+   * Documentation of currently failing tests because of missing features
+   * and their reason
    */
   lazy val missingFeatures: List[File] = List(
     // Regex
@@ -52,5 +53,22 @@ class LLVMTests extends EffektTests {
     examplesDir / "pos" / "issue733.effekt",
   )
 
-  override lazy val ignored: List[File] = missingFeatures
+  override lazy val ignored: List[File] = missingFeatures ++ noValgrind(examplesDir)
+}
+
+/**
+ * Documentation of tests that succeed in running, but fail valgrind
+ * and their reason
+ */
+def noValgrind(examplesDir: File): List[File] = List(
+  examplesDir / "llvm" / "prompt-duplication.effekt",
+)
+
+class LLVMNoValgrindTests extends EffektTests {
+  def backendName = "llvm"
+
+  override def valgrind = false
+  override def debug = false
+
+  override lazy val positives: List[File] = noValgrind(examplesDir)
 }

examples/llvm/prompt-duplication.check

@@ -1,2 +1,2 @@
+PANIC: Continuation invoked itself
 [error] Process exited with non-zero exit code 1.
-[error] Valgrind log:

libraries/llvm/panic.c

@@ -3,13 +3,17 @@
 
 #include <stdio.h>
 
+// TODO:
+// this should _morally_ be using `stderr`, but we don't tee it in tests
+// see PR #823 & issue #815 for context
+
 void hole() {
-    fprintf(stderr, "PANIC: Reached a hole in the program\n");
+    printf("PANIC: Reached a hole in the program\n");
     exit(1);
 }
 
 void duplicated_prompt() {
-    fprintf(stderr, "PANIC: Continuation invoked itself\n");
+    printf("PANIC: Continuation invoked itself\n");
     exit(1);
 }