Closed
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)
)