ghc-exactprint-0.5.0.0: tests/examples/ghc8/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