Hacker News new | ask | show | jobs
by mrkeen 406 days ago
Nah.

  check :: Bool -> a
  check  True = undefined
  check False = undefined
  check     _ = undefined


  7:1: warning: [GHC-53633] [-Woverlapping-patterns]
      Pattern match is redundant
      In an equation for ‘check’: check _ = ...
    |
  7 | check     _ = undefined
    | ^^^^^^^^^^^^^^^^^^^^^^^