dvdvgt

@adityaarakeri are you still interested in writing some tests? I would really appreciate your help as would I if somebody else reading this would like take on this issue!

> I wonder whether it would be good to have a separate "total" timer. I am a bit afraid that we will miss adding a timer somewhere and then the...

This [error](https://github.com/effekt-lang/effekt/actions/runs/8246665491/job/22553174161?pr=411#step:9:30) is confusing. I had it for some time, too, but then it somehow disappeared. Is this maybe a bug in the compiler because in my eyes, `trace` obviously...

# Benchmarks I did some benchmarks on using `example/benchmarks` as requested by @jiribenes. The results do not show any significant regression in my opinion. ## Methods ```bash for file in...

Fixed output: Plain text ``` 1. parser: /Users/david/Develop/effekt/effekt/libraries/js/text/regex.effekt: 126.07 ms, /Users/david/Develop/effekt/effekt/libraries/js/mutable/array.effekt: 50.18 ms, /Users/david/Develop/effekt/effekt/libraries/js/text/string.effekt: 31.99 ms, ./examples/casestudies/lexer.effekt.md: 83.19 ms, ./examples/casestudies/parser.effekt.md: 100.96 ms, /Users/david/Develop/effekt/effekt/libraries/js/immutable/list.effekt: 509.36 ms, /Users/david/Develop/effekt/effekt/libraries/js/immutable/option.effekt: 42.49 ms, /Users/david/Develop/effekt/effekt/libraries/js/effekt.effekt: 267.10...

Thanks, I changed it. Maybe we should first add some more tests for the parser, so that we can more easily detect regressions.

It might be nice to integrate some sort of regression testing into the Github CI where we compare the compilation time of a select list of benchmark programs (comparing all...

As it is perhaps the most common use-case, we could introduce the syntactic sugar `pure`: ```scala pure def f(...): T := {} def f(...): T / {} ```

#417 fixed this for higher-*order* functions but not higher-*rank*, my bad.

It seems there's no simple solution for this. A generic `Emit[R]` effect is used for printing the results. Therefore, it is not know whether `R` is something that can be...