From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Gerd_M=C3=B6llmann?= Newsgroups: gmane.emacs.devel Subject: Re: Introducing 'safety' compilation parameter Date: Fri, 10 May 2024 10:09:21 +0200 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23384"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org, Eli Zaretskii , monnier@iro.umontreal.ca, mattias.engdegard@gmail.com, stefankangas@gmail.com To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri May 10 10:09:58 2024 Return-path: Envelope-to: ged-emacs-devel@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 1s5LKI-0005nN-60 for ged-emacs-devel@m.gmane-mx.org; Fri, 10 May 2024 10:09:58 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s5LJu-0007FA-Gn; Fri, 10 May 2024 04:09:34 -0400 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 1s5LJm-0007EZ-CH for emacs-devel@gnu.org; Fri, 10 May 2024 04:09:26 -0400 Original-Received: from mail-wr1-x432.google.com ([2a00:1450:4864:20::432]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1s5LJk-00083u-R3; Fri, 10 May 2024 04:09:26 -0400 Original-Received: by mail-wr1-x432.google.com with SMTP id ffacd0b85a97d-34d8f6cfe5bso1286671f8f.3; Fri, 10 May 2024 01:09:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1715328562; x=1715933362; darn=gnu.org; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=59BnWkRIAjSeI85T4Nhf8WrdTg4ki1yr5T8vKBSepMc=; b=atFs+7KU6o2ZHQL1xoA7JWFRhSHaeZnA/Zy7IXRMicUVBN9qczxvpFxzgGd9krUl42 Uix6+1srMA1Qg2rIkPGQgBRz4mjyC4Tv5Rs3ZA/8y/u8c0hEs2mn+KHuphZZg0TpjK/u YNC7FN4qU0lyMMo8tGGpze16IpCPYJRO7SXi4po2V05DCekwOU/iGnVW+CRii7HanKha Mt4lAVoHzIVFL4xhq2oYL8k3RORhKn1lUXQGdl3l5jF7JFJbz6mNLK28iyW0K6jw/gJJ jJk+6V3v28nkmeqt8O/j8UOl/R4ErFJYNOmJ3eLskMhxvAi8vm9CyBp6HemSwtK2R4/o XuAQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715328562; x=1715933362; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=59BnWkRIAjSeI85T4Nhf8WrdTg4ki1yr5T8vKBSepMc=; b=gJ1m1HjrkCfnQ77q3+v7IMfzC3XjHHY9Q2LxF0pyLdQz5XseSzbtaczGlTfYK40Jl/ IdBUHK7Gtp9nzsaHLyvApLXdURZcgV95XyF0gpRlhjZIwUVc+mrsk6MzcpQO5ts+sTBA 3Mtgst0OtT5uxjkALkjHOVAWmssa4PggnWQAmasTIYDUOOKI+4SK9kGcc+O/i1XJH++V q/2MhfR39qb+L7xYE8hZIY5Cyt+TynIOMkEonAae5bqOsfyBKNPgIyu4HDp7o2qRY/ex 7MB5vfwOQK/+ZtXflz5tUuH3NKqOYL4HOcremq9CQjcoalynOcS83BIshpG3BVA0ipFA Jbeg== X-Forwarded-Encrypted: i=1; AJvYcCVds1ligdaII8CI9bL80DGYNhXZkOuC3G93xG1UAwyonbt/vDbCC7UEKFSucl+a3Doya+QeMTXMr4yj+mA= X-Gm-Message-State: AOJu0YwdILHF3ITN5ST60zUFTQQwFTFeEtnGhWut9AGc/yuPBLrOmaeZ Fe4h70TI0FS4fxIaxYuK+LCgpVkSK0BGpRGBcotQl9ZvuCAsR6Le X-Google-Smtp-Source: AGHT+IEfj8bus+PreUrUEX+MUa70WzH6a/jjvQxT23eR72LstZofqeSaKXNCZBBit4lq3RINh58LbQ== X-Received: by 2002:a05:6000:1968:b0:34d:7f9a:ecbd with SMTP id ffacd0b85a97d-3504a62fafcmr1229403f8f.1.1715328562349; Fri, 10 May 2024 01:09:22 -0700 (PDT) Original-Received: from pro2.fritz.box (p4fe3a7ef.dip0.t-ipconnect.de. [79.227.167.239]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3502baad037sm3835380f8f.71.2024.05.10.01.09.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 10 May 2024 01:09:21 -0700 (PDT) In-Reply-To: (Andrea Corallo's message of "Fri, 10 May 2024 03:58:00 -0400") Received-SPF: pass client-ip=2a00:1450:4864:20::432; envelope-from=gerd.moellmann@gmail.com; helo=mail-wr1-x432.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:319119 Archived-At: Andrea Corallo writes: >> I don't know if something like this has been discussed before... CMUCL >> and SBCL treat declarations differently depending on the speed settings. >> If speed is below some threshold, declarations work like assertions, >> with high speed settings declarations are treated as promises. > > I though looking at [1] only 'safety' was involved in declarations > working like assertions. > > After your hint I see now SBCL does that when: > > (or (>=3Dsafety 2) (>=3D safety speed 1)) [2] > > That's complex/confusing =F0=9F=A4=AF! I think would be better to contro= l that > only with 'safety' no? You could read it as "either I the programmer value safety very much, or I value safety, and I value safety at least as much as speed". Anyway, I just wanted to hint at the "declarations as assertions/promises", and since you know about it, mission accomplished :-).