Pattern match overlap checking doesn't consider -XBangPatterns
{-# LANGUAGE BangPatterns #-}
module Lib where
import Data.Void
f :: Void -> ()
f !_ = ()
This should generate an inaccessibility warning but it doesn't.
{-# LANGUAGE BangPatterns #-}
module Lib where
import Data.Void
f :: Void -> ()
f !_ = ()
This should generate an inaccessibility warning but it doesn't.