‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Friday, December 10th, 2021 at 21:16, Bram Moolenaar <[email protected]> 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. Great, thanks Bram -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/13D5D8pj3qUC0pW0RpjDOg_FgLdcRtqxUXJeJHr_aAIjkBnCOL3OWGiI27P3hJKKc8vOREKGJ67mUWFK5UpFzxgKCbkfDMPM_CGOBJLNWYQ%3D%40coot.me.
signature.asc
Description: OpenPGP digital signature
