On Friday, December 10th, 2021 at 21:16, Bram Moolenaar <
Br...@moolenaar.net> wrote:
> > Long time no see :),
> >
> > With the following tags file
> >
> > !_TAG_FILE_FORMAT 2 //
> > !_TAG_FILE_SORTED 1 //
> > !_TAG_FILE_ENCODING utf-8 //
> > inboundGSV a 1;" r
> > inboundGovernor a 2;" kind:⊢ type:forall (muxMode :: MuxMode) socket peerAddr versionNumber m a b. (MonadAsync m, MonadCatch m, MonadEvaluate m, MonadThrow m, MonadThrow (STM m), MonadTime m, MonadTimer m, MonadMask m, Ord peerAddr, HasResponder muxMode ~ True) => Tracer m (RemoteTransitionTrace peerAddr) -> Tracer m (InboundGovernorTrace peerAddr) -> ServerControlChannel muxMode peerAddr ByteString m a b -> DiffTime -> MuxConnectionManager muxMode socket peerAddr versionNumber ByteString m a b -> StrictTVar m InboundGovernorObservableState -> m Void
> > inboundGovernorCounters a 3;" kind:⊢ type:InboundGovernorState muxMode peerAddr m a b -> InboundGovernorCounters
> >
> >
> > which contains just three entries.
> >
> > `:tj inboundG<C-D>` will not show `inboundGovernor` entry. This seems to be because the tag field is so long. In this case I am putting a haskell type signature in a tag field, which in some times can be pretty long and I admit, unreadable without formatting, but that's another matter.
> >
> > This is inconsistent with `:ts inboundGovernor` which will show the tag in all its glory.
> >
> > Also `:tj inboundGovernor` will jump to the right location :). It seems to me that `:tj inboundG<C-d>` not showing the `inboundGovernor` tag is a bug that could be fixed.
>
> Should be fixed by patch 8.2.3776. I used your example for the test.