blob: 3c90c6913dbe0b02587abadda2b7e079f36827a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PatternSynonyms #-}
module T11970(B(recSel), Foo((--.->)), C(C,P,x,Q, B, recSel)) where
pattern D = Nothing
newtype B = B { recSel :: Int }
class Foo a where
type (--.->) a
newtype C = C Int
pattern P x = C x
pattern Q{x} = C x
|
