From c6b77a9e737203f0be90fea7d5134c5e3797895a Mon Sep 17 00:00:00 2001
From: GitHub Action <>
Date: Thu, 9 Jan 2025 02:34:20 +0000
Subject: [PATCH] GitHub Action: Automated sync

---
 data/backends/202501.json | 251 ++++++++++++++++++++++++++
 data/build/202501.json    |   8 +
 data/cloc/202501.json     |  91 ++++++++++
 data/metrics/202501.json  |  52 ++++++
 data/out_loc/202501.json  | 365 ++++++++++++++++++++++++++++++++++++++
 data/phases/202501.json   | 276 ++++++++++++++++++++++++++++
 effekt                    |   2 +-
 7 files changed, 1044 insertions(+), 1 deletion(-)

diff --git a/data/backends/202501.json b/data/backends/202501.json
index a1075eb..2d8c42b 100644
--- a/data/backends/202501.json
+++ b/data/backends/202501.json
@@ -4265,5 +4265,256 @@
       "commitDate": "1736287698",
       "currentDate": "1736341207"
     }
+  },
+  {
+    "llvm": {
+      "are_we_fast_yet/bounce": {
+        "maxMem": 2048,
+        "time": 1167082399,
+        "arg": 65536
+      },
+      "are_we_fast_yet/list_tail": {
+        "maxMem": 2048,
+        "time": 361887707,
+        "arg": 78
+      },
+      "are_we_fast_yet/mandelbrot": {
+        "maxMem": 1920,
+        "time": 2772932578,
+        "arg": 683
+      },
+      "are_we_fast_yet/nbody": {
+        "maxMem": 1920,
+        "time": 1750037640,
+        "arg": 1048576
+      },
+      "are_we_fast_yet/permute": {
+        "maxMem": 1894,
+        "time": 588678820,
+        "arg": 9
+      },
+      "are_we_fast_yet/queens": {
+        "maxMem": 2073,
+        "time": 861802390,
+        "arg": 27
+      },
+      "are_we_fast_yet/sieve": {
+        "maxMem": 88960,
+        "time": 1785259286,
+        "arg": 5592406
+      },
+      "are_we_fast_yet/storage": {
+        "maxMem": 2816,
+        "time": 1486306183,
+        "arg": 2048
+      },
+      "are_we_fast_yet/towers": {
+        "maxMem": 1920,
+        "time": 2297249382,
+        "arg": 24
+      },
+      "duality_of_compilation/erase_unused": {
+        "maxMem": 2944,
+        "time": 2760147731,
+        "arg": 10923
+      },
+      "duality_of_compilation/factorial_accumulator": {
+        "maxMem": 1920,
+        "time": 1859533919,
+        "arg": 357913942
+      },
+      "duality_of_compilation/fibonacci_recursive": {
+        "maxMem": 1920,
+        "time": 1486933316,
+        "arg": 40
+      },
+      "duality_of_compilation/iterate_increment": {
+        "maxMem": 1920,
+        "time": 310,
+        "arg": 178956971
+      },
+      "duality_of_compilation/lookup_tree": {
+        "maxMem": 1924027,
+        "time": 2312185059,
+        "arg": 22369622
+      },
+      "duality_of_compilation/match_options": {
+        "maxMem": 1575448,
+        "time": 2130009682,
+        "arg": 67108864
+      },
+      "duality_of_compilation/sum_range": {
+        "maxMem": 1574536,
+        "time": 1894410275,
+        "arg": 16777216
+      },
+      "effect_handlers_bench/countdown": {
+        "maxMem": 1920,
+        "time": 318041928,
+        "arg": 33554432
+      },
+      "effect_handlers_bench/iterator": {
+        "maxMem": 1894,
+        "time": 802015580,
+        "arg": 67108864
+      },
+      "effect_handlers_bench/nqueens": {
+        "maxMem": 2048,
+        "time": 1504878255,
+        "arg": 12
+      },
+      "effect_handlers_bench/parsing_dollars": {
+        "maxMem": 1894,
+        "time": 1113729523,
+        "arg": 8192
+      },
+      "effect_handlers_bench/product_early": {
+        "maxMem": 2176,
+        "time": 1819170847,
+        "arg": 262144
+      },
+      "effect_handlers_bench/resume_nontail": {
+        "maxMem": 3814,
+        "time": 1566346030,
+        "arg": 65536
+      },
+      "effect_handlers_bench/tree_explore": {
+        "maxMem": 14086,
+        "time": 1650364869,
+        "arg": 17
+      },
+      "effect_handlers_bench/triples": {
+        "maxMem": 2048,
+        "time": 1915498594,
+        "arg": 512
+      }
+    },
+    "js": {
+      "are_we_fast_yet/bounce": {
+        "maxMem": 254637,
+        "time": 1143703941,
+        "arg": 10923
+      },
+      "are_we_fast_yet/list_tail": {
+        "maxMem": 56991,
+        "time": 1965101463,
+        "arg": 64
+      },
+      "are_we_fast_yet/mandelbrot": {
+        "maxMem": 194625,
+        "time": 1505667065,
+        "arg": 342
+      },
+      "are_we_fast_yet/nbody": {
+        "maxMem": 47776,
+        "time": 2245331852,
+        "arg": 699051
+      },
+      "are_we_fast_yet/permute": {
+        "maxMem": 116374,
+        "time": 248164394,
+        "arg": 8
+      },
+      "are_we_fast_yet/queens": {
+        "maxMem": 74186,
+        "time": 2110876752,
+        "arg": 24
+      },
+      "are_we_fast_yet/sieve": {
+        "maxMem": 154557,
+        "time": 2058963669,
+        "arg": 4194304
+      },
+      "are_we_fast_yet/storage": {
+        "maxMem": 73810,
+        "time": 1672602023,
+        "arg": 2048
+      },
+      "are_we_fast_yet/towers": {
+        "maxMem": 48618,
+        "time": 2230890712,
+        "arg": 23
+      },
+      "duality_of_compilation/erase_unused": {
+        "maxMem": 71888,
+        "time": 1974014799,
+        "arg": 9635
+      },
+      "duality_of_compilation/factorial_accumulator": {
+        "maxMem": 40631,
+        "time": 2194181949,
+        "arg": 44739243
+      },
+      "duality_of_compilation/fibonacci_recursive": {
+        "maxMem": 47028,
+        "time": 2289650697,
+        "arg": 35
+      },
+      "duality_of_compilation/iterate_increment": {
+        "maxMem": 39686,
+        "time": 785912797,
+        "arg": 22369622
+      },
+      "duality_of_compilation/lookup_tree": {
+        "maxMem": 514768,
+        "time": 2082543850,
+        "arg": 2796203
+      },
+      "duality_of_compilation/match_options": {
+        "maxMem": 536453,
+        "time": 2088807535,
+        "arg": 4194304
+      },
+      "duality_of_compilation/sum_range": {
+        "maxMem": 495778,
+        "time": 1855091387,
+        "arg": 1398102
+      },
+      "effect_handlers_bench/countdown": {
+        "maxMem": 40781,
+        "time": 564221680,
+        "arg": 16777216
+      },
+      "effect_handlers_bench/iterator": {
+        "maxMem": 40708,
+        "time": 1043029252,
+        "arg": 22369622
+      },
+      "effect_handlers_bench/nqueens": {
+        "maxMem": 57656,
+        "time": 1360821988,
+        "arg": 11
+      },
+      "effect_handlers_bench/parsing_dollars": {
+        "maxMem": 42420,
+        "time": 1889684427,
+        "arg": 7283
+      },
+      "effect_handlers_bench/product_early": {
+        "maxMem": 71507,
+        "time": 1746485219,
+        "arg": 32768
+      },
+      "effect_handlers_bench/resume_nontail": {
+        "maxMem": 867784,
+        "time": 2552065358,
+        "arg": 1366
+      },
+      "effect_handlers_bench/tree_explore": {
+        "maxMem": 170119,
+        "time": 897611622,
+        "arg": 14
+      },
+      "effect_handlers_bench/triples": {
+        "maxMem": 78752,
+        "time": 2436363995,
+        "arg": 256
+      }
+    },
+    "meta": {
+      "commit": "3cbf9cf5",
+      "commitDate": "1736376319",
+      "currentDate": "1736390059"
+    }
   }
 ]
