testsuite/tests/pmcheck/should_compile/T17725.hs


1
2
3
4
5
6
7
8
9
10

{-# OPTIONS_GHC -Wincomplete-patterns -fforce-recomp #-}
{-# LANGUAGE BangPatterns #-}
module Lib where

newtype IInt = IInt Int

f :: IInt -> Bool -> ()
f !(IInt _) True = ()
f (IInt 42) True = ()
f _         _    = ()