From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id 8Hf4MO40cGfYuQAAqHPOHw:P1 (envelope-from ) for ; Sat, 28 Dec 2024 17:27:10 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id 8Hf4MO40cGfYuQAAqHPOHw (envelope-from ) for ; Sat, 28 Dec 2024 18:27:10 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=tbb16ehe; dkim=pass header.d=cs.ucla.edu header.s=9D0B346E-2AEB-11ED-9476-E14B719DCE6C header.b=ngsEUFx0; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=cs.ucla.edu ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1735406830; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=htsYvgIOiGgZtJ8bYTWNgjQOxj0+VohwiIpdV4T2XjY=; b=ujaUmfdvqShyFJArMRwjAUN2/F4tjVuggPRoFfsUlr5Vg+jdeleNsNsNZDLW0tuwvNWqLA Xb6BnyTvd6Arv1tq7Rq5YRfq9OCOnIUXZAsOuXT177eltOdlX6dOb8gEmeG9y9hUs5kPQI zuun0sipGN1Z2fVPZPMhVN3vnp8C3tdM1Lk9Q9WWvteWbyFRfjjMBifEFpK3AJYFNOL54z srk9tJtnHjLW5H5EuuPU1B/ms99eaJYm1fC1LEdswOBaIPKTENZJq8xhGbDiqFfOkqrv4i cvHhRYHQdbk20oJnLtcaRtuXQ1fm5ghy/l/tY6QM4ufsPb9oWN+Z9+gEKgajYw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=tbb16ehe; dkim=pass header.d=cs.ucla.edu header.s=9D0B346E-2AEB-11ED-9476-E14B719DCE6C header.b=ngsEUFx0; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=cs.ucla.edu ARC-Seal: i=1; s=key1; d=yhetil.org; t=1735406830; a=rsa-sha256; cv=none; b=MkdX9Ri/pvYq1v2EjBsAk5OhXDICjuqbIFf/67eUFaxK1arPMzRwuOESmKTbjBLFqVrylm PcJO9XVf71KuJsGouMuqct6/ZvdnOSyXRliYcEA9PDFv96j4GGR+Wx3LKt6bKWLhegYoAC UaaS88x/cDhS+qiXossQ93HqFu4PrZK4JyOhfIU2Dr+N6Qc2X77I81PI++9xY4FIg6cj49 G6GS1qd4NyhXG6385nrO841/JnXRJ5w0rECWhsv8NxhgnQKCFU8IZKDsp7cAAtWBkSPZCO 5K/ozibLf8HaGMB7J+Nvi+tZAOypXjOy2aasjb93/41EbkkpCxDH6w6zU28yVQ== Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 403548D6 for ; Sat, 28 Dec 2024 18:27:10 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tRaaf-00032X-9f; Sat, 28 Dec 2024 12:27:05 -0500 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 1tRaad-00032J-3m for guix-patches@gnu.org; Sat, 28 Dec 2024 12:27:03 -0500 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 1tRaac-00069L-Qz for guix-patches@gnu.org; Sat, 28 Dec 2024 12:27:02 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=In-Reply-To:From:References:MIME-Version:Date:To:Subject; bh=htsYvgIOiGgZtJ8bYTWNgjQOxj0+VohwiIpdV4T2XjY=; b=tbb16eheE/Ny90ce9eMPQcmwX7dv6UxSeKE85iv2Ox+Ds7JJIqlVOZoe/5Cejvmr6vXs5TCzNsQPUmQWWuS6B5hb4r5lCwChYpFTAbVX4v8l5SU22Sv3cL9Q72/+o2FrwuTVQpFM6mYMV0Xb8oJNC/MvF8GcQfwmqu22RM56DVywz3B+oaE8xXPz7q6dwq5OoCU6t1jSMB2jmB/cXStJOf7bzp+dMvyUGN/mwcGOGKQ9qGjccrATQ1xVtC8g+0KOQ7BKBo8xFa0IGChoJARBLzBakAAidbLjrPeztIN5MeDSgYH1rwK5S2ZkXY/nv4D/AQtdDp7EldK49L4cEchT6g==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tRaac-0008KX-Kh for guix-patches@gnu.org; Sat, 28 Dec 2024 12:27:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#74689] [PATCH] Add predicates for decoded times and time deltas Resent-From: Paul Eggert Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 28 Dec 2024 17:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 74689 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Richard Lawrence Cc: 74689@debbugs.gnu.org Received: via spool by 74689-submit@debbugs.gnu.org id=B74689.173540679531975 (code B ref 74689); Sat, 28 Dec 2024 17:27:02 +0000 Received: (at 74689) by debbugs.gnu.org; 28 Dec 2024 17:26:35 +0000 Received: from localhost ([127.0.0.1]:52499 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tRaaA-0008Jf-TB for submit@debbugs.gnu.org; Sat, 28 Dec 2024 12:26:35 -0500 Received: from mail.cs.ucla.edu ([131.179.128.66]:36160) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tRaa8-0008JK-7X for 74689@debbugs.gnu.org; Sat, 28 Dec 2024 12:26:33 -0500 Received: from localhost (localhost [127.0.0.1]) by mail.cs.ucla.edu (Postfix) with ESMTP id 197A43C00FA8F; Sat, 28 Dec 2024 09:26:26 -0800 (PST) Received: from mail.cs.ucla.edu ([127.0.0.1]) by localhost (mail.cs.ucla.edu [127.0.0.1]) (amavis, port 10032) with ESMTP id 6yVo1xlk2V8o; Sat, 28 Dec 2024 09:26:25 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by mail.cs.ucla.edu (Postfix) with ESMTP id 88DA93C00FA91; Sat, 28 Dec 2024 09:26:25 -0800 (PST) DKIM-Filter: OpenDKIM Filter v2.10.3 mail.cs.ucla.edu 88DA93C00FA91 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.ucla.edu; s=9D0B346E-2AEB-11ED-9476-E14B719DCE6C; t=1735406785; bh=htsYvgIOiGgZtJ8bYTWNgjQOxj0+VohwiIpdV4T2XjY=; h=Message-ID:Date:MIME-Version:To:From; b=ngsEUFx0JiseWrIp4NWQP0aOyXaFfmCR02Exhd6k/qXQ01Fgz4M3StSe7Xc2L+Njk 46IKyFGn45QVhOPcvXgc6JoQdYt02QqM3HQJawltIfrlx5Ah+wPzOMYSNuadw0q0wx omjdjZZHW3W1LSZBRXautu/pMFd2XjJ+Pkidj+49hs3AvPn+f6yLz1n4luXP0IvtA6 FOSCn40OM2YSdnDOi176l04UrBz2u8ttpJBdil5B7fZizJLdibLeE2ztxykffcoLfp tFwFyMhYaf7f/6S7suYkZVecdDuM8r9t/Rm2HeruMK2JvNreM4rxWVTD8qiWdh2BrY qrM0OlAiRDyiQ== X-Virus-Scanned: amavis at mail.cs.ucla.edu Received: from mail.cs.ucla.edu ([127.0.0.1]) by localhost (mail.cs.ucla.edu [127.0.0.1]) (amavis, port 10026) with ESMTP id Igur8iqXEbIy; Sat, 28 Dec 2024 09:26:25 -0800 (PST) Received: from [192.168.0.102] (unknown [47.154.28.214]) by mail.cs.ucla.edu (Postfix) with ESMTPSA id 69B423C00FA8F; Sat, 28 Dec 2024 09:26:25 -0800 (PST) Message-ID: Date: Sat, 28 Dec 2024 09:26:23 -0800 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird References: <468ca0ab-a4aa-41ed-8f6c-260940f3f9f3@cs.ucla.edu> <875xn3vm14.fsf@recursewithless.net> Content-Language: en-US From: Paul Eggert In-Reply-To: <875xn3vm14.fsf@recursewithless.net> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Queue-Id: 403548D6 X-Migadu-Scanner: mx13.migadu.com X-Migadu-Spam-Score: -3.89 X-Spam-Score: -3.89 X-TUID: vXC/pU1clINm On 12/28/24 07:56, Richard Lawrence wrote: > I need to use > `calendar-extract-month' with a plain date value, but > `decoded-time-month' with a date-time value. I need type predicates to > do such dispatching. Not necessarily; you can instead try each function in turn and use the first that works. I have some qualms about saying that decoded times are a "type". Whether a decoded time is valid depends on the timezone: (0 30 2 10 3 2024 0 t -21600) is a valid decoded time in Phoenix but not in Denver, because clocks sprang forward over that time in Denver but not in Phoenix. When data interpretation gets that complicated, the Emacs notion of "type" is not always the best.