Use different filenames for different backends

effekt-lang · Jan 22, 2025 · ac339f7 · ac339f7
1 parent 5c19040
commit ac339f7
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 8 deletions.
diff --git a/examples/benchmarks/input_output/dyck_one.effekt b/examples/benchmarks/input_output/dyck_one.effekt
@@ -37,17 +37,19 @@ def size(tree: Tree): Int =
     }
   }
 
+extern def filename(): String =
+  js { "/tmp/dyck_one_js.txt" }
+  llvm { "/tmp/dyck_one_llvm.txt" }
+
 def run(n: Int): Int = {
   with on[IOError].panic
 
-  val filename = "/tmp/dyck_one.txt"
-
   val _ = {
-    with writeFile(filename)
+    with writeFile(filename())
     emitTree(n)
   }
 
-  with readFile(filename)
+  with readFile(filename())
   with returning::scanner[Byte, Int]
   attempt { readTree().size } { panic("Expected tree.")}
 }

diff --git a/examples/benchmarks/input_output/word_count_ascii.effekt b/examples/benchmarks/input_output/word_count_ascii.effekt
@@ -59,13 +59,15 @@ def countWords(): Output / read[Byte] = {
   Output(chars, words, lines)
 }
 
+extern def filename(): String =
+  js { "/tmp/word_count_ascii_js.txt" }
+  llvm { "/tmp/word_count_ascii_llvm.txt" }
+
 def run(n: Int) = {
   with on[IOError].panic;
 
-  val filename = "/tmp/word_count_ascii.txt"
-
   val _ = {
-    with writeFile(filename)
+    with writeFile(filename())
     with repeat(n)
     for[Int] { range(32, 127) } { c =>
       repeat(10) {
@@ -76,7 +78,7 @@ def run(n: Int) = {
   }
 
   val output = {
-    with readFile(filename)
+    with readFile(filename())
     countWords()
   }