blob: f446a3e3cd75d6b037693cd8a974c501ea7403ca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
module T14885c where
pattern P1 :: forall a. a -> Maybe a
pattern P1 x <- Just x where
P1 x = Just (x :: a)
$([d| pattern P2 :: forall a. a -> Maybe a
pattern P2 x <- Just x where
P2 x = Just (x :: a)
|])
|
