diff --git a/semantic-tags/src/AST/Element.hs b/semantic-tags/src/AST/Element.hs index 5779870aa..0c6718cf4 100644 --- a/semantic-tags/src/AST/Element.hs +++ b/semantic-tags/src/AST/Element.hs @@ -21,6 +21,7 @@ pattern Prj :: Element sub sup => sub a -> sup a pattern Prj sub <- (prj -> Just sub) +-- | Where does the element occur in the tree? data Side = None | Here | L | R type family Find sub sup :: Side where