Commit 715885fe authored by Björn Peemöller 's avatar Björn Peemöller

Added some test modules for non-exhaustive or overlapping patterns

parent 8e625838
......@@ -13,3 +13,8 @@ len2 [_,_] = True
tuple (True, 1) = True
tuple2 [(_,_)] = True
f "" = 0
f (_:_) = 1
g "a" = 0
h x = fcase x of
"" -> 0
[] -> 1
i x = fcase x of
[_] -> 0
(_:[]) -> 1
_ -> 2
j [] = 0
j (_:_) = 0
j x = 1
h x = x
h y = y
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment