testsuite/tests/rename/should_compile/T12548.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# OPTIONS_GHC -Wunused-binds #-}
{-# LANGUAGE PatternSynonyms #-}

module Foo (pattern P) where

-- x is used!!
x :: Int
x = 0

pattern P :: Int
pattern P <- _ where
        P = x