ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/poly-export-fail2.hs
{-# LANGUAGE PatternSynonyms #-}
module Foo (A(P)) where
data A = A
data B = B
pattern P :: () => (f ~ B) => f
pattern P = B
{-# LANGUAGE PatternSynonyms #-}
module Foo (A(P)) where
data A = A
data B = B
pattern P :: () => (f ~ B) => f
pattern P = B