Skip to content

prop checking (eval plugin) needs Prelude things to be imported #2246

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
Sorokin-Anton opened this issue Sep 28, 2021 · 1 comment
Closed
Labels
component: hls-eval-plugin type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..

Comments

@Sorokin-Anton
Copy link

Your environment

Output of haskell-language-server --probe-tools or haskell-language-server-wrapper --probe-tools:

stack, haskell-language-server version: 1.4.0.0 (GHC: 8.10.6) 

Which OS do you use:
Ubuntu

Which lsp-client do you use:
VS code

Describe your project (alternative: link to the project):
Emty stack project

Contents of hie.yaml:

cradle:
  stack:
    stackYaml: "stack.yaml"

Steps to reproduce

module Foo where

import qualified Prelude as Q
-- prop> 1 Q.== 1

Press Evaluate codelens

Expected behaviour

Test passed successfuly

Actual behaviour

This appears:
-- prop> 1 Q.== 1
-- Not in scope: type constructor or class ‘IO’
-- Perhaps you meant ‘P.IO’ (imported from Prelude)
-- Not in scope: type constructor or class ‘String’
-- Perhaps you meant ‘P.String’ (imported from Prelude)

Prop checking don't work without prelude imported

Include debug information

Execute in the root of your project the command haskell-language-server --debug . and paste the logs here:

Debug output:
<paste your logs here>

Paste the logs from the lsp-client, e.g. for VS Code

LSP logs:
<paste your logs here>
@jneira jneira added component: hls-eval-plugin type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc.. labels Sep 28, 2021
@michaelpj
Copy link
Collaborator

Duplicate of #1307, I think

@michaelpj michaelpj closed this as not planned Won't fix, can't repro, duplicate, stale Jan 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: hls-eval-plugin type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Projects
None yet
Development

No branches or pull requests

3 participants