Jonathan Immanuel Brachthäuser

@odersky Here is the trace generated by the latest nightly `3.5.0-RC1-bin-20240425-912d886-NIGHTLY` with the two options you mentioned ``` [error] -- [E046] Cyclic Error: /Users/jonathan/Desktop/github/effekt/effekt/shared/src/main/scala/effekt/Typer.scala:1449:57 [error] 1449 | private[typer] val unification...

> What does the definition of unification look like in TyperOps? ```scala private[typer] val unification = new Unification(using this) export unification.{ requireSubtype, requireSubregion, join, instantiate, instantiateFresh, freshTypeVar, freshCaptVar, without, requireSubregionWithout...

Yes, I tried annotating. Here is the trace with the annotation on `unification` ``` [error] -- [E046] Cyclic Error: /Users/jonathan/Desktop/github/effekt/effekt/shared/src/main/scala/effekt/Typer.scala:10:7 [error] 10 |import effekt.source.{AnyPattern, Def, Effectful, IgnorePattern, MatchGuard, MatchPattern, ModuleDecl,...

Maybe it is some kind of timing issue? It looks like `process` (which in turn will compile the file) will only be called `onsave` https://github.com/effekt-lang/kiama/blob/3401470a4cbbe294d2df0c6923e919b8a45ca1f5/jvm/src/main/scala/kiama/util/Server.scala#L498 so maybe this call is...

I don't know what's the LSP best practices here. Should there be _some_ form of synchronization? Should we block until the first `process` is completed? Or is this completely against...

I just thought there might be a race condition with save, open, or another action that will indeed perform the processing but is not finished yet.

Yes, exactly. This is really strange. Does adding `sleep` in some places help to diagnose?

Note that this probably could be done in the various stages `source`, `symbols`, `core`, `lifted`, etc. ## Just another advice on the style in the compiler When processing programs, typically,...

In #231 you can see what is necessary to pass evidence to `get`, `put`, and `fresh`.

Hey, thanks for your questions; sorry that I only just saw them. Actually, what you are asking for will be supported by #361. I'll go into detail later, when I...