From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id KHxFNKjSM2fpCwEAe85BDQ:P1 (envelope-from ) for ; Tue, 12 Nov 2024 23:11:53 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id KHxFNKjSM2fpCwEAe85BDQ (envelope-from ) for ; Tue, 12 Nov 2024 23:11:52 +0100 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=TylajLst; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=h09UHywn; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1731449512; 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:in-reply-to:in-reply-to: references:references:list-id:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=0fWZHG+9SFp4gYiwJ8JFq4wYwgButD5iYoDqwtq7SeU=; b=mCMg9yW7xfTH31bbmudXvvP/UHq3nslt/Z8IY925pmKVizX57iSnc2Dr7UoOrJElutAsFX Y45ZRBn7YCKb6m6FspQPQhX5Rw3TLOeY2pY1xkaOJCjn5vq3vU2Y2Ghnj+IPhJ1+dZSjt9 pOsLO5jEXDK4RM534pPqYyL3bYw1eNhjwaIihkEDxMhqEUP5sIYQm27uXqepghipTSnJNz b95h21qxYrBZC4h13Qf1EEQ6gYyYNZAidH1Uqh6JppLHbqpbD28hz6+CtUkzEzfmBC+7Va iS27tY5KruyoI1xSwuRoLV771DyXqRlqXtux9epuxwqRzokOnPA+IL0Ucihfpw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=TylajLst; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=h09UHywn; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com ARC-Seal: i=1; s=key1; d=johnnyrichard.com; t=1731449512; a=rsa-sha256; cv=none; b=KNeMUqrac0gcdVBBKwdw9O1HF7oLyU/grvF+8dVP+9SU1nudml6KwspFvdvk7H/Nq5UsME rWoHwP7ojdrCK1DN6ptznSv/Kyvz9eS5TYiH9sU7f7jTGjB8uCJnHzwgvkoFJt/TJ7wbTF IdmW1VzkgcsUZbQ5bUDb7ciMBiEatYT1eEHx+QJoOSLid0P0CeuhCHNhsDv4qsncfe742G 5YWH0AD8q6aJQH5L+IZq/30wu7JXz6Nm4Y4b7mj0fPzdxwgmFbWzru5lAySpSAt8CktDWF ltgxxvAna0BCZsHJzZ2K64aw6F7e03nLJRgZUbsBSebq7RY/nEn1A6UYRhtxpw== Received: from mail-a.sr.ht (mail-a.sr.ht [46.23.81.152]) (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 aspmx1.migadu.com (Postfix) with ESMTPS id C021C42DBD for ; Tue, 12 Nov 2024 23:11:49 +0100 (CET) DKIM-Signature: a=rsa-sha256; bh=dVq5+lc08NgNOz0AGiEwlGcUzr8GoWI6MMwWuutByEw=; c=simple/simple; d=lists.sr.ht; h=Date:From:To:Cc:Subject:References:In-Reply-To:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1731449508; v=1; b=TylajLst/3zInNFPo0al/+vH711K44pQcUXvlF1uEQ9rjdJe97m1qVBw99gozoB+tOlF0XWE ksixMTG65PteJb5goVo0NQoXX32N5dUsN2o+bisrl63EJz95qzCB/kbrHrZ1RwzlckkTWdYQfni 7jIztAiU74TJlbSaLa+YmD1MkB9b6JSDVikRQBzb3RYSGd3KLTg61BwAe9RfpBbByTK14OLRd6n w5qGrhvDT16c34rS0yieDpFEqnMv5VnHmGUmb8rzGf4mbRS60GKG15GwjXE6V/jqLiZJ3FWos0v TprFNYBdG5UKq/v24+HRbSCLUOT1DdhVo28wWsudoQd/w== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 1B4BC202B0 for ; Tue, 12 Nov 2024 22:11:48 +0000 (UTC) Received: from out-173.mta1.migadu.com (out-173.mta1.migadu.com [95.215.58.173]) by mail-a.sr.ht (Postfix) with ESMTPS id 3FA7920282 for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 12 Nov 2024 22:11:47 +0000 (UTC) Date: Wed, 13 Nov 2024 01:10:52 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1731449507; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=0fWZHG+9SFp4gYiwJ8JFq4wYwgButD5iYoDqwtq7SeU=; b=h09UHywnNQftzDj1iEBPBQKQ3XdJ+pQ/LCcLD+LeLkJzM7y0QHMBzKhrLiFnQ/ZTf01XSa w82vtweNnfw4zbe5wYuEEWwouRi2sS/OiAbBI7oLfe88sTYctG+eHfYRD7hcyQ2Mg9yj3M CKBXKmaewwOry6qU9dCcUWwzLkIqt5TzBLYK0v/MQ/ZaRpVMDT+klPZv4er5YI2sn6Ca52 7UYhkMu9PWZUFRTADMxP6WMzOtxpVB6od9pwueRA6Clki+7CDwBaCOW49Nb8AGHZfb7RVW kHhf2rm6+xTTDZhkK5enCyMk3vfza1E06LXeRObJCklhCTENMj/0KEaw7W4bRA== X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Johnny Richard To: Carlos Maniero Cc: ~johnnyrichard/olang-devel@lists.sr.ht Subject: Re: [PATCH olang v0] proposal: checker: set the eval type at the binary op expression Message-ID: References: <20241022033942.39374-1-carlos@maniero.me> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20241022033942.39374-1-carlos@maniero.me> List-Unsubscribe: List-Subscribe: List-Archive: Archived-At: List-Post: List-ID: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel.lists.sr.ht> Sender: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel@lists.sr.ht> X-Migadu-Country: NL X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx11.migadu.com X-Migadu-Spam-Score: -2.51 X-Spam-Score: -2.51 X-Migadu-Queue-Id: C021C42DBD X-TUID: GZaUFMrXBSuP I don't recall if this is still on progress. Could you please refresh my mind?