Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:126056 X-Original-To: internals@lists.php.net Delivered-To: internals@lists.php.net Received: from php-smtp4.php.net (php-smtp4.php.net [45.112.84.5]) by qa.php.net (Postfix) with ESMTPS id 3817C1A00BD for ; Tue, 26 Nov 2024 11:11:47 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1732619316; bh=l5YTUhfOs98HY4CYJIEtc1WlfTrWwSwBOd9/O14LilA=; h=References:In-Reply-To:From:Date:Subject:To:Cc:From; b=SBAFOCtJhdBe2JFXne2tMXNw0ZFSqyO2PUyrTILLIThBKvFB9Qjp4bQHvEchKt38c KdjHxeEwj9/VF50MeRA7Vh18nuBtrxf9YH4prDG4zmXJsfhBokz1vJXdZgYUN0kweu J/t+SZgG4CrCwtKwaX4TJmPXQTZ2Uiaone+BCvvPrT+M6dOAZdrNywqnxhAtY+0XZ+ VyEIwv1U6L34HGP0YbissJjEE1BuSiP9WfkH2WmBQzgO7zr7cp9qCpRMS7Ig52/8AT asB8yL6plXaCICsPZ6T9zkERDlR+JSoxq8KDG9ILLJAGz/oWm8zcBRHmBEddkzUw4M /Z6aDV2MoY++g== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id AAFCC18003F for ; Tue, 26 Nov 2024 11:08:35 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 4.0.0 (2022-12-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_PASS,FREEMAIL_FROM, HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL, SPF_HELO_NONE,SPF_PASS,URIBL_SBL_A autolearn=no autolearn_force=no version=4.0.0 X-Spam-Virus: No X-Envelope-From: Received: from mail-pg1-f180.google.com (mail-pg1-f180.google.com [209.85.215.180]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Tue, 26 Nov 2024 11:08:35 +0000 (UTC) Received: by mail-pg1-f180.google.com with SMTP id 41be03b00d2f7-7eae96e6624so4307889a12.2 for ; Tue, 26 Nov 2024 03:11:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1732619505; x=1733224305; darn=lists.php.net; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=l5YTUhfOs98HY4CYJIEtc1WlfTrWwSwBOd9/O14LilA=; b=ahHoyMeT3ULK9G8AvHMefL12NZ4RTiNFZTQl8/2eYJwxxaQBYEyEHzieR8rZwU8Ufx J8pZ8gsBhu8XoBsEBuSREH3nSQT7MkHYZSIvFPzLCGcHJRIT4+YJtGV7qLomKmZfHZVu ne0SWpp9yVMjw8s5esXI5QR/52BzKvg/OHMfiYnMZwhPnei7FnkGrIwaIbwvmNYIwaO6 fSFVRL9VR4q0Y4PMydLL1UvsF4xfBy+AotzEA9OrusReSNsO9dn+6X3X1s2KRV8wMowp SMrW4zilZg9tsesAwmQ0qpHpou6IbJlXaArTaY4/MJjLIj4XFOyZAFR072Agqi4I5HER Xz9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732619505; x=1733224305; 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=l5YTUhfOs98HY4CYJIEtc1WlfTrWwSwBOd9/O14LilA=; b=UmhYis8/5fYBCE+7/hTtp1BId62sc8d6n/ElPVGgcPPFwJNTl8bQLbNaK9dEHgpjg7 /cpilSDjTJdI/8ZLAoMMzuHoNSSkqHgxLpZab3sTtUFPj1xrV5WmnIkiDPsJwzMZ1y3B pShzVZ9v2BW0alS2MkoyIuywjouDBUFbLTK5ohKm5HMTcdPdTIfYkVXCZ77KnD2CuV4S GSajP8k7nkbtWZ1pT9TbNZba4EYeMbBBdADA32zPGWIGlYLrjIO3I5rllZFeu8JWLpUc DAwDQ0M+7bLJarCGHWY9Nmkek7Mtkq0YJ0K90+KeWLM7r3sjFRJBQuI2deiFJc2H8doV 1scg== X-Forwarded-Encrypted: i=1; AJvYcCVo+ubUcpX3EULy8Lujhzpqpa1PtF1NYaROjRN9y+qPl9r+EG3rqa4XasJaRQpFeA8c9Iz0V4pkEcs=@lists.php.net X-Gm-Message-State: AOJu0Yziv/J8qbqIyRlV9Pp0sqwxviSFgibQb9Jaiy4zvSHuEpXEEkf5 AfDQ1MwH0IYGJxojRL8WmHmLl+8ErvvcuB9nlJ1sr0RlaZTOgOnPnkLP3sPZ5llYFw3vPx7HsU5 tWOQJXxU3Fg851ny+DilUAyoH58s= X-Gm-Gg: ASbGncuoCMlNENp9ZMKGftkdGvE4pDeMTElYVzDJ6OQKDHV3b65MY4EGSedBUhsR/Ey eIKrJqbMBiui4S/rxQc6voJ55XOpTRjmj X-Google-Smtp-Source: AGHT+IGmOtZaKVAKqwuGtE9Nhqi3kNQcgodRJsmKMzSwqI+LERF1VCvqX5CfJ42fr46ZipenZrM4odAvL47KWq4sBLQ= X-Received: by 2002:a05:6a20:3d91:b0:1db:ffb9:f359 with SMTP id adf61e73a8af0-1e09e4a856fmr24007096637.24.1732619504666; Tue, 26 Nov 2024 03:11:44 -0800 (PST) Precedence: bulk list-help: list-post: List-Id: internals.lists.php.net x-ms-reactions: disallow MIME-Version: 1.0 References: <8899a91a13c1e25a186f98661348e9c5@bastelstu.be> <8f86cc786cc93da2a9984687c7965b23@bastelstu.be> In-Reply-To: <8f86cc786cc93da2a9984687c7965b23@bastelstu.be> Date: Tue, 26 Nov 2024 12:11:33 +0100 Message-ID: Subject: Re: [PHP-DEV] iterator_count signature for iterables To: =?UTF-8?Q?Tim_D=C3=BCsterhus?= Cc: Eugene Sidelnyk , PHP Internals Content-Type: multipart/alternative; boundary="0000000000001b50350627ceeaa5" From: ocramius@gmail.com (Marco Pivetta) --0000000000001b50350627ceeaa5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hey Tim, On Tue, 26 Nov 2024 at 12:07, Tim D=C3=BCsterhus wrote: > it was *semantically* identical, > That's the most important bit, thanks! That means that upstream Psalm may translate back/forth from it into a uniform version :-) To Eugene: consider posting this to the Psalm issue tracker. Marco Pivetta https://mastodon.social/@ocramius https://ocramius.github.io/ --0000000000001b50350627ceeaa5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hey Tim,

On Tue, 26 Nov 2024 at 12:07, Tim D=C3=BC= sterhus <tim@bastelstu.be> wr= ote:
it was *sem= antically* identical,

That's the m= ost important bit, thanks! That means that upstream Psalm may translate bac= k/forth from it into a uniform version :-)

To Euge= ne: consider posting this to the Psalm issue tracker.
--0000000000001b50350627ceeaa5--