@@ -315,14 +315,22 @@ toRelevantBranch test path branch@(Branch goal pathPatterns) =
315 case extract path pathPatterns of
315 case extract path pathPatterns of
316 Just (start, A.A _ pattern, end) ->
316 Just (start, A.A _ pattern, end) ->
317 case pattern of
317 case pattern of
318− P.Data name patterns | test == Constructor name ->
318+ P.Data name patterns ->
319+ if test == Constructor name then
319− Just (Branch goal (start ++ subPositions path patterns ++ end))
320+ Just (Branch goal (start ++ subPositions path patterns ++ end))
321− P.Literal lit | test == Literal lit ->
326+ if test == Literal lit then
322− Just (Branch goal (start ++ end))
327+ Just (Branch goal (start ++ end))
325− Nothing
333+ Just branch
328 Just branch
336 Just branch