agda/hs-tags

No tags for projections in record pattern synonyms

andreasabel opened this issue · 0 comments

E.g. this definition:

{-# LANGUAGE PatternSynonyms #-}

pattern MyJust :: a -> Maybe a
pattern MyJust { theThing } = Just theThing

just produces (with hs-tags Foo.hs -c) a tag for the MyJust synonym, but not the theThing field:

MyJust	RecordPatternSynonym.hs	3