From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id uO4XIy/YM2foOQAAqHPOHw:P1 (envelope-from ) for ; Tue, 12 Nov 2024 23:35:27 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id uO4XIy/YM2foOQAAqHPOHw (envelope-from ) for ; Tue, 12 Nov 2024 23:35:27 +0100 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; none 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 7F91E8EBF0 for ; Tue, 12 Nov 2024 23:35:24 +0100 (CET) DKIM-Signature: a=rsa-sha256; bh=BcLeRxziDuEVwTJ3LT6CPXfIgWSw4iqJsrUzFS1SEgg=; c=simple/simple; d=lists.sr.ht; h=Cc:Subject:From:To:References:In-Reply-To:Date:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1731450919; v=1; b=O/TpO+JtiARbNm5uaIZSWGi6z6371AH7Wf3pnWO0twHuqAEICKnT9nmqfoYiUuMXezNjuq9g tLIxT17cFCEt3HiYGw4rfe/B1pKY7gW56PNXlkXSF9fUAQpYWesCWj88vBYW7Gernokt0Hf472K MnCYudMfOQfR1W2Lcil03S2Mgya0gTwlrmLO+xV73ap5Zx7Z0fG/bXFpqkjKEslajpCCuqdGz2d J56p0EeMqv/N11e4cA5px8vbVSee807zp5TMKGT10/mj+bLQKKTZOxpHcr4atu4WfVgCeGO7QZB fk/jWkicjCIRyRgU6dydYfs432M/q2jPltoPHpv+EF6YQ== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 4CBB22052A for ; Tue, 12 Nov 2024 22:35:19 +0000 (UTC) Received: from seagreen.cherry.relay.mailchannels.net (seagreen.cherry.relay.mailchannels.net [23.83.223.160]) by mail-a.sr.ht (Postfix) with ESMTPS id 8CAB4204AE for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 12 Nov 2024 22:35:17 +0000 (UTC) X-Sender-Id: hostingeremail|x-authuser|carlos@maniero.me Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id B43DB783AFB for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 12 Nov 2024 22:35:15 +0000 (UTC) Received: from uk-fast-smtpout10.hostinger.io (trex-1.trex.outbound.svc.cluster.local [100.112.138.222]) (Authenticated sender: hostingeremail) by relay.mailchannels.net (Postfix) with ESMTPA id 365217822E3 for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 12 Nov 2024 22:35:15 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1731450915; a=rsa-sha256; cv=none; b=FDK+vgo2dIlzLnOuKl5VZSIrFsdSaDAMJKob7G1Fe0N8lCyb+EuxCLkXOOsAtbxpfxS9M6 w1pbM5QZhRPrZryfjCRxVn6OIC3KdrrUP+wrt6dpe53ZtK5zxgm3l9BWWXwBpb8l3NnM0F ZCBqeH1ysbYTA7wnZFyTbRb969cvfV4iCxj9263854P2xHHquvJhKoPHmnvmy1+cd21IU5 Cv6lfRgBsPNQUNUQ0iNx2NOs2o4CvBaIN2oxcIUuQ01t70NopUsHXDNSb2ClZj5LH6SQyH 1eEQctV+xBSZppybYGbG2UiKqj9B9vsl9P29hVaq0W5S2gQ7v9x7B1vwt1lk9A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1731450915; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=BcLeRxziDuEVwTJ3LT6CPXfIgWSw4iqJsrUzFS1SEgg=; b=ZwNPyc9Ut45qSzD7iEyFlun5QwKZaHg+9NvcuGhp9vi6gMIeavwJVcGVYRHq8ZV0SWmXUO P4MKJn3tFYFl1zel1qaCRkRM8zSqRStPiov1Ap3qNvDyRN9mbHLkd6ay0eeoYaDUjhNFs4 /QXCMzdDQ7Uls2gdJzOW0+dZHYeSCGAiB4LSEGJWZLc9XX9Gzpgm5Q0HCUVspdo3wdTah6 16BX0JKyxEakLKkLID6Pbt2kdS55cRgAI7Q1delp2bsHPhSzpZyOQcKu5H0lXmj2nNf6b8 6LnZMWaTFUER1EDyX+8N1qbuK3JCfe2EVDUED9VKaX5ELbBIOVl+ntt4d3OyEQ== ARC-Authentication-Results: i=1; rspamd-7456989c76-2swnf; auth=pass smtp.auth=hostingeremail smtp.mailfrom=carlos@maniero.me X-Sender-Id: hostingeremail|x-authuser|carlos@maniero.me X-MC-Relay: Neutral X-MailChannels-SenderId: hostingeremail|x-authuser|carlos@maniero.me X-MailChannels-Auth-Id: hostingeremail X-Fumbling-Abiding: 1e87bf1e3f8b4788_1731450915526_897848869 X-MC-Loop-Signature: 1731450915526:3415163332 X-MC-Ingress-Time: 1731450915526 Received: from uk-fast-smtpout10.hostinger.io (uk-fast-smtpout10.hostinger.io [145.14.155.68]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.112.138.222 (trex/7.0.2); Tue, 12 Nov 2024 22:35:15 +0000 Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maniero.me; s=hostingermail1; t=1731450913; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=BcLeRxziDuEVwTJ3LT6CPXfIgWSw4iqJsrUzFS1SEgg=; b=ufutiI9c2kasPP88STcSXAp4qHVdrepOtiT5nW2UpF/eNtkF8LqYdByf7uFZAKBltrzU7B lmvviDo/2OkpjOJb32igYUzdpin/LeCT5TMy9wutRSWb+x61SoXtUrWU5E+UzdBpOG3Eu9 CUHSx3lurdmMrXpNyeAMESltRZlbvGXNL6b7u0lP0oJtjwTKni7UOGOFfGS3Gt0/1nZVvW hzQvDRxGqC+1nXiyEJQgxSWvWMWrKSUJc4ZiLGLj2Ts0SW4BGWEOM7cR8yVfeKPqxvz8Bh 7zikqxDCm1nwY2NsovU9bPK9K6D3zZ8zqPaB38IzcqYvr4lEaI9vW17wtUA16w== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Message-Id: Cc: <~johnnyrichard/olang-devel@lists.sr.ht> Subject: Re: [PATCH olang v0] proposal: checker: set the eval type at the binary op expression From: "Carlos Maniero" To: "Johnny Richard" X-Mailer: aerc 0.18.2-0-ge037c095a049 References: <20241022033942.39374-1-carlos@maniero.me> In-Reply-To: Date: Tue, 12 Nov 2024 22:35:12 +0000 (UTC) X-CM-Envelope: MS4xfG+xZbqFVTwWyfmKfip+QOiJH8hQkTGWAxG5rR29q/CiBO+1/kt5H3BHwjS3ATPS7QfGWmIkGet+NYJwiqwpZ96KymGiomb5iVt6OvSGu5n7EAoS5XYG 61/ncMtD5+oNYNQyaUKYzmlZ/UgtxLGj2Ym51wheKAXNQRpijykqaN6MYV3BoHq/ijMPwrDF1d0JGdsswgBTA2LCWnfv33g8c5ftej3UwTjMeWY3NDTewktZ 93yiofg+kAWE90xWitsq8w== X-CM-Analysis: v=2.4 cv=EqmArjcA c=1 sm=1 tr=0 ts=6733d821 a=WwxFCuf3mf1fs3oSi6/dng==:117 a=WwxFCuf3mf1fs3oSi6/dng==:17 a=IkcTkHD0fZMA:10 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=JrV9Nv3yltSMd3we6sAA:9 a=QEXdDO2ut3YA:10 a=BXDaF_L80NY05PYiAFlV:22 X-AuthUser: 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-Flow: FLOW_IN X-Migadu-Country: NL X-Migadu-Spam-Score: -4.00 X-Spam-Score: -4.00 X-Migadu-Queue-Id: 7F91E8EBF0 X-Migadu-Scanner: mx12.migadu.com X-TUID: NFTA7LPKrHBQ We follow a different approach at the end. Adding the type to every single node would be too expensive.