Commit 162e9baa authored by simonmar's avatar simonmar
Browse files

[project @ 2001-03-23 17:41:32 by simonmar]

Add overlapping string pattern test.
parent f1baea44
module ShouldCompile where
-- !!! test the overlapping patterns detection.
-- f1 overlaps
f1 "ab" = []
f1 "ab" = []
f1 _ = []
-- f2 overlaps
f2 "ab" = []
f2 ('a':'b':[]) = []
f2 _ = []
-- f3 overlaps
f3 ('a':'b':[]) = []
f3 "ab" = []
f3 _ = []
-- f4 doesn't overlap
f4 "ab" = []
f4 ('a':'b':'c':[]) = []
f4 _ = []
-- f5 doesn't overlap
f5 ('a':'b':'c':[]) = []
f5 "ab" = []
f5 _ = []
-- f6 doesn't overlap
f6 "ab" = []
f6 ('a':[]) = []
f6 _ = []
ds051.hs:6: Warning: Pattern match(es) are overlapped in the definition of function `f1':
f1 "ab" = ...
ds051.hs:11: Warning: Pattern match(es) are overlapped in the definition of function `f2':
f2 ('a' : ('b' : [])) = ...
ds051.hs:16: Warning: Pattern match(es) are overlapped in the definition of function `f3':
f3 "ab" = ...
Supports Markdown
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