Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Anything cut to length will be too short.

devel / comp.lang.ada / Linter Ada for Visual Studio Code? Very Very Very Thanks!

SubjectAuthor
* Linter Ada for Visual Studio Code? Very Very Very Thanks!Daniel Norte Moraes
`* Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!J-P. Rosen
 +- Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!Daniel Norte Moraes
 `- Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!Daniel Norte Moraes

1
Linter Ada for Visual Studio Code? Very Very Very Thanks!

<8e9bb3f3-0da7-4743-81ec-24a74429381dn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:31c:b0:6b5:d5a5:687f with SMTP id s28-20020a05620a031c00b006b5d5a5687fmr4589663qkm.375.1658614875583;
Sat, 23 Jul 2022 15:21:15 -0700 (PDT)
X-Received: by 2002:a81:d93:0:b0:31c:d32d:4d76 with SMTP id
141-20020a810d93000000b0031cd32d4d76mr5251422ywn.135.1658614875398; Sat, 23
Jul 2022 15:21:15 -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: Sat, 23 Jul 2022 15:21:15 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=187.106.43.228; posting-account=wgmHdgoAAAA-F7JItPEZjeXqFc0KdzEQ
NNTP-Posting-Host: 187.106.43.228
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8e9bb3f3-0da7-4743-81ec-24a74429381dn@googlegroups.com>
Subject: Linter Ada for Visual Studio Code? Very Very Very Thanks!
From: danielcheagle@gmail.com (Daniel Norte Moraes)
Injection-Date: Sat, 23 Jul 2022 22:21:15 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1218
 by: Daniel Norte Moraes - Sat, 23 Jul 2022 22:21 UTC

Hi!

Someone known a linter Ada for Visual Studio Code ?

I'm started using VSCode with Ada to replace the discontinued Atom Editor.

Very Very Very Thanks!

Best Whishes,
GrateFull,
Dani.

Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!

<tbj4fn$h8an$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: rosen@adalog.fr (J-P. Rosen)
Newsgroups: comp.lang.ada
Subject: Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!
Date: Sun, 24 Jul 2022 11:47:35 +0200
Organization: Adalog
Lines: 13
Message-ID: <tbj4fn$h8an$1@dont-email.me>
References: <8e9bb3f3-0da7-4743-81ec-24a74429381dn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 24 Jul 2022 09:47:35 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="eeb72e5a98a3c1d919596aa78d859104";
logging-data="565591"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19dqYss8KAX7UgfwVsE/Dq7"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.0.3
Cancel-Lock: sha1:3kPEvJgyTOm3KEBINLIgyu6wBMc=
In-Reply-To: <8e9bb3f3-0da7-4743-81ec-24a74429381dn@googlegroups.com>
Content-Language: fr
 by: J-P. Rosen - Sun, 24 Jul 2022 09:47 UTC

Le 24/07/2022 à 00:21, Daniel Norte Moraes a écrit :
> Someone known a linter Ada for Visual Studio Code ?
Yes, this is called an Ada compiler.
An Ada compiler checks more than lint can do...

--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr

Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!

<0b43728e-9c04-414d-ae33-b7894935672bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ae9:e702:0:b0:6b5:9c37:8b23 with SMTP id m2-20020ae9e702000000b006b59c378b23mr5867855qka.511.1658660549958;
Sun, 24 Jul 2022 04:02:29 -0700 (PDT)
X-Received: by 2002:a25:bfc8:0:b0:66e:e26a:c911 with SMTP id
q8-20020a25bfc8000000b0066ee26ac911mr5936163ybm.19.1658660549494; Sun, 24 Jul
2022 04:02:29 -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: Sun, 24 Jul 2022 04:02:29 -0700 (PDT)
In-Reply-To: <tbj4fn$h8an$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=187.106.43.228; posting-account=wgmHdgoAAAA-F7JItPEZjeXqFc0KdzEQ
NNTP-Posting-Host: 187.106.43.228
References: <8e9bb3f3-0da7-4743-81ec-24a74429381dn@googlegroups.com> <tbj4fn$h8an$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0b43728e-9c04-414d-ae33-b7894935672bn@googlegroups.com>
Subject: Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!
From: danielcheagle@gmail.com (Daniel Norte Moraes)
Injection-Date: Sun, 24 Jul 2022 11:02:29 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2264
 by: Daniel Norte Moraes - Sun, 24 Jul 2022 11:02 UTC

