testsuite/tests/patsyn/should_fail/records-exquant.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PatternSynonyms, ExistentialQuantification #-}
module ExQuant where

data Showable = forall a . Show a => Showable a

pattern Nasty{a} = Showable a

qux = a (Showable True)

foo = (Showable ()) { a = True }