language-haskell icon indicating copy to clipboard operation
language-haskell copied to clipboard
verified publisher icon JustusAdam

Type signature in pattern synonym incorrectly highlighted

Open sheaf opened this issue 4 years ago • 0 comments

Including a type-signature in a pattern synonym seems to cause an issue:

pattern MkZ fld3 <- ( foo -> ( fld3 :: TYPE rep ) )
  where
    MkZ fld3 = bar

bad_PS

Without the type-signature, it's OK:

good_PS

sheaf avatar Aug 24 '21 18:08 sheaf