blob: 4c7944aa3966983f59dc94566f8d9832a23519e1 (
plain)
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
|