diff --git a/data/build/202501.json b/data/build/202501.json
index 24d0a61..64d45a8 100644
--- a/data/build/202501.json
+++ b/data/build/202501.json
@@ -134,5 +134,13 @@
       "commitDate": "1736287698",
       "currentDate": "1736340382"
     }
+  },
+  {
+    "buildTime": "96.52",
+    "meta": {
+      "commit": "3cbf9cf5",
+      "commitDate": "1736376319",
+      "currentDate": "1736389159"
+    }
   }
 ]
diff --git a/data/cloc/202501.json b/data/cloc/202501.json
index 8173eb7..0e204be 100644
--- a/data/cloc/202501.json
+++ b/data/cloc/202501.json
@@ -1545,5 +1545,96 @@
       "commitDate": "1736287698",
       "currentDate": "1736341205"
     }
+  },
+  {
+    "Scala": {
+      "nFiles": 160,
+      "blank": 6068,
+      "comment": 6718,
+      "code": 23265
+    },
+    "Effekt": {
+      "nFiles": 419,
+      "blank": 2698,
+      "comment": 1248,
+      "code": 11848
+    },
+    "Markdown": {
+      "nFiles": 29,
+      "blank": 738,
+      "comment": 0,
+      "code": 3316
+    },
+    "Scheme": {
+      "nFiles": 10,
+      "blank": 168,
+      "comment": 134,
+      "code": 1211
+    },
+    "JSON": {
+      "nFiles": 3,
+      "blank": 1,
+      "comment": 0,
+      "code": 659
+    },
+    "C": {
+      "nFiles": 7,
+      "blank": 143,
+      "comment": 95,
+      "code": 632
+    },
+    "LLVM IR": {
+      "nFiles": 2,
+      "blank": 199,
+      "comment": 71,
+      "code": 577
+    },
+    "YAML": {
+      "nFiles": 4,
+      "blank": 84,
+      "comment": 21,
+      "code": 408
+    },
+    "JavaScript": {
+      "nFiles": 3,
+      "blank": 41,
+      "comment": 56,
+      "code": 179
+    },
+    "Text": {
+      "nFiles": 5,
+      "blank": 3,
+      "comment": 0,
+      "code": 83
+    },
+    "XML": {
+      "nFiles": 1,
+      "blank": 3,
+      "comment": 4,
+      "code": 42
+    },
+    "Bourne Shell": {
+      "nFiles": 1,
+      "blank": 0,
+      "comment": 0,
+      "code": 2
+    },
+    "Properties": {
+      "nFiles": 2,
+      "blank": 0,
+      "comment": 0,
+      "code": 2
+    },
+    "SUM": {
+      "blank": 10146,
+      "comment": 8347,
+      "code": 42224,
+      "nFiles": 646
+    },
+    "meta": {
+      "commit": "3cbf9cf5",
+      "commitDate": "1736376319",
+      "currentDate": "1736390056"
+    }
   }
 ]
