Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Everything should be made as simple as possible, but not simpler. -- Albert Einstein

devel / comp.lang.ada / Another update to the VIM plugin.

SubjectAuthor
* Another update to the VIM plugin.Martin Krischik
`* Re: Another update to the VIM plugin.Emmanuel Briot
 `- Re: Another update to the VIM plugin.Martin Krischik

1
Another update to the VIM plugin.

<f0082a78-a7b3-4273-b603-1359fcc3d945n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=8963&group=comp.lang.ada#8963

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:e45:b0:4b1:9a9c:93de with SMTP id o5-20020a0562140e4500b004b19a9c93demr32706477qvc.63.1666716127394;
Tue, 25 Oct 2022 09:42:07 -0700 (PDT)
X-Received: by 2002:ae9:eb8a:0:b0:6ec:61a0:9a19 with SMTP id
b132-20020ae9eb8a000000b006ec61a09a19mr27172733qkg.596.1666716127164; Tue, 25
Oct 2022 09:42:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 25 Oct 2022 09:42:06 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=80.219.132.172; posting-account=cU-FIgkAAAAt3rnU3fKOTRqR1o3Ktx1Y
NNTP-Posting-Host: 80.219.132.172
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f0082a78-a7b3-4273-b603-1359fcc3d945n@googlegroups.com>
Subject: Another update to the VIM plugin.
From: martin.krischik@gmail.com (Martin Krischik)
Injection-Date: Tue, 25 Oct 2022 16:42:07 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1336
 by: Martin Krischik - Tue, 25 Oct 2022 16:42 UTC

Since GPS support was dropped for macOS having proper Vim plugins for Ada has become kind of important again. I added Alire compiler support so a press of <F7> will compile again.

It's actually two updated:

https://github.com/krischik/vim-ada/releases/tag/v_5.1.0
https://github.com/krischik/vim-ada/releases/tag/v_5.2.0

Have fun.

Re: Another update to the VIM plugin.

<0e606cd7-8590-4d5e-b60e-68649c80e561n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=8966&group=comp.lang.ada#8966

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:5a4e:0:b0:39c:db78:1975 with SMTP id o14-20020ac85a4e000000b0039cdb781975mr34587637qta.518.1666768880123;
Wed, 26 Oct 2022 00:21:20 -0700 (PDT)
X-Received: by 2002:ad4:5be6:0:b0:4b3:ff39:7ad4 with SMTP id
k6-20020ad45be6000000b004b3ff397ad4mr35375736qvc.126.1666768879948; Wed, 26
Oct 2022 00:21:19 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 26 Oct 2022 00:21:19 -0700 (PDT)
In-Reply-To: <f0082a78-a7b3-4273-b603-1359fcc3d945n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=88.160.66.39; posting-account=6yLzewoAAABoisbSsCJH1SPMc9UrfXBH
NNTP-Posting-Host: 88.160.66.39
References: <f0082a78-a7b3-4273-b603-1359fcc3d945n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0e606cd7-8590-4d5e-b60e-68649c80e561n@googlegroups.com>
Subject: Re: Another update to the VIM plugin.
From: briot.emmanuel@gmail.com (Emmanuel Briot)
Injection-Date: Wed, 26 Oct 2022 07:21:20 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1708
 by: Emmanuel Briot - Wed, 26 Oct 2022 07:21 UTC

Thanks Martin,

I also recommend using neovim instead of vim, because of the builtin LSP (language-server protocol) support. We can then independently install the ada language server from AdaCore (https://github.com/AdaCore/ada_language_server), and with a small configuration step we now have full cross-references in Ada...
The main difficulty is loading the proper project file, I will likely write a small blog post on the subject, though I could simply post the config I have here if there's interest.

Re: Another update to the VIM plugin.

<e28b56da-8f2e-4f8b-ad14-22b71a1634dfn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=8970&group=comp.lang.ada#8970

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a0c:8041:0:b0:4af:b13b:2624 with SMTP id 59-20020a0c8041000000b004afb13b2624mr36887598qva.92.1666795537127;
Wed, 26 Oct 2022 07:45:37 -0700 (PDT)
X-Received: by 2002:ad4:5de8:0:b0:4bb:9b8c:5574 with SMTP id
jn8-20020ad45de8000000b004bb9b8c5574mr1005343qvb.71.1666795536945; Wed, 26
Oct 2022 07:45:36 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 26 Oct 2022 07:45:36 -0700 (PDT)
In-Reply-To: <0e606cd7-8590-4d5e-b60e-68649c80e561n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.219.132.172; posting-account=cU-FIgkAAAAt3rnU3fKOTRqR1o3Ktx1Y
NNTP-Posting-Host: 80.219.132.172
References: <f0082a78-a7b3-4273-b603-1359fcc3d945n@googlegroups.com> <0e606cd7-8590-4d5e-b60e-68649c80e561n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e28b56da-8f2e-4f8b-ad14-22b71a1634dfn@googlegroups.com>
Subject: Re: Another update to the VIM plugin.
From: martin.krischik@gmail.com (Martin Krischik)
Injection-Date: Wed, 26 Oct 2022 14:45:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3019
 by: Martin Krischik - Wed, 26 Oct 2022 14:45 UTC

Thanks for the heads up.

briot.e...@gmail.com schrieb am Mittwoch, 26. Oktober 2022 um 09:21:21 UTC+2:
> Thanks Martin,
>
> I also recommend using neovim instead of vim, because of the builtin LSP (language-server protocol) support. We can then independently install the ada language server from AdaCore (https://github.com/AdaCore/ada_language_server), and with a small configuration step we now have full cross-references in Ada...
> The main difficulty is loading the proper project file, I will likely write a small blog post on the subject, though I could simply post the config I have here if there's interest.

—————
>port info neovim
neovim @0.7.2 (editors)
Variants: debug, universal

Description: Neovim is a project that seeks to aggressively refactor Vim. It already adds a new plugin architecture, job
control, and a remote API.
Homepage: https://neovim.io

Build Dependencies: cmake, pkgconfig
Library Dependencies: gettext, libuv, libvterm, libtermkey, unibilium, msgpack, luajit, lua51-lpeg, lua51-mpack, luv-luajit, libiconv,
tree-sitter
Conflicts with: neovim-devel
Platforms: darwin
License: Apache-2 and Vim and GPL-2+
Policy: openmaintainer
—————

Nice, there is a macOS version. But I notice no dependencies to any GUI framework and when I did try it out there was indeed no GUI support. I'm actually using GVim — the Vim with the graphical user interface and I'm not going back to a Terminal based editor. Still good to know the option exists.

Regards

Martin

devel / comp.lang.ada / Another update to the VIM plugin.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor