From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id QPxNL7LaM2fBDAEA62LTzQ:P1 (envelope-from ) for ; Tue, 12 Nov 2024 23:46:10 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id QPxNL7LaM2fBDAEA62LTzQ (envelope-from ) for ; Tue, 12 Nov 2024 23:46:10 +0100 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=WoyxWdLV; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=aA8hlCjB; 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=1731451570; 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=+jPidl8R+8W4A4b2ZIwVz8rZr6BPCmnxeZWxGF2RUWM=; b=XFAOpo9cFY4fykODzmnntMOpO6GEg5o/JzKBSpRzvNVJc9neC45rkqSVALO/wmEKTT8hKG cCRJi+vkBLmxzTu/jmxyMABbBpMl6zXiA+ifTrmcg6u5/p0OdeoSIdUNxh6OBeUG7Sh8JF gJOKelC//f5yg5w1/Yoqo0q02eTBuvQVh4l/SXkQ4n6ntvu4OOJpV3IgCLId7bIQGVT9pS ZB4mcvfhGC1a1cQ3fVQobnr0qT1hv2Ovx6rX1vOxXHmXpHD1tglA6dpaoWobK4G/rzvIin xRmhzoq3HwC9Xb01/7UrEcTyq2CQO5ktj4Q1pASptwjs+3u05r+wX/Lj9FsjRA== ARC-Seal: i=1; s=key1; d=johnnyrichard.com; t=1731451570; a=rsa-sha256; cv=none; b=QAXTEFATMjHolPP/JRiVrG0pxaSAecea9ZTiGNWvmgeGs2Ni72+dvC4Y5mWAzqVmGeLu5/ dMcPpz31jBvLqlczFMiwkX0BFxS4XFelqxZI89nwujgU3/chEf08AvpV9b1yEDSK8eZEeG g74ERhwjhtDo9GjkI/csKrug55jnCQPMHg4vrGm94O4klEmy83fjE5dEokqjWe8WqYj3I+ Scar2+Pgq/XzQoUOEWm6OEGM8j3EAuCSew9B0m+zXQ2fs7p5tksA2ifFhusdKWBwzHth7Q XpSJ7jpqWUSb+IeVBxQrwBdPptzed4eycINCGYP+n+Da29pTQ7BltqiGZouQDQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=WoyxWdLV; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=aA8hlCjB; 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 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 532487E451 for ; Tue, 12 Nov 2024 23:46:07 +0100 (CET) DKIM-Signature: a=rsa-sha256; bh=+jPidl8R+8W4A4b2ZIwVz8rZr6BPCmnxeZWxGF2RUWM=; 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=1731451566; v=1; b=WoyxWdLVj8Fims1wf45UXvHTcLas3wsMHZOUon1SNl8+Jotd/h8exn9rsepvMzl6romlF6In 2dcRFABln5+UdNwqe3cNYIXYV5Pt3mdvK0JX8VWF1mDPWcI8pZWFRJlg6ZfT1Fi0epux2xx4QaN fLNBj3+egzjDalae8CzuyQIz3131UdrNxnKkurHITIu9yfLsP3jbt9JOOV89fTFHXK8kO+Qp1LN fdUDJi1yNNkU+7k8bN9YzlP69ykdzNJYDjNSclGBLtk5l5U8O63NSRhSC5DoyfzaTeJNe9nVaxW z3W+wrgZW+igJ5EoJ+1aoHtY4Nr3A3U5ZZagspY3JuDzA== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id B7509202D3 for ; Tue, 12 Nov 2024 22:46:06 +0000 (UTC) Received: from out-181.mta1.migadu.com (out-181.mta1.migadu.com [95.215.58.181]) by mail-a.sr.ht (Postfix) with ESMTPS id 1628E20225 for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 12 Nov 2024 22:46:06 +0000 (UTC) Date: Wed, 13 Nov 2024 01:45:08 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1731451565; 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=+jPidl8R+8W4A4b2ZIwVz8rZr6BPCmnxeZWxGF2RUWM=; b=aA8hlCjB6cO0eD5ANfQb31QpCSY4C6gbqqrKnedLuvWeBUi5cPWXcin5Am3+mOiDpS7hQT PUiTQLViaG8JDnNCRJLlyoENrbAdP1LsI9DkUU+ekxXo/6+4u+T9h4RX9byPK7a0+EViKg iX/vor+rTssoU4kCv5eip8BuW6SjUWG24q77yIWHwF8bFF6LHURGbTTX8FCW2R8YaUgeT0 TTcgSxqY5ztIzzTfFsaJhl2YDEarBu19r5BeSVC3fV+ydWUhPBG5JJ3GjBx7q55rycli2W L2bgPX93bucq1gpSbgseiEDf+w/YEzwhiRTb88saNz0sPFL2mvoaJUVuEDZkSA== 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: X-Sourcehut-Patchset-Update: REJECTED References: <20241022033942.39374-1-carlos@maniero.me> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: 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-Flow: FLOW_IN X-Migadu-Country: NL X-Migadu-Spam-Score: -5.28 X-Spam-Score: -5.28 X-Migadu-Queue-Id: 532487E451 X-Migadu-Scanner: mx13.migadu.com X-TUID: +RcqVwZgIITd On Tue, Nov 12, 2024 at 10:35:12PM GMT, Carlos Maniero wrote: > We follow a different approach at the end. Adding the type to every > single node would be too expensive. Thanks for replying, I will reject it.