diff --git a/data/metrics/202501.json b/data/metrics/202501.json
index 63f8da8..ad80d2f 100644
--- a/data/metrics/202501.json
+++ b/data/metrics/202501.json
@@ -882,5 +882,57 @@
       "commitDate": "1736287698",
       "currentDate": "1736341207"
     }
+  },
+  {
+    "examples/casestudies/ad.effekt.md": {
+      "maxMem": "359316",
+      "userTime": "14.78",
+      "cpuUsage": "267%"
+    },
+    "examples/casestudies/anf.effekt.md": {
+      "maxMem": "695384",
+      "userTime": "27.54",
+      "cpuUsage": "256%"
+    },
+    "examples/casestudies/buildsystem.effekt.md": {
+      "maxMem": "363116",
+      "userTime": "12.98",
+      "cpuUsage": "256%"
+    },
+    "examples/casestudies/inference.effekt.md": {
+      "maxMem": "418660",
+      "userTime": "20.43",
+      "cpuUsage": "277%"
+    },
+    "examples/casestudies/lexer.effekt.md": {
+      "maxMem": "357916",
+      "userTime": "14.83",
+      "cpuUsage": "266%"
+    },
+    "examples/casestudies/naturalisticdsls.effekt.md": {
+      "maxMem": "351744",
+      "userTime": "12.72",
+      "cpuUsage": "258%"
+    },
+    "examples/casestudies/parser.effekt.md": {
+      "maxMem": "404148",
+      "userTime": "16.83",
+      "cpuUsage": "269%"
+    },
+    "examples/casestudies/prettyprinter.effekt.md": {
+      "maxMem": "512300",
+      "userTime": "23.59",
+      "cpuUsage": "277%"
+    },
+    "examples/casestudies/scheduler.effekt.md": {
+      "maxMem": "450304",
+      "userTime": "14.80",
+      "cpuUsage": "270%"
+    },
+    "meta": {
+      "commit": "3cbf9cf5",
+      "commitDate": "1736376319",
+      "currentDate": "1736390058"
+    }
   }
 ]
