Implement getPath in terms of unfoldr

This commit is contained in:
Joseph C. Sible 2023-12-31 01:59:53 -05:00
parent 980e7d3ca8
commit e1ad063834
1 changed files with 3 additions and 4 deletions

View File

@ -897,10 +897,9 @@ getUnmodifiedParameterExpansion t =
_ -> Nothing
--- A list of the element and all its parents up to the root node.
getPath tree t = t :
case Map.lookup (getId t) tree of
Nothing -> []
Just parent -> getPath tree parent
getPath tree t = t : unfoldr go t
where
go s = (\x -> (x,x)) <$> Map.lookup (getId s) tree
isClosingFileOp op =
case op of