From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-il1-x132.google.com (mail-il1-x132.google.com [IPv6:2607:f8b0:4864:20::132]) by sourceware.org (Postfix) with ESMTPS id 65F113858C1F for ; Wed, 29 Mar 2023 16:09:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 65F113858C1F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-il1-x132.google.com with SMTP id n1so7618058ili.10 for ; Wed, 29 Mar 2023 09:09:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1680106149; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=rM5Y0HoYGsyav5ncfg4VkrktHCqREIAk5NxQu55oklI=; b=XL9jjpciOcz7cjnxbhqbOcFSPH79wtXtzi7okbyll21UMZ/V9EtTe2BVpiU8pyLfob kwl/9gnNKxvf1hztbE5XXLnc7ahaHxDfZcjpdYO6sqxpsEnBXGeBnK/NaRj/AvAutI/n NnbU4Yr/mcEgrOJ29Zi9EL62exvIpD8zEy77QtnqJLuQveVBi6CL8HB16IZrpJgCVfqX Hr2EWL51G/ONhBG8vXN1ZIxACdMlUR5UacUyDulAHFc4sa+Yb8MkcBXOy7c32V6dOH28 xo00svNHUYf8j3XVNTXFXxF88Kz/CCfu3IJZmfaVxOEu8HPubCnVxUFfBeOX32ZYpLKT Rd2A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1680106149; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=rM5Y0HoYGsyav5ncfg4VkrktHCqREIAk5NxQu55oklI=; b=r2lJ1xFJLBn5RzxnbiUhDpDHk6HGONzULIxBRwJvOKlVecPDjdhWhDWEIViDR0UpuL 3JnKP15XuAOUErYqn+FtSOiX6GXj957ah6Jk0aBov/a9LFQ0YPypMpip60SrAsUnvkKE 7Eimsty1zactsRf4l4FyLc6rSs1xVFLY1kvAU1YSsg869+Sk6pIvTNHW9/PrlBOdb8XC S4qKb/+edrehvP/Ztj462Lo7SZ/YnlRzTMvT4A0tPfM548eVGXc8FiXQLSb4KhCA2bch agxuzSGkwd5Jk7OQr0kDrqa9djMuPAsidOn4hvUUs4KRkXtwvjpKwmoJgIKGsGDRYER+ 0pFQ== X-Gm-Message-State: AAQBX9cHfOl51rbK8XZcWBibxajk/LTaXqHcHd/MH9+I8BhF6tj1jIqL 9w/pK6qwtHGC6I2OM7++y2669RXE5MYZ5cTUEFKeZg== X-Google-Smtp-Source: AKy350Y8YtoTmikxkttsQr/Z2eGHkqBdO9I4AiDFpgMlNLzEiexksBZTUP6lsTxp+riyR2l8Ik+KBg== X-Received: by 2002:a05:6e02:80c:b0:317:9818:ea49 with SMTP id u12-20020a056e02080c00b003179818ea49mr14396286ilm.2.1680106149535; Wed, 29 Mar 2023 09:09:09 -0700 (PDT) Received: from murgatroyd (71-211-185-113.hlrn.qwest.net. [71.211.185.113]) by smtp.gmail.com with ESMTPSA id o3-20020a056e02102300b003158a3455bbsm9268707ilj.78.2023.03.29.09.09.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 29 Mar 2023 09:09:09 -0700 (PDT) From: Tom Tromey To: Tom Tromey via Gdb-patches Cc: Tom Tromey Subject: Re: [PATCH 0/3] Version comparisons in the test suite References: <20230314140251.1081243-1-tromey@adacore.com> X-Attribution: Tom Date: Wed, 29 Mar 2023 10:09:08 -0600 In-Reply-To: <20230314140251.1081243-1-tromey@adacore.com> (Tom Tromey via Gdb-patches's message of "Tue, 14 Mar 2023 08:02:48 -0600") Message-ID: <874jq3czff.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=-5.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: >>>>> "Tom" == Tom Tromey via Gdb-patches writes: Tom> This series started with the patch to introduce rust_at_least, but now Tom> also changes version_compare to allow lists of different lengths, and Tom> finally removes version_at_least. I'm checking this now. Tom