diff --git a/data/out_loc/202501.json b/data/out_loc/202501.json
index 3c54b9f..bde8065 100644
--- a/data/out_loc/202501.json
+++ b/data/out_loc/202501.json
@@ -6203,5 +6203,370 @@
       "commitDate": "1736287698",
       "currentDate": "1736341206"
     }
+  },
+  {
+    "llvm": {
+      "nbody.ll": {
+        "blank": 1994,
+        "comment": 136,
+        "code": 4690,
+        "language": "LLVM IR"
+      },
+      "mandelbrot.ll": {
+        "blank": 1528,
+        "comment": 134,
+        "code": 3957,
+        "language": "LLVM IR"
+      },
+      "bounce.ll": {
+        "blank": 1679,
+        "comment": 146,
+        "code": 3362,
+        "language": "LLVM IR"
+      },
+      "towers.ll": {
+        "blank": 1312,
+        "comment": 124,
+        "code": 2764,
+        "language": "LLVM IR"
+      },
+      "tree_explore.ll": {
+        "blank": 1272,
+        "comment": 122,
+        "code": 2550,
+        "language": "LLVM IR"
+      },
+      "queens.ll": {
+        "blank": 1263,
+        "comment": 124,
+        "code": 2485,
+        "language": "LLVM IR"
+      },
+      "list_tail.ll": {
+        "blank": 1100,
+        "comment": 118,
+        "code": 2157,
+        "language": "LLVM IR"
+      },
+      "triples.ll": {
+        "blank": 1138,
+        "comment": 120,
+        "code": 2124,
+        "language": "LLVM IR"
+      },
+      "permute.ll": {
+        "blank": 1094,
+        "comment": 124,
+        "code": 2122,
+        "language": "LLVM IR"
+      },
+      "parsing_dollars.ll": {
+        "blank": 1036,
+        "comment": 120,
+        "code": 2096,
+        "language": "LLVM IR"
+      },
+      "storage.ll": {
+        "blank": 1074,
+        "comment": 122,
+        "code": 2096,
+        "language": "LLVM IR"
+      },
+      "sieve.ll": {
+        "blank": 1035,
+        "comment": 124,
+        "code": 2021,
+        "language": "LLVM IR"
+      },
+      "nqueens.ll": {
+        "blank": 1061,
+        "comment": 120,
+        "code": 2001,
+        "language": "LLVM IR"
+      },
+      "iterator.ll": {
+        "blank": 923,
+        "comment": 118,
+        "code": 1753,
+        "language": "LLVM IR"
+      },
+      "product_early.ll": {
+        "blank": 941,
+        "comment": 118,
+        "code": 1693,
+        "language": "LLVM IR"
+      },
+      "resume_nontail.ll": {
+        "blank": 925,
+        "comment": 120,
+        "code": 1657,
+        "language": "LLVM IR"
+      },
+      "countdown.ll": {
+        "blank": 871,
+        "comment": 118,
+        "code": 1627,
+        "language": "LLVM IR"
+      },
+      "sum_range.ll": {
+        "blank": 898,
+        "comment": 116,
+        "code": 1615,
+        "language": "LLVM IR"
+      },
+      "lookup_tree.ll": {
+        "blank": 885,
+        "comment": 116,
+        "code": 1599,
+        "language": "LLVM IR"
+      },
+      "match_options.ll": {
+        "blank": 869,
+        "comment": 118,
+        "code": 1573,
+        "language": "LLVM IR"
+      },
+      "erase_unused.ll": {
+        "blank": 873,
+        "comment": 118,
+        "code": 1539,
+        "language": "LLVM IR"
+      },
+      "fibonacci_recursive.ll": {
+        "blank": 836,
+        "comment": 118,
+        "code": 1504,
+        "language": "LLVM IR"
+      },
+      "iterate_increment.ll": {
+        "blank": 839,
+        "comment": 118,
+        "code": 1473,
+        "language": "LLVM IR"
+      },
+      "factorial_accumulator.ll": {
+        "blank": 818,
+        "comment": 120,
+        "code": 1454,
+        "language": "LLVM IR"
+      },
+      "SUM": {
+        "blank": 26264,
+        "comment": 2932,
+        "code": 51912,
+        "nFiles": 24
+      }
+    },
+    "js": {
+      "prettyprinter.js": {
+        "blank": 86,
+        "comment": 56,
+        "code": 2164,
+        "language": "JavaScript"
+      },
+      "anf.js": {
+        "blank": 95,
+        "comment": 56,
+        "code": 2163,
+        "language": "JavaScript"
+      },
+      "parser.js": {
+        "blank": 85,
+        "comment": 56,
+        "code": 1434,
+        "language": "JavaScript"
+      },
+      "inference.js": {
+        "blank": 73,
+        "comment": 56,
+        "code": 1188,
+        "language": "JavaScript"
+      },
+      "lexer.js": {
+        "blank": 77,
+        "comment": 56,
+        "code": 1011,
+        "language": "JavaScript"
+      },
+      "scheduler.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 651,
+        "language": "JavaScript"
+      },
+      "nbody.js": {
+        "blank": 64,
+        "comment": 56,
+        "code": 629,
+        "language": "JavaScript"
+      },
+      "ad.js": {
+        "blank": 59,
+        "comment": 56,
+        "code": 625,
+        "language": "JavaScript"
+      },
+      "tree_explore.js": {
+        "blank": 68,
+        "comment": 56,
+        "code": 583,
+        "language": "JavaScript"
+      },
+      "bounce.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 566,
+        "language": "JavaScript"
+      },
+      "queens.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 529,
+        "language": "JavaScript"
+      },
+      "mandelbrot.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 513,
+        "language": "JavaScript"
+      },
+      "triples.js": {
+        "blank": 64,
+        "comment": 56,
+        "code": 513,
+        "language": "JavaScript"
+      },
+      "towers.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 509,
+        "language": "JavaScript"
+      },
+      "storage.js": {
+        "blank": 65,
+        "comment": 56,
+        "code": 503,
+        "language": "JavaScript"
+      },
+      "list_tail.js": {
+        "blank": 66,
+        "comment": 56,
+        "code": 490,
+        "language": "JavaScript"
+      },
+      "lookup_tree.js": {
+        "blank": 65,
+        "comment": 56,
+        "code": 477,
+        "language": "JavaScript"
+      },
+      "match_options.js": {
+        "blank": 65,
+        "comment": 56,
+        "code": 472,
+        "language": "JavaScript"
+      },
+      "nqueens.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 469,
+        "language": "JavaScript"
+      },
+      "permute.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 464,
+        "language": "JavaScript"
+      },
+      "sieve.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 458,
+        "language": "JavaScript"
+      },
+      "parsing_dollars.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 451,
+        "language": "JavaScript"
+      },
+      "product_early.js": {
+        "blank": 64,
+        "comment": 56,
+        "code": 443,
+        "language": "JavaScript"
+      },
+      "sum_range.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 436,
+        "language": "JavaScript"
+      },
+      "resume_nontail.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 431,
+        "language": "JavaScript"
+      },
+      "iterator.js": {
+        "blank": 62,
+        "comment": 56,
+        "code": 427,
+        "language": "JavaScript"
+      },
+      "buildsystem.js": {
+        "blank": 58,
+        "comment": 56,
+        "code": 426,
+        "language": "JavaScript"
+      },
+      "countdown.js": {
+        "blank": 62,
+        "comment": 56,
+        "code": 425,
+        "language": "JavaScript"
+      },
+      "erase_unused.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 423,
+        "language": "JavaScript"
+      },
+      "iterate_increment.js": {
+        "blank": 62,
+        "comment": 56,
+        "code": 419,
+        "language": "JavaScript"
+      },
+      "fibonacci_recursive.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 416,
+        "language": "JavaScript"
+      },
+      "factorial_accumulator.js": {
+        "blank": 63,
+        "comment": 56,
+        "code": 411,
+        "language": "JavaScript"
+      },
+      "naturalisticdsls.js": {
+        "blank": 64,
+        "comment": 56,
+        "code": 389,
+        "language": "JavaScript"
+      },
+      "SUM": {
+        "blank": 2186,
+        "comment": 1848,
+        "code": 21508,
+        "nFiles": 33
+      }
+    },
+    "meta": {
+      "commit": "3cbf9cf5",
+      "commitDate": "1736376319",
+      "currentDate": "1736390057"
+    }
   }
 ]
