testsuite/tests/deSugar/should_compile/ds061.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE NPlusKPatterns #-}
{-# OPTIONS_GHC -fwarn-incomplete-patterns -Wall #-}

-- Test for trac #851
-- Should not give a non-exhaustive pattern warning

module ShouldCompile where

import Data.Word

f :: Word -> Bool
f 0 = True
f (_n + 1) = False