testsuite/tests/deSugar/should_compile/ds028.hs


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

-- !!! ds028: failable pats in top row

module ShouldCompile where


-- when the first row of pats doesn't have convenient
-- variables to grab...

mAp f []	= []
mAp f (x:xs)	= f x : mAp f xs

True  |||| _	=  True
False |||| x	=  x