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

Refactor TransformerOps into a helper to operate on state in Context

Disclaimer: I won't have a lot of time to review the next week, but here is a remark about how to go about it: A lot of phases, other than...

Refactor TransformerOps into a helper to operate on state in Context

Maybe I didn't make myself clear. When I said > A lot of phases, **other** than the frontend, use phase-specific contexts that are defined in the same file and passed...

Unexpected end of input on opening brace after newline

There was the conscious decision to not allow this for parens: https://github.com/effekt-lang/effekt/blob/9e651118559e5980e7182a10e47abdbd9bf1b973/effekt/shared/src/main/scala/effekt/RecursiveDescent.scala#L863-L866 we might still allow this for braces, if we care.