search

effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
335 stars 24 forks source link

Hovering over a typed hole doesn't show details #549

Open jiribenes opened 3 months ago

jiribenes commented 3 months ago

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 commented 3 months ago

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