make List benchmark executable from harness

effekt-lang · Nov 6, 2023 · b0c5c3d · b0c5c3d
1 parent be756fb
commit b0c5c3d
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 5 deletions.
diff --git a/examples/fasteffekt/harness.effekt b/examples/fasteffekt/harness.effekt
@@ -2,6 +2,7 @@ module examples/fasteffekt/harness
 
 
 import examples/fasteffekt/permute
+import examples/fasteffekt/list
 import io/args
 import text/string
 
@@ -56,16 +57,17 @@ def doRuns(innerIterations: Int, iterations: Int){benchmark: Int=>Unit} = {
 def doBenchmark(name: String, inner: Int, iterations: Int) = {
     if (name == "Permute") {
         doRuns(inner, iterations){Permute}
+    } else if (name == "List") {
+        doRuns(inner, iterations){List}
     } else {
         panic("unknown benchmark")
     }
 }
 
-def main() = {
+def attemptBenchmarkExec(args: List[String]) = {
     val debugStartTime : Int = currentTimeNanos();
 
-
-    ["Permute","100", "100"] match {
+    args match {
         case Cons(x, Cons(y, Cons(z, Nil()))) => 
             (x, toInt(y), toInt(z)) match {
                 case (benchName, Some(iterations), Some(innerIterations)) => 
@@ -80,3 +82,7 @@ def main() = {
     println("DEBUG: runner total took: " ++ show(runTime) ++ " us");
 }
 
+def main() = {
+    attemptBenchmarkExec(["List","100", "100"])
+}
+
diff --git a/examples/fasteffekt/list.effekt b/examples/fasteffekt/list.effekt
@@ -57,7 +57,7 @@ def tail(x: Option[Element], y: Option[Element], z: Option[Element]): Option[Ele
     }
 }
 
-def List() = {
+def List(_: Int) = {
     def benchmark(): Int = {
         val result = 
         tail(
@@ -77,5 +77,5 @@ def List() = {
 }
 
 def main() = {
-    List();
+    List(0);
 }