From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id KJF2DNVdGGdSHQEAe85BDQ:P1 (envelope-from ) for ; Wed, 23 Oct 2024 04:22:13 +0200 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id KJF2DNVdGGdSHQEAe85BDQ (envelope-from ) for ; Wed, 23 Oct 2024 04:22:13 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=hyGPGj2b; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=LwsbvgVH; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; arc=pass ("mailchannels.net:s=arc-2022:i=1"); dmarc=pass (policy=none) header.from=maniero.me ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1729650132; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=uxn9J4G+hdnmBCkJ45Iz0xXE64thN139SVkNXj+y4YI=; b=f2faQLvjTGLeKLERu1GAiz/HnXLYZIr2v+98bEmIqEE1pzKfxxusygL+N96qmuNAAhsHUo ONqUllu6vn4E2NIrHiUl0KgHz5rDPdtgqzKh9uvNODSlHC6HaZTBHNfBHxYZ6Ryt5yAg60 N7vDaDCDt3I/3PRVNCooFbCQNKcVEiUTbCVXrtMUjNB4dc0+VYd6barLjnstRXwcPRzmsY Ny//ZhIOFOeZ4/1UD82/3QvnOIMGuzJ2vfZBQAYShBLJNrO3SnNnUEPcmaFqVV5TY9ISyV 6roN0AsB6HTMt0UqRA79dpqpbMavbJUQybD2e06MwkNCIkfh36fl49dd5bNKWA== ARC-Seal: i=2; s=key1; d=johnnyrichard.com; t=1729650132; a=rsa-sha256; cv=pass; b=yTw+vBD5C/HgSFMYEcIdwpCWcakgNS5A4xgYhVp5aSRVyLmqjVHNWgjOaWkHIig9AOdN48 tsARRpZqueUuh6yCOdjAd7PEbhicCMdnaripo2CReFxH5v701IkKAtc2CV49eJw6uNY9rP ygDWmuiqZPBGmbbdffiIJdXlmVjYqK4MGmg1LrU3hHo4dpoxl4kl+DQhvB73eFHGW2K2oB B3239R7gBJUPlM6m5yDbDZYSVgHF8dm2612/hNRBiVyQH9fGnUOiLUhsszG481nkymzMaN 6toDQ3Jt+rWAK+skPbZCzo1RAnsDg7+WzI7t2zjwKVXN7gMWpmy0bVQycqoZYg== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=hyGPGj2b; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=LwsbvgVH; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; arc=pass ("mailchannels.net:s=arc-2022:i=1"); dmarc=pass (policy=none) header.from=maniero.me 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 DE53D523B7 for ; Wed, 23 Oct 2024 04:22:12 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=uxn9J4G+hdnmBCkJ45Iz0xXE64thN139SVkNXj+y4YI=; c=simple/simple; d=lists.sr.ht; h=Subject:From:To:References:In-Reply-To:Date:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1729650132; v=1; b=hyGPGj2bBfw/kC+px6aeghXrsDxjA3wmqA15qwe+tLpnW5Q9UOBXgt6CSX4TNIsduGHc39CF GUHzJ4+zLoPGLdaDaAxhN1cS90hPrROg8+2EKySGIOd8aW6tjk59hRIdA/2JF0QTzy9xUjW++oB dybIt9T+PAmkbp496wY0ysYWPqDm+0JiHmxTYQ7psVqSQQ///gwkhvcdc1VTvpfYapwhwLn21oc dPa+L6pcnRJ5C/hu7dC/siTSuwBolvW/vPz5wcMn8rghCdUdznSoM8KdeKvFTCLle7tjkW/dINr A6PVgXvx1QzdMApyFYH/hh6oELwgB4hb0XIpgY0xuCFZQ== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 9846A202BD for ; Wed, 23 Oct 2024 02:22:12 +0000 (UTC) Received: from shrimp.cherry.relay.mailchannels.net (shrimp.cherry.relay.mailchannels.net [23.83.223.164]) by mail-a.sr.ht (Postfix) with ESMTPS id 237DC2023E for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 23 Oct 2024 02:22:10 +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 BD9942C4B57 for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 23 Oct 2024 02:22:09 +0000 (UTC) Received: from nl-srv-smtpout1.hostinger.io (trex-13.trex.outbound.svc.cluster.local [100.99.209.159]) (Authenticated sender: hostingeremail) by relay.mailchannels.net (Postfix) with ESMTPA id 6221B2C3212 for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 23 Oct 2024 02:22:09 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1729650129; a=rsa-sha256; cv=none; b=ysww5LDTvh9AcOeKJsQjKbgxIKIfiqTIBngjxlQJfv8nvTsn2OqrbexR9m6T1D308nCZ+L UR28Xro/Wh2IvsFjALChh/G6NGGhkLSLduOLaXJb58hS+Tw59e07mSkH+MsCwPw6GYBFv+ XRjKoLM/ZN/r0WgTahdAU++HGu+igJsaDkIRuGxilIVcoaCOmbDcm3xBEpX6CTBMhedW4l lPvZ0qQX1O2TdgbuEvNMBgwnGSui8mrLjF2cUGvGAVRJJBYDtdexs+ytJfCTD7k+hXLwo6 f87gVLAYW3KlZHxCelHHaJDEIp1pam+26uRLw6y5gAqfQ1CIQozIzBDhwWn1eg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1729650129; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to: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=uxn9J4G+hdnmBCkJ45Iz0xXE64thN139SVkNXj+y4YI=; b=F669SZZSqW2cD8wYi5WHj9Lp6OI7Ji0DLNiizHXbK0RJ+iaB1yIJHhbtsvfrUKxLdYmbtC 5Y3bnpSjZaqpS/MSPE7aqx1FzDGqi1PGVF6L/b7xqdhcJhDE3E549rb4Yt1q2PkDfP82Fl ZmiF0mrMjLI32myFaIfZlUir7w1AicRxdSt73wbvPTvWA+h2zQ40NhzBHph8SsguTTXyFb SUNBLhaX4kGVYC34byTxFSj+HyZ3qgKB0lA6IxpotJuKM9m1pvdlkDVNz4ZpS35qgdKcS3 KMiX4rwyrJwiOXje4AL0R0SvSv+noDVbXFucPfkt9EHeCetPTpKjYmsEpPgOSw== ARC-Authentication-Results: i=1; rspamd-7d55d965b5-8cvz5; 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-Desert-Spill: 4a304fef612573d9_1729650129679_3093359129 X-MC-Loop-Signature: 1729650129679:3470791835 X-MC-Ingress-Time: 1729650129678 Received: from nl-srv-smtpout1.hostinger.io (nl-srv-smtpout1.hostinger.io [145.14.150.87]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.99.209.159 (trex/7.0.2); Wed, 23 Oct 2024 02:22:09 +0000 Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maniero.me; s=hostingermail1; t=1729650127; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=uxn9J4G+hdnmBCkJ45Iz0xXE64thN139SVkNXj+y4YI=; b=LwsbvgVHfipIvXkamCryYbUIAZc7RkctJ/wKkJv7r/6G3QUI/tAt1FKh3t1PJ/SsVkSV7Q miwOhCKE0WyVasxfMx3+2BIOu0zsIKod8BLdLVx6smQMt14kWdz2OpMjBheFUJNFRdishF hZxvgIexZ3wWarYrvBd721Gqr9uUkXpDvyQIXS3uG/jekVLc+pyXZ6myNumlm71zQgSRRg d63TD5iM1kuN5gimWjD5vjITUKh2u+IvFe9oH9rOL7wo0QAYcAW4lfX50aTNAxRW+H45VD e1d8cBCwWU51s0mJKIGuBqHz025rNIuIJM9zoHn7VBEEDOCVjiByKZhSSjgNsw== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Message-Id: Subject: Re: [PATCH olang v1 1/5] type_checker: rename checker to type_checker From: "Carlos Maniero" To: "Carlos Maniero" , <~johnnyrichard/olang-devel@lists.sr.ht> X-Mailer: aerc 0.18.2-0-ge037c095a049 References: <20241023021941.38321-1-carlos@maniero.me> In-Reply-To: <20241023021941.38321-1-carlos@maniero.me> Date: Wed, 23 Oct 2024 02:22:06 +0000 (UTC) X-CM-Analysis: v=2.4 cv=VemlP0p9 c=1 sm=1 tr=0 ts=67185dcf a=WwxFCuf3mf1fs3oSi6/dng==:117 a=WwxFCuf3mf1fs3oSi6/dng==:17 a=IkcTkHD0fZMA:10 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=N56I9EFi3HDkEG_IaXoA:9 a=QEXdDO2ut3YA:10 a=BXDaF_L80NY05PYiAFlV:22 X-CM-Envelope: MS4xfHzZR1uoM4Ssnz+xpfW45uUrqrQiXdwfNnWQX45Km+C7NvL/pL/UgADDSxLQLh8FNWPoh3T3VO88kHO71H8matq5W3nwseSZgkFUb4lMvpu3cQmdscGy YeXAtiWsEfmUl1QIlsuhkpVP16iLLl7o4NWjhqqmqAGc1H9H1er5toVwMT2A/t0VE+VFvhgERW9wHUEgj5gv39PlNShcosNOGtCovOnz0WxazcBhJqreGzkA 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: -5.50 X-Spam-Score: -5.50 X-Migadu-Queue-Id: DE53D523B7 X-Migadu-Scanner: mx13.migadu.com X-TUID: UdqaqF1t2NrO I messed again. You can ignore this individual email, the entire patchset was sent in another thread.