testsuite/tests/pmcheck/complete_sigs/T18960.hs


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

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

module T18960 where

pattern P :: a -> a
pattern P x = x
{-# COMPLETE P :: () #-}

foo :: ()
foo = case () of
    P _ -> ()