path: root/testsuite/tests/ghci/scripts/T8776.hs

{-# LANGUAGE PatternSynonyms, GADTs #-}
data A x y = (Num x, Eq y) => B

data R = R{ rX :: Int }

pattern P = B