Skip to content

CodeLens to add type signature inserts invalid type signature #1468

Closed
@berberman

Description

@berberman

Your environment

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

haskell-language-server version: 1.0.0.0 (GHC: 8.10.3) (PATH: /home/berberman/.cabal/store/ghc-8.10.3/haskell-language-server-1.0.0.0-c7859e8f45ef6bd2fac7adc65982f4e497ee3c40299bcc89c5915aaa0534ebc3/bin/haskell-language-server)
Tool versions found on the $PATH
cabal:          3.2.0.0
stack:          Not found
ghc:            8.10.3

Which lsp-client do you use:
vscode

Steps to reproduce

Create a module with functions that lead to ambiguity:

module Test where

head = 233

(+) = undefined

Expected behaviour

module Test where

head :: Integer
head = 233

(+) :: a
(+) = undefined

Actual behaviour

Type signatures are qualified with the module name, which are invalid.

module Test where

Test.head :: Integer
head = 233

(Test.+) :: a
(+) = undefined

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions