From 3bf608766c0c83a45d1dcf6c8be9bf9a1090995d Mon Sep 17 00:00:00 2001 From: tv Date: Sun, 30 Apr 2017 13:52:46 +0200 Subject: skipSame: don't shadown next --- TreeSearch.hs | 6 +++--- 1 file 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' -- cgit v1.2.3