Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Only God can make random selections.


devel / comp.lang.python / Re: What to use for finding as many syntax errors as possible.

SubjectAuthor
o Re: What to use for finding as many syntax errors as possible.Antoon Pardon

1
Re: What to use for finding as many syntax errors as possible.

<mailman.572.1665337877.20444.python-list@python.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.python
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!not-for-mail
From: antoon.pardon@vub.be (Antoon Pardon)
Newsgroups: comp.lang.python
Subject: Re: What to use for finding as many syntax errors as possible.
Date: Sun, 9 Oct 2022 19:51:12 +0200
Lines: 31
Message-ID: <mailman.572.1665337877.20444.python-list@python.org>
References: <a95001e1-b60e-63ce-d363-30481d115282@vub.be>
<CABaFrRayYinb9Cd1w=iAz1NWmt6MOzam1yEYXPaAMjREriVUAg@mail.gmail.com>
<00893b0c-e367-6fc9-cdae-f0ee42bc16c0@vub.be>
<Y0MDnSYz2xKMWnP1@hermes.hilbert.loc>
<c2d5224a-9ed3-16a8-7659-af4716c4f459@vub.be>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de ZyA7O3jSlmW4QD//McInsQrCKTExvcfBNO8izY6lyn+w==
Return-Path: <Antoon.Pardon@vub.be>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
Authentication-Results: mail.python.org; dkim=pass
reason="1024-bit key; unprotected key"
header.d=vub.be header.i=@vub.be header.b=AmjHfw2H; dkim-adsp=pass;
dkim-atps=neutral
X-Spam-Status: OK 0.018
X-Spam-Evidence: '*H*': 0.96; '*S*': 0.00; '2022': 0.05; 'away.':
0.05; 'sun,': 0.07; '+0200': 0.09; 'karsten': 0.09; 'schrieb':
0.09; 'syntax': 0.15; '(there': 0.16; 'antoon': 0.16; 'avi': 0.16;
'correction': 0.16; 'from:addr:antoon.pardon': 0.16;
'from:addr:vub.be': 0.16; 'from:name:antoon pardon': 0.16;
'message-id:@vub.be': 0.16; 'parsing': 0.16; 'schreef': 0.16;
'subject:syntax': 0.16; 'useless': 0.16; 'python': 0.16;
'probably': 0.17; "can't": 0.17; 'to:addr:python-list': 0.20;
'first,': 0.22; '>>>': 0.28; 'wrong': 0.28; 'error': 0.29; 'header
:User-Agent:1': 0.30; 'program': 0.31; 'end.': 0.32; 'guess':
0.32; 'unless': 0.32; 'but': 0.32; 'subject:for': 0.33; 'there':
0.33; '100': 0.33; 'header:In-Reply-To:1': 0.34; 'trying': 0.35;
'one.': 0.35; 'fix': 0.36; 'errors': 0.36; 'really': 0.37;
'others': 0.37; 'way': 0.38; 'finding': 0.39; 'still': 0.40;
'subject:What': 0.40; 'want': 0.40; 'true': 0.63; 'tool': 0.65;
'look': 0.65; 'further': 0.69; 'margin': 0.69; 'obvious': 0.69;
'ones,': 0.69; 'remaining': 0.69; 'times': 0.69; 'moment': 0.81;
'strategy': 0.84; 'became': 0.84;
'received:eurprd01.prod.exchangelabs.com': 0.84; 'subject:many':
0.84; 'sure.': 0.84; 'errors,': 0.91
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
b=Zrx+GmKRVimT5P+sxJdX1k0Y4T/WsamLFPLyCJY8jd2iN47oAeQkRo6HUnkvwQXe9ZXcB+Vc8Ef2R8RQHTTXIGGMWrXJK5/PiBqyYxcQHNj2OevdxQrWxxoGTZpWT/8o1pOn/v0X7tQwKu8AAIP2tdVeZOQ97XIye6sVEsnD1Cqhwdu/dcCJAkeDxxmbytpJPai6FQOjwc3m9c8MN0Btn9uRhtHmeWYsgbjmVtwuvSQZnY1ve4lCC7oL+81Monw1TC8HhwMUey9/V6inf/sECDN+ljx5d64P8BCx/YRk86xykf7UjLiTiRJ+LdQFxvWGw1a8pHMcV1HpqC//O3oaUA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;
s=arcselector9901;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1;
bh=zITm3DLm1Fv9y+k4c9QNdqLFJVzA3Pji1+oE4ymPV/A=;
b=bHrxLBRHGYIHIUh9LbG07vjuyeddMWf3LU6hmfzNtNeWtQvmQuA7BQo88OcOSeHKcuoAaW5abPfGDrTaAnwwEG+aqKMvYWIdW70n/uVbOZ4/rVgVTozPAhn07YZnYUNAohX6vgueTPZGkgEEAhqZOwkY/8h/g8SwXG6yiR5OlW/XZ65tUVNfjbVCwfDKb5olysK1e+eGJqHhr9prUowEWMJ7kOcYwNMWv8nu/xWCZlbu2ObWBDCp3h12EGrl6OMcPfH3RYBALIn669VyRbXaMrvHrSZwmtiUG+yiW83wN9SG1rjKuARMvfrT9rFcVAd4NF5yVyVkPsTgE7B7v0pcnw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
smtp.mailfrom=vub.be; dmarc=pass action=none header.from=vub.be; dkim=pass
header.d=vub.be; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vub.be; s=selector1;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
bh=zITm3DLm1Fv9y+k4c9QNdqLFJVzA3Pji1+oE4ymPV/A=;
b=AmjHfw2HTRAXDPPMO+lJsgMKr4jcbyahsPSs7ATCEg608pJ0hCsvPb92lN1uVKV2qI0XKVqm656bvBovPYe5krnBSYqCP/9pz4WHu163FKXqBWXxyHslCrXZL0k9VZXgVlFlXUJ4IIA0PEMJPDudYDmOnwLlfgSBi0IP9NRKe/Q=
Authentication-Results: dkim=none (message not signed)
header.d=none;dmarc=none action=none header.from=vub.be;
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Content-Language: nl-BE
In-Reply-To: <Y0MDnSYz2xKMWnP1@hermes.hilbert.loc>
X-ClientProxiedBy: AM0PR02CA0125.eurprd02.prod.outlook.com
(2603:10a6:20b:28c::22) To AM0PR01MB4147.eurprd01.prod.exchangelabs.com
(2603:10a6:208:6a::12)
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: AM0PR01MB4147:EE_|PA4PR01MB7198:EE_
X-MS-Office365-Filtering-Correlation-Id: 680ed414-b417-43f3-7fa4-08daaa1edb77
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: oPgmMUrxCouQ2MnJto9elXxphg3Jlcn1btkkCLsbq4FsnRDrgSJBvSC0HUwpB5sSBbG5skm761Efpqx70rzP+p2ncC+W4tuv3ff4dXMaUj9hgxz3Z5r9WWEPUWGSvLwp1zBpIlkuGUmW94wBgVWPwiqn5hfyVP2I0eCR4QwJNfDUwpjjUZqVbabpig1j+tSzJ2z77xWur820EPHyifmPZXpn+CAilxa94VR/2JOzWK+jyLRXj5o/15XFBJ8PuqFSca92duq/9024SgRjoy1kJ+Uthee4ZDvKnneqz9hs21dLN/5hmiizRcKar6E2IU6hIkqsABo9+LKfBbdxdYzp5qe2UKUlEQW+qSy5W7pwMjHzg4mOFpWC2OoHZb5LxsAXob9t1hLnjYw1L1xEEDJKPLHYjPTnm6a/+A4vRVDfguqRWKv2E2AW4ysvs8MiRwhExadFGwu7xyggLkThLkZT7lQG7RMAGTUyqjHr9vofjUL3dlwqAqQ87baWZu3y390Vihw1BcF9nAq624MKEu6O5P8bh2YPw3Lz/z2IW2zpjqqQutmxhsLH5FPXQ7BGLiu/D5rIXN7eysmMC1qL3qVk510y6BNf6kLj6mj30l7HneQ153vZZ3SprqCnNym01BioEqi1/+sw5gDwlH4qAjY7Try6DdkjZWtDVVO3myqyIUrrWNyAbRnWGGU+z5if1md1/cP0H8T1++pGdYXJYcGM5AV/UfXxUJKFgi5neCZslBxuwoxHxk8gPVxpkV/Jl8Ku8T2yB9i0DyfE9Yclc52UHQ==
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
IPV:NLI; SFV:NSPM; H:AM0PR01MB4147.eurprd01.prod.exchangelabs.com; PTR:;
CAT:NONE;
SFS:(13230022)(4636009)(396003)(366004)(39860400002)(346002)(136003)(376002)(451199015)(31686004)(44832011)(41320700001)(2906002)(186003)(2616005)(66476007)(66556008)(66946007)(6916009)(8676002)(316002)(786003)(36756003)(6486002)(478600001)(5660300002)(33964004)(6512007)(86362001)(6506007)(8936002)(38100700002)(31696002)(41300700001)(43740500002);
DIR:OUT; SFP:1101;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 7lAfwI5NtZMgcSaWqSni7n1kMyJsntBeRAJyZWCNVWWVz
VF2TBnWfDkzbFb2QFcRS9Ot4uLyhALtIyGiz1+ydLYvCw
EITHNgxgp8JE37FCQ6vI+kZfE11a0aD3tP/U9vx1aBTPR
sLYw6MVkO6D4a3i2M3i6HvFqHAqGqATV7wUPfc/6/0JaH
0mt2YovtXFA+nPaxaJ0N5jImGSIiFs9NdCgdIlgThJefO
bng0Uyc3R7frO4IGBGxo85xXsEx+Nvrj3uRAYhl2kQFd/
TnPLQQF2Vv0WRfSlPadALp5ctldPlNS9MYYuyk3yktUW+
x8hPrC0BFbGR3OJ9WpMUdn8yPTr56uNDiI11vKZkw+KPq
JWf/tg8Tx3pSS+JK/1+x1Z38RDRJhD8/QrMZDYlJcfbdC
3/Y/5oyRO4y9fno++0CMhsC3+STqQ/q3ohTx2hA9qNEIx
jXwFW6tAsryQpKF4tZd3kDKEZZmSZMKqPj/b7uJQJf0L9
QJ60r1+aotshi1Zn2gOy8qfyiNxS7EPZLWfWOWluw1QMu
8sNv2dmlpFuzBfLzeoX+JpKU/wV3NqgHOl8RZ4bjq/5Nh
lAiWdp4nY4vJV/C1Y30KtVp+MRlN40t0EpCiT9RxoQsM4
goNWczRCnctKBccWZxHzpMSfULKEUmSZQ/ekp5YyIv8xV
YhJBGyttKka65Nvx6Vl0/TYTQ44yqT55T7tjbhvMAUC/v
who0nA5O2F+osuj9qXkbaYwJ6vybaW5q6pv0FzffBo117
Rr7euZmPtbF8f6VkkkROUuFn0E1L25CRzSkMPmUGYQxCq
5rpfLRuLrxGfwo4h7kvtrJ27t5YSffA4nOnzD/n0o2+Sg
zXAOM4ub1GBxgS2oFi0PA8VW2oskBT+VysSIQJWRWERts
EW1H0BhF3ZSC1pFMzlvi6n0WT9B3LR5J692T6D6PssikN
Vy+p8XEFqPLCufo/3CaUKd/QhDVmBrFCKqZJ4YORuh/N0
u0ekvOjepu4OnZc8vKUHgfjG2cHrU1fYWh2CnXe6IdTlF
Gkl0XSHRYyQ6MwJWurhPZPfCuPrrY7x/EwJ+7N5nMlBjA
fR1T89WAR5/qw9vK/NEyrPsc8rBez+LdqV8Y3HWCGBgqK
OfLoI2Oo/0rywBL+/uYq80OU/kJRQL00HQAo/XPSvA0ra
QooAVARgzsNZ/P1hu6gF+EK/Q6iUz1JXRNZ5lO5HCq9wL
xu4Wvfb1GDOQ8hoddQUQ9VV2F7MCPM/bNsi7TFwIVS4UH
k7mOs/se3jJrJR6K7bcm/0hhvwMwLmbnF9RZfLN2hhBI2
Xe6uaORtwFs+iiykkoAFhVwPg36sKWBtqiQzVs9NZtijF
ekLMODpll0eHPZ3xasWsFlo8Mk3MtNngYK5472oBp2mzw
eiGJqVnqXqY7zhHvAUe6elgDYtSM/xoKUSM1FHyxTRabr
kPJ1K0YSMRQqEUwj+qgmCyIJ0+RDh+VoL2vRGn7acvctI
lFKeJajvteB1/cLHHh+lxwkEIBNKxoY5JSqIcvOvSIf4T
JEqbfZU2JkCNCgUS2uUar7Uixg6b4zhgKRDq9GadbfbdD
rY52Vq4KaFmX4UsfpEbNV6NZUAKaHFgV4m2UJsrDVLPto
2O3YBuRmsufARLNaf6wqRjlGeYFSJbz44op4vBInx0Uv
X-OriginatorOrg: vub.be
X-MS-Exchange-CrossTenant-Network-Message-Id: 680ed414-b417-43f3-7fa4-08daaa1edb77
X-MS-Exchange-CrossTenant-AuthSource: AM0PR01MB4147.eurprd01.prod.exchangelabs.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 Oct 2022 17:51:13.5691 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 695b7ca8-2da8-4545-a2da-42d03784e585
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: JnfC6lJeUK/yF8Oo2NtdMo/034C/TytoiC7aJHdFSTw+Jf9WH6s+Q/Rz19tLfy0c5oqOhi1MOQ8VvsRzbPvwcg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4PR01MB7198
X-Content-Filtered-By: Mailman/MimeDel 2.1.39
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: General discussion list for the Python programming language
<python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>,
<mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <https://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>,
<mailto:python-list-request@python.org?subject=subscribe>
X-Mailman-Original-Message-ID: <c2d5224a-9ed3-16a8-7659-af4716c4f459@vub.be>
X-Mailman-Original-References: <a95001e1-b60e-63ce-d363-30481d115282@vub.be>
<CABaFrRayYinb9Cd1w=iAz1NWmt6MOzam1yEYXPaAMjREriVUAg@mail.gmail.com>
<00893b0c-e367-6fc9-cdae-f0ee42bc16c0@vub.be>
<Y0MDnSYz2xKMWnP1@hermes.hilbert.loc>
 by: Antoon Pardon - Sun, 9 Oct 2022 17:51 UTC

Op 9/10/2022 om 19:23 schreef Karsten Hilbert:
> Am Sun, Oct 09, 2022 at 06:59:36PM +0200 schrieb Antoon Pardon:
>
>> Op 9/10/2022 om 17:49 schreef Avi Gross:
>>> My guess is that finding 100 errors might turn out to be misleading. If you
>>> fix just the first, many others would go away.
>> At this moment I would prefer a tool that reported 100 errors, which would
>> allow me to easily correct 10 real errors, over the python strategy which quits
>> after having found one syntax error.
> But the point is: you can't (there is no way to) be sure the
> 9+ errors really are errors.
>
> Unless you further constrict what sorts of errors you are
> looking for and what margin of error or leeway for false
> positives you want to allow.

Look when I was at the university we had to program in Pascal and
the compilor we used continued parsing until the end. Sure there
were times that after a number of reported errors the number of
false positives became so high it was useless trying to find the
remaining true ones, but it still was more efficient to correct the
obvious ones, than to only correct the first one.

I don't need to be sure. Even the occasional wrong correction
is probably still more efficient than quiting after the first
syntax error.

--
Antoon.


devel / comp.lang.python / Re: What to use for finding as many syntax errors as possible.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor