Skip to content

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information