Jonathan Immanuel Brachthäuser

icon company University of Tübingen icon location Tübingen icon location Jun. Professor of Software Engineering at University of Tübingen, working on effect systems, control flow, and more.

Results 283 comments of Jonathan Immanuel Brachthäuser

Wrong effect inferred for effectful `while` header

Yes, we just need to add `guardEffs` here: https://github.com/effekt-lang/effekt/blob/e0e5c60e3fdda4dbc693207a776ae60f41b0d292/effekt/shared/src/main/scala/effekt/Typer.scala#L122

Unexpected "effect is not allowed in this context" for a list of first-class functions

Maybe related to #813 ?

Refactor/homogenize core lifted

@phischu ping

Add 'panik' handler

Closing this until next April ;)

Add helper functions from students

I looked into the OOM. The `indexOf` test is causing OOM during the _second_ run of `normalize`. It seems like this is related to the shape of tests, after some...

Add helper functions from students

We _can_ fix this by just reducing the default `--max-inline-size` to 20.

Shebang support

This would be even more useful if we wouldn't recompile the standard library every time :)

Hovering over a typed hole doesn't show details

I think this is fixed in the WIP branch https://github.com/effekt-lang/effekt/tree/feature/llm

Record update syntax?

Many languages use keyword + default arguments, as you mention. Why do you think those are difficult to implement?

Normalizer bug: a binding "tmp_XXX" is used but not defined

This is a quite subtle error. It seems it is caused by the renaming here https://github.com/effekt-lang/effekt/blob/8c74342451594bb9aea7235c14027c394c6f404e/effekt/shared/src/main/scala/effekt/core/optimizer/Normalizer.scala#L436 in Normalizer. The issue is that we rename bound variables to guarantee uniqueness. However,...