Re: Mixing Vim9 and legacy script (was: Happy birthday!)

On Fri, Nov 6, 2020 at 12:10 AM Steve Litt <slitt@troubleshooters.com> wrote:
>
> On Wed, 4 Nov 2020 10:40:23 +0100
> Tony Mechelynck <antoine.mechelynck@gmail.com> wrote:
>
> > On Wed, Nov 4, 2020 at 10:04 AM Steve Litt
> > <slitt@troubleshooters.com> wrote: [...]
> > > Is there any documentation on the new Vim9 script yet, and if so,
> > > where is it. Also, congrats on and thank you for 29 years of a
> > > spectacular editor.
> > >
> > > SteveT
> > >
> > > Steve Litt
> >
> > The documentation about Vim 9 script is at :help vim9.txt. That
> > helpfile keeps changing accoding to the development of Vim9 script but
> > it is supposed to correspond with the Vim version with which it is
> > distributed.
>
> Confirmed!
>
> Note to all still using Vim8: Tony's :help vim9.txt works on my Vim
> 8.2, so even if our distros currently don't give us vim9, we can start
> learning about the new scripting language.
>
> SteveT

The latest Vim as of this writing is 8.2.1965 so no distro can yet
give us Vim 9.0 or higher; however we already can not only read about
the new functionality in the vim9.txt helpfile, we can even start
using it (at our own risk) because everything in that helpfile is
supposed to be included in the Vim build with which it is distributed.
For instance (in a recent Vim compiled with +eval i.e. Normal, Big or
Huge),
:echo exists(':def')
answers 2 (i.e. "I know an ex-command by that exact name").

Best regards,
Tony.

--
--
You received this message from the "vim_use" 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_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vim_use/CAJkCKXviF9caqNgEk2Lh-Aq%2Bt_jsztp%2BGzu5KiORjCF3mpDaVA%40mail.gmail.com.