ghc-exactprint-0.5.3.1: tests/examples/ghc80/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