From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Robert Boyer Newsgroups: gmane.emacs.bugs Subject: bug#69249: bug in native-compile? Date: Mon, 19 Feb 2024 21:42:49 -0600 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000004b88c30611c803f8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34947"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 69249@debbugs.gnu.org, rms@gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Feb 20 04:45:19 2024 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1rcH4I-0008sh-2T for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 20 Feb 2024 04:45:18 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rcH3i-0004Mi-Cs; Mon, 19 Feb 2024 22:44:42 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rcH3h-0004MZ-4j for bug-gnu-emacs@gnu.org; Mon, 19 Feb 2024 22:44:41 -0500 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rcH3g-0000Gb-9s for bug-gnu-emacs@gnu.org; Mon, 19 Feb 2024 22:44:40 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rcH41-0007GM-Mg for bug-gnu-emacs@gnu.org; Mon, 19 Feb 2024 22:45:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Robert Boyer Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 20 Feb 2024 03:45:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69249 X-GNU-PR-Package: emacs Original-Received: via spool by 69249-submit@debbugs.gnu.org id=B69249.170840069827893 (code B ref 69249); Tue, 20 Feb 2024 03:45:01 +0000 Original-Received: (at 69249) by debbugs.gnu.org; 20 Feb 2024 03:44:58 +0000 Original-Received: from localhost ([127.0.0.1]:44104 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcH3y-0007Fp-5V for submit@debbugs.gnu.org; Mon, 19 Feb 2024 22:44:58 -0500 Original-Received: from mail-lf1-f42.google.com ([209.85.167.42]:61836) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcH3u-0007Fb-PX for 69249@debbugs.gnu.org; Mon, 19 Feb 2024 22:44:56 -0500 Original-Received: by mail-lf1-f42.google.com with SMTP id 2adb3069b0e04-5129c8e651fso3634671e87.3 for <69249@debbugs.gnu.org>; Mon, 19 Feb 2024 19:44:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708400607; x=1709005407; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=jLlThHHpsPHzg1y3QYmrEgoFqZ2ldKsNOUEodNBVpAo=; b=fmKFDJzEmCOC4SuQRKoAw2UY3N91Ifqo3Pk2WtkEFzlPwLB/qHQcDE/cjWtRk/myNI 8vwD1zMuxQnZBs2o8cRKgKxevsO99e7pQJpk5HpsUo9dxg/bRRBAo/jDBNkqflo4mfNm gaH0gTs9dYfY19mmS/VeUgZHJYn6qt+CzfI5J9pBzpJKTaYBQe8R/rFPosYqWHxS1bCx lvBv3/eS2Kx92nR/zDhb/yfnmJ1gmMPX8VGgYVGwIxIXXz3hk1b3dEoFh5ThJNSBVrll zceyebkL/9G7gYn2uvFguVrDp8RukErfAgvhKjNaVnK3iIC8NpOHm1gSeFJRSHFP9mGw D9nA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708400607; x=1709005407; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=jLlThHHpsPHzg1y3QYmrEgoFqZ2ldKsNOUEodNBVpAo=; b=l4TQ07hzuB3D8U9IMP0UVaE/8kijre2NWmbHh916GtGxUH4O1WKlj+TVoi5a69u7wZ oTEO7aXAuRVqJ94/CM0luHJRsjj8YET+erqF2dsixa0PnhM/XgbMyBiQPRzZOqyIbdX7 CJPJ0coADoY86F+ajyo0PJWnISsWEHgapI00OPxL4i2MtX6C2kVW14CTmp5+n07WnUpy kwtRTist8m0ItiDG8U13KX3bCnWQMjSXPJQv1cwrh6c6l/yjm6PBi+7wJQw17Y0D/5ez 9pdpqTXVFLal7EngBlSDK7jzC3scou3OI5MfGTVmMtq0V4ZZeQHGZ8Y1aL8hI3OaY354 R0Mw== X-Gm-Message-State: AOJu0YyJO2wo9YDZqk26jr2Cs84VEm1eGPJ3td4yPwEahopj1YoBKGww V4FHuoEsMjQhQcsOcFSLcqbp7FvYTAMXsgGDm4QweFRHJGb2FIBazvfD+QmV0uas9kJ1ufF6trW dP3BY8BPqIZtJe8hixAXMQGlcR44= X-Google-Smtp-Source: AGHT+IFnV0d9shhCM7T0BLF/rD2uEJSdDIbIufUCBqqtG75vxA2mvvLDZvraHE2rzUBnVSjFbOA1HIKvEoUuTKX2zM0= X-Received: by 2002:a05:6512:2249:b0:512:86fa:bb32 with SMTP id i9-20020a056512224900b0051286fabb32mr11800563lfu.15.1708400606676; Mon, 19 Feb 2024 19:43:26 -0800 (PST) In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:280309 Archived-At: --0000000000004b88c30611c803f8 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > In the context of ELisp, for example, we wouldn't an incorrect type declaration to risk crashing your editor, which limits significantly what can be done and how we can do it. I do not get your point. Errors are a horrible problem we face in every part of all the code we run. Software that catches errors is a necessity, but it does not work perfectly. I get blown away many times a day and have to reboot my Chromebook. I cannot easily list all of the things I am constantly watching out for: network service disconnection, spilling my drink on my keyboard, power failures ..., relatives dying, doctors appointments, ... I regard errors from declarations as wonderful reports that usually show up during SBCL compilation. Bob On Mon, Feb 19, 2024 at 8:51=E2=80=AFPM Stefan Monnier wrote: > > However, I have been hacking Lisp hard since 1967, and to me the > assertion > > that a Lisp must support THE and DECLARE is about as obvious as the > > assertion that doctors must wash their hands. An untold number of > infants' > > There are several subtly different ways to interpret that assertion, > actually, when you're working on the actual implementation of > a compiler. > > In the context of ELisp, for example, we wouldn't an incorrect type > declaration to risk crashing your editor, which limits significantly > what can be done and how we can do it. > > > Stefan > > --=20 Anything I seem to state should be taken as a question. I am at least 77 and feeble. --0000000000004b88c30611c803f8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
> In the context of ELisp, for example, we wouldn't= an incorrect type
declaration to risk crashing your editor, which limit= s significantly
what can be done and how we can do it.