diff --git a/data/phases/202501.json b/data/phases/202501.json
index fa44ab1..80e5c01 100644
--- a/data/phases/202501.json
+++ b/data/phases/202501.json
@@ -4459,5 +4459,281 @@
       "commitDate": "1736287698",
       "currentDate": "1736341207"
     }
+  },
+  {
+    "parser": {
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 3.18,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 35.68,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 43.99,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 4.47,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 139.47,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 11.69,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 12.27,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 216.66,
+      "examples/casestudies/ad.effekt.md": 221.16,
+      "./examples/casestudies/prettyprinter.effekt.md": 34.60,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 2.59,
+      "./examples/casestudies/lexer.effekt.md": 17.04,
+      "./examples/casestudies/parser.effekt.md": 16.03,
+      "examples/casestudies/anf.effekt.md": 205.11,
+      "examples/casestudies/buildsystem.effekt.md": 184.47,
+      "examples/casestudies/inference.effekt.md": 356.00,
+      "examples/casestudies/lexer.effekt.md": 244.98,
+      "examples/casestudies/naturalisticdsls.effekt.md": 183.16,
+      "examples/casestudies/parser.effekt.md": 218.16,
+      "examples/casestudies/prettyprinter.effekt.md": 293.64,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 10.43,
+      "examples/casestudies/scheduler.effekt.md": 160.93
+    },
+    "namer": {
+      "examples/casestudies/ad.effekt.md": 24.32,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 0.73,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 12.79,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 18.67,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 3.27,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 41.33,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 11.89,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 14.53,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 210.48,
+      "examples/casestudies/anf.effekt.md": 5.42,
+      "./examples/casestudies/prettyprinter.effekt.md": 12.10,
+      "./examples/casestudies/parser.effekt.md": 11.48,
+      "./examples/casestudies/lexer.effekt.md": 9.08,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 1.35,
+      "examples/casestudies/buildsystem.effekt.md": 11.55,
+      "examples/casestudies/inference.effekt.md": 41.94,
+      "examples/casestudies/lexer.effekt.md": 9.01,
+      "examples/casestudies/naturalisticdsls.effekt.md": 6.75,
+      "examples/casestudies/parser.effekt.md": 12.46,
+      "examples/casestudies/prettyprinter.effekt.md": 11.78,
+      "examples/casestudies/scheduler.effekt.md": 8.77,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 7.32
+    },
+    "box-unbox": {
+      "examples/casestudies/ad.effekt.md": 3.48,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 0.06,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 2.81,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 7.84,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 0.54,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 6.22,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 1.55,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 1.64,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 22.67,
+      "examples/casestudies/anf.effekt.md": 0.82,
+      "./examples/casestudies/prettyprinter.effekt.md": 2.10,
+      "./examples/casestudies/parser.effekt.md": 1.47,
+      "./examples/casestudies/lexer.effekt.md": 1.53,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 0.35,
+      "examples/casestudies/buildsystem.effekt.md": 0.83,
+      "examples/casestudies/inference.effekt.md": 4.15,
+      "examples/casestudies/lexer.effekt.md": 1.78,
+      "examples/casestudies/naturalisticdsls.effekt.md": 1.40,
+      "examples/casestudies/parser.effekt.md": 1.16,
+      "examples/casestudies/prettyprinter.effekt.md": 1.91,
+      "examples/casestudies/scheduler.effekt.md": 1.36,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 1.19
+    },
+    "typer": {
+      "examples/casestudies/ad.effekt.md": 435.88,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 0.41,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 102.42,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 266.74,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 10.04,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 802.65,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 178.69,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 51.74,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 439.55,
+      "examples/casestudies/anf.effekt.md": 64.61,
+      "./examples/casestudies/prettyprinter.effekt.md": 553.74,
+      "./examples/casestudies/parser.effekt.md": 60.44,
+      "./examples/casestudies/lexer.effekt.md": 90.45,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 1.97,
+      "examples/casestudies/buildsystem.effekt.md": 53.14,
+      "examples/casestudies/inference.effekt.md": 615.55,
+      "examples/casestudies/lexer.effekt.md": 83.52,
+      "examples/casestudies/naturalisticdsls.effekt.md": 25.11,
+      "examples/casestudies/parser.effekt.md": 61.15,
+      "examples/casestudies/prettyprinter.effekt.md": 535.90,
+      "examples/casestudies/scheduler.effekt.md": 43.62,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 448.53
+    },
+    "wellformedness": {
+      "examples/casestudies/ad.effekt.md": 3.93,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 0.22,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 6.41,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 6.14,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 1.56,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 17.19,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 4.98,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 6.70,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 66.13,
+      "examples/casestudies/anf.effekt.md": 2.38,
+      "./examples/casestudies/prettyprinter.effekt.md": 4.65,
+      "./examples/casestudies/parser.effekt.md": 2.25,
+      "./examples/casestudies/lexer.effekt.md": 4.09,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 0.46,
+      "examples/casestudies/buildsystem.effekt.md": 2.06,
+      "examples/casestudies/inference.effekt.md": 15.98,
+      "examples/casestudies/lexer.effekt.md": 6.06,
+      "examples/casestudies/naturalisticdsls.effekt.md": 2.15,
+      "examples/casestudies/parser.effekt.md": 2.63,
+      "examples/casestudies/prettyprinter.effekt.md": 4.79,
+      "examples/casestudies/scheduler.effekt.md": 4.26,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 3.57
+    },
+    "explicit-capabilities": {
+      "examples/casestudies/ad.effekt.md": 5.96,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 0.14,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 29.59,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 5.69,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 0.80,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 11.36,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 2.61,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 5.15,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 27.98,
+      "examples/casestudies/anf.effekt.md": 3.14,
+      "./examples/casestudies/prettyprinter.effekt.md": 12.41,
+      "./examples/casestudies/parser.effekt.md": 4.03,
+      "./examples/casestudies/lexer.effekt.md": 5.31,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 0.41,
+      "examples/casestudies/buildsystem.effekt.md": 2.94,
+      "examples/casestudies/inference.effekt.md": 19.54,
+      "examples/casestudies/lexer.effekt.md": 4.58,
+      "examples/casestudies/naturalisticdsls.effekt.md": 3.15,
+      "examples/casestudies/parser.effekt.md": 3.56,
+      "examples/casestudies/prettyprinter.effekt.md": 12.25,
+      "examples/casestudies/scheduler.effekt.md": 1.60,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 3.06
+    },
+    "annotate-captures": {
+      "examples/casestudies/ad.effekt.md": 2.81,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 0.13,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 4.67,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 4.83,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 0.75,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 9.53,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 2.10,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 2.46,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 18.38,
+      "examples/casestudies/anf.effekt.md": 2.64,
+      "./examples/casestudies/prettyprinter.effekt.md": 5.89,
+      "./examples/casestudies/parser.effekt.md": 2.15,
+      "./examples/casestudies/lexer.effekt.md": 5.29,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 0.33,
+      "examples/casestudies/buildsystem.effekt.md": 1.91,
+      "examples/casestudies/inference.effekt.md": 16.50,
+      "examples/casestudies/lexer.effekt.md": 3.04,
+      "examples/casestudies/naturalisticdsls.effekt.md": 1.16,
+      "examples/casestudies/parser.effekt.md": 2.51,
+      "examples/casestudies/prettyprinter.effekt.md": 5.97,
+      "examples/casestudies/scheduler.effekt.md": 1.66,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 1.66
+    },
+    "transformer": {
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/effekt.effekt": 12.10,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/exception.effekt": 3.45,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/option.effekt": 5.73,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/list.effekt": 28.71,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/result.effekt": 4.20,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/array.effekt": 15.29,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/string.effekt": 41.70,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/ref.effekt": 4.54,
+      "examples/casestudies/ad.effekt.md": 74.55,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/../js/text/regex.effekt": 6.79,
+      "./examples/casestudies/lexer.effekt.md": 15.10,
+      "./examples/casestudies/parser.effekt.md": 14.63,
+      "./examples/casestudies/prettyprinter.effekt.md": 33.51,
+      "examples/casestudies/anf.effekt.md": 89.59,
+      "examples/casestudies/buildsystem.effekt.md": 78.90,
+      "examples/casestudies/inference.effekt.md": 152.56,
+      "examples/casestudies/lexer.effekt.md": 86.19,
+      "examples/casestudies/naturalisticdsls.effekt.md": 54.19,
+      "examples/casestudies/parser.effekt.md": 92.46,
+      "examples/casestudies/prettyprinter.effekt.md": 103.99,
+      "/tmp/runner/effekt-plots/effekt-plots/effekt/libraries/common/dequeue.effekt": 22.39,
+      "examples/casestudies/scheduler.effekt.md": 72.19
+    },
+    "deadcode-elimination": {
+      "examples/casestudies/ad.effekt.md": 42.21,
+      "examples/casestudies/anf.effekt.md": 56.66,
+      "examples/casestudies/buildsystem.effekt.md": 33.47,
+      "examples/casestudies/inference.effekt.md": 51.90,
+      "examples/casestudies/lexer.effekt.md": 37.91,
+      "examples/casestudies/naturalisticdsls.effekt.md": 30.24,
+      "examples/casestudies/parser.effekt.md": 55.25,
+      "examples/casestudies/prettyprinter.effekt.md": 62.02,
+      "examples/casestudies/scheduler.effekt.md": 33.66
+    },
+    "static-argument-transformation": {
+      "examples/casestudies/ad.effekt.md": 22.30,
+      "examples/casestudies/anf.effekt.md": 39.16,
+      "examples/casestudies/buildsystem.effekt.md": 26.79,
+      "examples/casestudies/inference.effekt.md": 38.47,
+      "examples/casestudies/lexer.effekt.md": 29.07,
+      "examples/casestudies/naturalisticdsls.effekt.md": 17.81,
+      "examples/casestudies/parser.effekt.md": 38.64,
+      "examples/casestudies/prettyprinter.effekt.md": 42.95,
+      "examples/casestudies/scheduler.effekt.md": 27.89
+    },
+    "normalize-1": {
+      "examples/casestudies/ad.effekt.md": 148.02,
+      "examples/casestudies/anf.effekt.md": 5175.42,
+      "examples/casestudies/buildsystem.effekt.md": 98.08,
+      "examples/casestudies/inference.effekt.md": 1536.88,
+      "examples/casestudies/lexer.effekt.md": 266.12,
+      "examples/casestudies/naturalisticdsls.effekt.md": 115.80,
+      "examples/casestudies/parser.effekt.md": 743.79,
+      "examples/casestudies/prettyprinter.effekt.md": 2421.60,
+      "examples/casestudies/scheduler.effekt.md": 148.36
+    },
+    "tail-resumptions": {
+      "examples/casestudies/ad.effekt.md": 17.47,
+      "examples/casestudies/anf.effekt.md": 19.88,
+      "examples/casestudies/buildsystem.effekt.md": 15.09,
+      "examples/casestudies/inference.effekt.md": 22.68,
+      "examples/casestudies/lexer.effekt.md": 13.91,
+      "examples/casestudies/naturalisticdsls.effekt.md": 9.36,
+      "examples/casestudies/parser.effekt.md": 16.71,
+      "examples/casestudies/prettyprinter.effekt.md": 19.12,
+      "examples/casestudies/scheduler.effekt.md": 9.69
+    },
+    "normalize-2": {
+      "examples/casestudies/ad.effekt.md": 25.25,
+      "examples/casestudies/anf.effekt.md": 49.91,
+      "examples/casestudies/buildsystem.effekt.md": 20.86,
+      "examples/casestudies/inference.effekt.md": 41.48,
+      "examples/casestudies/lexer.effekt.md": 16.50,
+      "examples/casestudies/naturalisticdsls.effekt.md": 4.09,
+      "examples/casestudies/parser.effekt.md": 19.84,
+      "examples/casestudies/prettyprinter.effekt.md": 49.02,
+      "examples/casestudies/scheduler.effekt.md": 25.88
+    },
+    "optimize": {
+      "examples/casestudies/ad.effekt.md": 258.46,
+      "examples/casestudies/anf.effekt.md": 5343.90,
+      "examples/casestudies/buildsystem.effekt.md": 196.66,
+      "examples/casestudies/inference.effekt.md": 1694.15,
+      "examples/casestudies/lexer.effekt.md": 365.82,
+      "examples/casestudies/naturalisticdsls.effekt.md": 181.23,
+      "examples/casestudies/parser.effekt.md": 877.42,
+      "examples/casestudies/prettyprinter.effekt.md": 2598.03,
+      "examples/casestudies/scheduler.effekt.md": 247.58
+    },
+    "total": {
+      "examples/casestudies/ad.effekt.md": 4575.39,
+      "examples/casestudies/anf.effekt.md": 10280.73,
+      "examples/casestudies/buildsystem.effekt.md": 3822.09,
+      "examples/casestudies/inference.effekt.md": 6309.01,
+      "examples/casestudies/lexer.effekt.md": 4170.26,
+      "examples/casestudies/naturalisticdsls.effekt.md": 3796.19,
+      "examples/casestudies/parser.effekt.md": 5178.26,
+      "examples/casestudies/prettyprinter.effekt.md": 7407.66,
+      "examples/casestudies/scheduler.effekt.md": 4520.49
+    },
+    "meta": {
+      "commit": "3cbf9cf5",
+      "commitDate": "1736376319",
+      "currentDate": "1736390058"
+    }
   }
 ]
diff --git a/effekt b/effekt
index 4a71622..3cbf9cf 160000
--- a/effekt
+++ b/effekt
@@ -1 +1 @@
-Subproject commit 4a71622ce3cf481d84992ed4563a8d2c7d34af1d
+Subproject commit 3cbf9cf597d3ac09a9d64bdb077456a129a24b7a