testsuite/tests/deSugar/should_compile/ds056.hs


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

-- Check overlap in n+k patterns

{-# LANGUAGE NPlusKPatterns #-}

module Foo where

g :: Int -> Int
g (x+1) = x
g y     = y
g _     = 0     -- Overlapped

h :: Int -> Int
h (x+1) = x
h _     = 0     -- Not overlapped