I do not get your point.=C2=A0 Errors are a horrible problem we face = in every part of all the code we run.=C2=A0 Software that catches errors is= a necessity, but it does not work perfectly.=C2=A0 I get blown away many t= imes a day and have to reboot my Chromebook. I cannot easily list all of th= e things I am constantly watching out for:=C2=A0 network service disconnect= ion, spilling my drink on my keyboard, power failures ..., relatives dying,= doctors appointments, ...

I regard errors from de= clarations as wonderful reports that usually show up during SBCL compilatio= n.

Bob

<= div dir=3D"ltr" class=3D"gmail_attr">On Mon, Feb 19, 2024 at 8:51=E2=80=AFP= M Stefan Monnier <monnier@ir= o.umontreal.ca> wrote:
> However, I have been hacking Lisp hard since 1967, and t= o me the assertion
> that a Lisp must support THE and DECLARE is about as obvious as the > assertion that doctors must wash their hands.=C2=A0 An untold number o= f infants'

There are several subtly different ways to interpret that assertion,
actually, when you're working on the actual implementation of
a compiler.

In the context of ELisp, for example, we wouldn't an incorrect type
declaration to risk crashing your editor, which limits significantly
what can be done and how we can do it.


=C2=A0 =C2=A0 =C2=A0 =C2=A0 Stefan



--
Anything I seem to state should be taken as a question.=C2= =A0 I am at least 77 and feeble.
--0000000000004b88c30611c803f8--