Basic features

[zjhmale]

features

• Find uses of an identifier in a module.
• Find definition of an identifier in a module.
• Show the type of an expression or identifier.
• Completion of identifiers within a module's scope.

:uses and :complete-at will produce a list of results and it is impossible to collect them using current async communication strategy, a language-server is needed. https://github.com/commercialhaskell/intero/issues/274

[Maaarcocr]

@zjhmale Would you be able to expand on why it's impossible to use :complete_at with the strategy you are using? I am trying to port the auto-completion feature of Intero to VSCode and your experience would be really helpful!

[zjhmale]

Hi @Maaarcocr, because in NodeJS, you can only hold a asynchronous session with the running process, so we can not recognize specific series of message which the ghci process return to us.

e.g.

if I want to complete fre, it will produce a list of options which is [fresh, freshrec] here, but regarding the async interaction, there is no proper way to find the end flag of this message. IIRC intero itself uses sync interaction to avoid this issue Maybe I'm wrong, any further discussion are welcome :)

[zjhmale]

Hi @Maaarcocr, I'll take a Ph.D. position at UCL next year, if you need any help or contribution for your ongoing projects, I'd like to meet you face to face, especially for projects related to intero. I can not reach you out through email, so I leave a comment here, waiting for your reply :)