summaryrefslogtreecommitdiffstats
path: root/TreeSearch.hs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-04-30 13:52:46 +0200
committertv <tv@krebsco.de>2017-04-30 15:46:32 +0200
commit3bf608766c0c83a45d1dcf6c8be9bf9a1090995d (patch)
treea7271624475bb99f2337d076bb04be5587bf321d /TreeSearch.hs
parent1533765767e49f3db0d8e4b709de94e6db9fa596 (diff)
skipSame: don't shadown next
Diffstat (limited to 'TreeSearch.hs')
-rw-r--r--TreeSearch.hs6
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'