testsuite/tests/pmcheck/should_compile/T9951.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE OverloadedLists #-}
{-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-overlapping-patterns #-}

module T9951 where

f :: [a] -> ()
f x = case x of
  [] -> ()
  (_:_) -> ()