testsuite/tests/deSugar/should_compile/DsStrictWarn.hs


1
2
3
4
5
6
7

{-# OPTIONS_GHC -fwarn-incomplete-uni-patterns #-}
{-# LANGUAGE Strict #-}
module DsStrictWarn where

-- should warn about non-exhaustive pattern match
w :: String -> String
w x = let (_:_) = x in "1"