Skip to content

Is bringing up a REPL within the scope of HLS? #202

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
korayal opened this issue Jul 14, 2020 · 3 comments
Closed

Is bringing up a REPL within the scope of HLS? #202

korayal opened this issue Jul 14, 2020 · 3 comments
Labels
type: enhancement New feature or request type: support User support tickets, questions, help with setup etc.

Comments

@korayal
Copy link
Contributor

korayal commented Jul 14, 2020

I'm using HLS via haskell-lsp on Emacs and right now we have to run haskell-interactive-switch command from haskell-mode to drop into a REPL, or load current module in it. And it seems if I'm not in a source module, some dependencies do not get picked up and it fails.

So, I was wondering if there's a plan to take over the task of bringing up a REPL, or is this out of the scope for this project.

@jneira jneira added type: enhancement New feature or request type: support User support tickets, questions, help with setup etc. labels Jul 14, 2020
@jneira
Copy link
Member

jneira commented Jul 14, 2020

It somewhat related with the new pr adding the feature of evaluate expressions embedded in docs in a repl. In a pr comment it was mentioned the possibility of evaluate module definitions directly (and the issue #94).
So it is not exactly the same cause you dont have a full repl session but i think it is related.

@alanz
Copy link
Collaborator

alanz commented Jul 16, 2020

There is an intention to have one eventually, but this is tied to some upstream GHC features too. And I can never locate the issue I am thinking of, to do with API access and repl at the same time.

@alanz alanz mentioned this issue Oct 7, 2020
@jneira
Copy link
Member

jneira commented Oct 21, 2020

The question was answered and there is a newer issue tracking the repl feature, so closing

@jneira jneira closed this as completed Oct 21, 2020
pepeiborra pushed a commit that referenced this issue Dec 27, 2020
We never supported this and still don’t so for now let’s remove it.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement New feature or request type: support User support tickets, questions, help with setup etc.
Projects
None yet
Development

No branches or pull requests

3 participants