Hi!
Thanks!

Just to answer and correct myself and for register for future developers using VSCode, Ada Lang Plugin _already_ has linter, auto-completion, etc, etc, etc and is really better than Atom Editor. Just configure It... ( link : https://github.com/AdaCore/ada_language_server/wiki/Getting-Started ).

This answer myself why almost none info about linter in searching engines, because Ada VSCode plugin Already has it and is marvelous! (I just discover it now).

Thanks All!

Linux Ubuntu AMD64 developing version, gcc-12.1 gnat-12.1 gprbuild-2022

Em domingo, 24 de julho de 2022 às 06:47:37 UTC-3, J-P. Rosen escreveu:
> Le 24/07/2022 à 00:21, Daniel Norte Moraes a écrit :
> > Someone known a linter Ada for Visual Studio Code ?
> Yes, this is called an Ada compiler.
> An Ada compiler checks more than lint can do...
>
> --
> J-P. Rosen
> Adalog
> 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
> Tel: +33 1 45 29 21 52
> https://www.adalog.fr

Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!

<a0aa65ea-6a30-46ee-9a69-5fce94692bc6n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:7c44:0:b0:31f:3dc4:25db with SMTP id o4-20020ac87c44000000b0031f3dc425dbmr4627354qtv.612.1658838144627;
Tue, 26 Jul 2022 05:22:24 -0700 (PDT)
X-Received: by 2002:a0d:f184:0:b0:31e:3db4:ba53 with SMTP id
a126-20020a0df184000000b0031e3db4ba53mr14396535ywf.169.1658838144384; Tue, 26
Jul 2022 05:22:24 -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, 26 Jul 2022 05:22:24 -0700 (PDT)
In-Reply-To: <tbj4fn$h8an$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=187.106.43.228; posting-account=wgmHdgoAAAA-F7JItPEZjeXqFc0KdzEQ
NNTP-Posting-Host: 187.106.43.228
References: <8e9bb3f3-0da7-4743-81ec-24a74429381dn@googlegroups.com> <tbj4fn$h8an$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a0aa65ea-6a30-46ee-9a69-5fce94692bc6n@googlegroups.com>
Subject: Re: Linter Ada for Visual Studio Code? Very Very Very Thanks!
From: danielcheagle@gmail.com (Daniel Norte Moraes)
Injection-Date: Tue, 26 Jul 2022 12:22:24 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2235
 by: Daniel Norte Moraes - Tue, 26 Jul 2022 12:22 UTC

Hi!

You are absolutely correct! Ada doesn't need linters because the compiler
does all the work, including as a linter; it is only necessary to configure
the compiling switches of warning and style! Thank you very much indeed
for opening my eyes in this regard! and in the case of VSCode,
after a compilation with an error, just click on the output tab and
click on the errors that opens the file and is already in the error position!

p.s.: It really is a delight to program in Ada!

best wishes,
Gratefull,
Dani.

Em domingo, 24 de julho de 2022 às 06:47:37 UTC-3, J-P. Rosen escreveu:
> Le 24/07/2022 à 00:21, Daniel Norte Moraes a écrit :
> > Someone known a linter Ada for Visual Studio Code ?
> Yes, this is called an Ada compiler.
> An Ada compiler checks more than lint can do...
>
> --
> J-P. Rosen
> Adalog
> 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
> Tel: +33 1 45 29 21 52
> https://www.adalog.fr

devel / comp.lang.ada / Linter Ada for Visual Studio Code? Very Very Very Thanks!

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor