Skip to content

Importing constructors for operators doesn't work properly #1211

Closed
@googleson78

Description

@googleson78

Environment (current master)

blademaster :: /tmp » ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.8.4
blademaster :: /tmp » haskell-language-server-8.8.4 --version
haskell-language-server version: 0.8.0.0 (GHC: 8.8.4) (PATH: /home/googleson78/.local/bin/haskell-language-server-8.8.4) (GIT hash: 5578b8f423036810e76846b6a9ca89b6aa107a28)

File contents before action

import Data.Type.Equality ((:~:))

x :: (:~:) [] []
x = Refl

File contents after action

import Data.Type.Equality ((:~:(Refl)))

x :: (:~:) [] []
x = Refl

Expected/proper file contents

import Data.Type.Equality ((:~:)(Refl))

x :: (:~:) [] []
x = Refl

(note the closing paren for :~: is directly next to it, before the (Refl))

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: ghcidetype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions