Show hint to import unqualified types/values

[GearsDatapacks]

For example:

import gleam/dict

type Grid(a) {
  Grid(Dict(#(Int, Int), a))
}

This is an error, since Dict is not imported. However, gleam/dict is. So we could either give a hint to import it unqualified: gleam/dict.{type Dict}, or (probably preferably), qualify it: dict.Dict(...)
We could either just check for this in imported modules, or all importable modules.

[lpil]

Good idea! Perhaps we could look for a type constructor with the appropriate arity, favouring imported modules over unimported ones?

[mine-tech-oficial]

I've been meaning to try and tackle this and, just so that its clear, I just need to add the hint to the error output for now, or should I implement a code action too?

[mine-tech-oficial]

Also, should I hint to qualify it or import unqualified?

[GearsDatapacks]

Probably hint to qualify it. No code action needed for now, although if you want to integrate the code action, feel free

[mine-tech-oficial]

Just when I publish a draft to import unqualified (as I suppose that is the programmer's original intention) 😄

[GearsDatapacks]

That's fine. I don't have a strong opinion either way

[mine-tech-oficial]

When you say value, do you mean a public constant, function and/or type constructor?

[GearsDatapacks]

Yep