-
-
Notifications
You must be signed in to change notification settings - Fork 399
Closed
Labels
component: ghcidetype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Description
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)
)
berberman and jneira
Metadata
Metadata
Assignees
Labels
component: ghcidetype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..