HLint Parse error

[LeanderK]

(i am using Haskell IDE Engine)

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs                  #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeInType #-}
module Test where

import           Data.Singletons.Prelude
import           Data.Singletons.TypeLits
import           Data.Type.Equality            ((:~:) (..), (:~~:) (..))

data instance Sing (z :: (a :~: b)) where
    SRefl :: Sing Refl

resulting in:

[hlint]
Parse error: :~:

[ndmitchell]

Thanks for the bug report, I've raised it upstream in the parser I use as haskell-suite/haskell-src-exts#402.

[LeanderK]

I have another, looks like I am using crazy features 🙂 I have opened a bug report on HSE
haskell-suite/haskell-src-exts#403

[ndmitchell]

Thanks @LeanderK !

[ndmitchell]

Confirmed works with HEAD that doesn't use HSE for parsing, so fixed in the next release.