diff options
| author | tv <tv@krebsco.de> | 2017-04-30 13:52:46 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-04-30 15:46:32 +0200 |
| commit | 3bf608766c0c83a45d1dcf6c8be9bf9a1090995d (patch) | |
| tree | a7271624475bb99f2337d076bb04be5587bf321d | |
| parent | 1533765767e49f3db0d8e4b709de94e6db9fa596 (diff) | |
skipSame: don't shadown next
| -rw-r--r-- | TreeSearch.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/TreeSearch.hs b/TreeSearch.hs index 0a5df28..105603a 100644 --- a/TreeSearch.hs +++ b/TreeSearch.hs @@ -80,10 +80,10 @@ skipSame (TreePos Full a -> Maybe (TreePos Full a)) -> TreePos Full a -> Maybe (TreePos Full a) -skipSame next loc = - case next loc of +skipSame next' loc = + case next' loc of Nothing -> Nothing Just loc' -> if label loc' == label loc - then skipSame next loc' + then skipSame next' loc' else Just loc' |