LSP: use generic type name in for type info

[ethanthoma]

Hello,

I am currently writing a library with generic type functions like:

pub fn continue(value: msg) -> Effect(msg, early)  { todo }

I think it would be much nicer that when using the LSP, it uses the names I set for the generic name. Rn, It will do this:

Instead, I would prefer if the LSP instead showed the return type to be Effect(String, early)

[GearsDatapacks]

I'm confused. The signature fn(String) -> effect.Effect(String, a) doesn't match fn(msg) -> Effect(msg, early). Can you show more of the code?

[ethanthoma]

The func is defined as:

pub fn continue(value: msg) -> Effect(msg, early) {
  Effect(run: [fn(act: Action(msg, early)) { act.next(value) }])
}

I use it like so

  let eff = effect.continue("")

[ethanthoma]

This gives eff the LSP type hint of Effect(String, a) but it would be much nicer if it was Effect(String, early)

[GearsDatapacks]

Ah I see. I'm not sure how feasible this is to implement, because the a type variable is now completely separate from early (I think). Might be doable though