Hovering over a typed hole doesn't show details

[jiribenes]

We have specialised code for showing the type inside & outside a typed hole: https://github.com/effekt-lang/effekt/blob/68d40378fea59cb66074de3eb61df7048578a4e1/effekt/shared/src/main/scala/effekt/Intelligence.scala#L89-L95 called via: https://github.com/effekt-lang/effekt/blob/68d40378fea59cb66074de3eb61df7048578a4e1/effekt/jvm/src/main/scala/effekt/Server.scala#L86-L87

But I haven't been able to trigger it on the website or in VSCode for any kind of hole (neither <> nor <{ ... }>) even though I remember it working a long time ago.

[b-studios]

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

[jiribenes]

I tried this again, but I don't understand how the annotations work...

There is a traceable call to:

      Context.annotateInferredType(t, got)
      Context.annotateInferredEffects(t, effs.toEffects)

but then there's nothing if you try to retrieve it (both immediately after the assigning, and in the LSP).

[timsueberkrueb]

Fixed.