git.iko.soy/elk
on 267f708 help sign in
elk/tests/test-files/bad/IncompletePatternMatch.elm
17 lines 323 B history raw
2type List a
3 = Nil
4 | Cons a (List a)
7zip : List a -> List b -> List (a, b)
8zip list1 list2 =
9 case (list1, list2) of
10 (Nil, _) ->
11 Nil
13 (Cons x xs, Cons y ys) ->
14 Cons (x, y) (zip xs ys)
16 -- incomplete pattern match is an error
17 -- missing: (_, Nil) -> Nil