search

haskell-suite / haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
Other
193 stars 94 forks source link

Error with Pattern synonyms #403

Closed LeanderK closed 6 years ago

LeanderK commented 6 years ago

this is a valid pattern

pattern (:&&:) :: () => forall k. ((k :+ 1) ~ n) => a -> HoHeList k a -> HoHeList n a
pattern (:&&:) x rest <- (matchNext -> Right (x, Refl, rest))

but HLint chokes on a parse error or forall.