blob: 41394e7ed9625337dbf5a2e8a5dd7a5770708779 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- !!! ds016 -- case expressions
--
module ShouldCompile where
f x y z =
case ( x ++ x ++ x ++ x ++ x ) of
[] -> []
[a] -> error "2"
[a,b,c] ->
case ( (y,z,y,z) ) of
-- (True, _, False, _) | True == False -> z
-- (True, _, False, _) | True == False -> z
_ -> z
(a:bs) -> error "4"
|