testsuite/tests/parser/should_compile/T20551.hs


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

{-# LANGUAGE PatternSynonyms #-}
{-# OPTIONS_GHC -Wincomplete-patterns #-}

module T20551 where

{-# COMPLETE T, Prelude.False #-}
pattern T :: Bool
pattern T <- True where
  T = True

foo :: Bool -> Bool
foo T     = False
foo False = True