GHC Haskell has -fwarn-incomplete-patterns . Are you talking about something else?