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 SIPLMXZdGGe5CgEAe85BDQ:P1 (envelope-from ) for ; Wed, 23 Oct 2024 04:20:39 +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 SIPLMXZdGGe5CgEAe85BDQ (envelope-from ) for ; Wed, 23 Oct 2024 04:20:38 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=CZfgwIpg; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=vn2efYw0; 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=1729650038; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: 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=xukz7mvbi01wvpIFzDI1CwDznVGfPd3CW/uxXg0p2Qc=; b=f2eVIljrl+uBX2PJnSjQlDmdTED6d8jdE5lZ+ZA3WnvdanlQaOMUQz1GQ8pLAqfsyx4EJb SskymffGxxyjd1VrAuRVhtFItFAPUgtdsScv/KvEoJw9kKvdz7/QCVhfQWhPtKL8geOahZ PakmhD3eXKfBDar23zkN1rhsJGSikNWW2JboZv82KHYQvIMSSk/lFssN3GLkSFEa1S02A7 OzlZakhzBUblFnu7GGpxC1SkTyeth+HeM2ysLCXYwqxRX2FTKA2mJOTwlrR8IwrKTDtZ1h NZnfcysm/GDjFqlx2yrcdBdVWENqUyeILOr2ezflcuZd5As+jdTJQdQh+jCvrA== ARC-Seal: i=2; s=key1; d=johnnyrichard.com; t=1729650038; a=rsa-sha256; cv=pass; b=hC3XFoc0dQjFCFLskgiL7RacOwOYE2uYXEK2gWkDeagqpVoX8L1x0TeV6fLs3KLNQA5wqB sPSCHRY5VqLxwn5TDkmCtoiYHBavmnGZmhkZPmb3m7nZYgIm4rFLVwKMRO2Kh3Y9k9m0GX vJMgE+Bg4YxkXfVvmgi4dUyq31xpvuuSqGWsgICgmr8OPDpFpbNe1x9n4AwAmPLflqc+7R awPkpS2JwkqCNwbHJdU8IsZLZ6TpETIYmgZ25SbQgLAnNoX9OMesDGGN/y0aUoyv9di0V8 U+oETfDYsYZ7HSNz//mCQybsa2k5QAmcoDM24GWo9PRe7JDd2kKcuNBCQuyitg== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=CZfgwIpg; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=vn2efYw0; 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 B28255239E for ; Wed, 23 Oct 2024 04:20:38 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=nT83wAdn7nfjSj0Qn/4SIFRmhi0zUgYWvH0IV0fCfKs=; c=simple/simple; d=lists.sr.ht; h=From:To:Cc:Subject:In-Reply-To:References:Date:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1729650038; v=1; b=CZfgwIpgcCMm4StV1mHiT4iADMiEcc1ipLyIVsVxmpeOf3JqNX9KLkhyH053vqgW6Am6cBq3 NKfOolvWzPMPqQA2b1Ot/weAE+IXh9uM5KYJVHwAC46ngu67Cn0qVghi9cgbIzIPff6qHebH9kB yUUboonEEhWfbLG+6UyiJKl5MKkIMzHJ0RfF0bn0hsinbLUBVn9t9wMzJb05KYrZfQbSlcR+t2I irFwKl4PiiPlwmFTLbyJOY2OH/Y4f6thgE8NmRS4pa3Fr9AWud5yo91J0mVrUi99Hxxct0Y7Qi+ YYpc+/jj2R87Q03kGTa2wFKpvE3DF9jQidGtXra0ToEpw== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 0A785202BF for ; Wed, 23 Oct 2024 02:20:38 +0000 (UTC) Received: from fuchsia.ash.relay.mailchannels.net (fuchsia.ash.relay.mailchannels.net [23.83.222.64]) by mail-a.sr.ht (Postfix) with ESMTPS id F317A202B1 for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 23 Oct 2024 02:20:36 +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 58FF44E6818 for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 23 Oct 2024 02:20:35 +0000 (UTC) Received: from nl-srv-smtpout1.hostinger.io (trex-0.trex.outbound.svc.cluster.local [100.103.161.184]) (Authenticated sender: hostingeremail) by relay.mailchannels.net (Postfix) with ESMTPA id C783D4E67D9 for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 23 Oct 2024 02:20:34 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1729650035; a=rsa-sha256; cv=none; b=tr628tqPYsRcMiWJL4gGrvbtahjbzKlYskNDwUJ3IhWf5TbopT8HFjE3CLCN5Vl71pfN28 ZHV3Swoc/U33h5TOiggXtJELjmPB/0CHPNvTvjPt+hjaFTSE3nRw9Rh/1hixoHNXRMCYxk bl1lKfwmNQrtUN9aGn0rek9ELlWIKcNW7iwZVtH9GmdwAGBxQlSF9NLIoYpXhje2oWx2jA L6y+uKVAwOPjOFPn9RftHlq5KWjVnB2FW81oBVZMqO23h7Z6cyFDIPnKsnrpXO95z/eTiM TAnjAlkKuyri+b3H7iocZNL0LjSmo3+V+dPkpm0n02GIuXdtxW2bLxWPsV7Htw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1729650035; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=xukz7mvbi01wvpIFzDI1CwDznVGfPd3CW/uxXg0p2Qc=; b=uJrGDulIwRkQyyTI8++cp/wD0Fi6rKu44/oi2ryecRmHvHpuKDftiXTQ71p7k290/lqzAP kGYmpA01J2uJzAbo1n/rlEZXu/q2I9w0efvY1CSIB7yVUFoADNJ4MvW4gt3ey7y5o+0/HO gR1lWcGQao9vs8sTbFDwJo3WKJcqqETfd3sGNucvnsf4DAKJ4+f1X2D8WU3rtKt3cQm/Xa dANxaC8ZxTIMR6NaoXv6xdvVkKkOsuzdk0c0IR0/06O3tOX9niUldI9B9hNSJSEpO4dEXJ P33N4GRF20i36PFHLLwJemM2FHAhRGtJntA84oXdXifZRG8Mq7QLi8tAJpdwDQ== ARC-Authentication-Results: i=1; rspamd-5bbb596db8-x9zfb; 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-Ski-Trouble: 1bfaf0695d3be1c4_1729650035270_795499556 X-MC-Loop-Signature: 1729650035270:346153259 X-MC-Ingress-Time: 1729650035269 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.103.161.184 (trex/7.0.2); Wed, 23 Oct 2024 02:20:35 +0000 From: Carlos Maniero DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maniero.me; s=hostingermail1; t=1729650033; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=xukz7mvbi01wvpIFzDI1CwDznVGfPd3CW/uxXg0p2Qc=; b=vn2efYw0/EIuLxca/jJWo60pr8ldBFScnY/VK0pDN8E+cOUPscb0jqpZJntsUyl3Azc6zT v9MCLd6n8yMF9dhWW3c7E9kG04GImNYak/tqQP9MJyDVklTlwvFDUhHvZ4bhEU3+/pA3Jt la9OHC7EOED3tvnOAT5lYzZswd9Fjip951sMq9Is2PHwucIRVRrteKDZuomn/8vgF2lSye wSs2p26GfQXv8qz+Ts8339WTxuCNcOLAT+dNP0vik/r14osP/HrPSI0Wq+0b3rW7p4Z0Kc 9kX84MyFPn/GKuqQa2uBNtonLQPZiGVDJqN0TmMBTOpxN34ERY/+RQGuZQtpxQ== To: ~johnnyrichard/olang-devel@lists.sr.ht Cc: Carlos Maniero Subject: [PATCH olang v1 1/5] type_checker: rename checker to type_checker Message-ID: <20241023022022.38379-2-carlos@maniero.me> X-Mailer: git-send-email 2.46.1 In-Reply-To: <20241023022022.38379-1-carlos@maniero.me> References: <20241023022022.38379-1-carlos@maniero.me> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Date: Wed, 23 Oct 2024 02:20:32 +0000 (UTC) X-CM-Analysis: v=2.4 cv=VemlP0p9 c=1 sm=1 tr=0 ts=67185d71 a=WwxFCuf3mf1fs3oSi6/dng==:117 a=WwxFCuf3mf1fs3oSi6/dng==:17 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=mDV3o1hIAAAA:8 a=9KisMK1rK_g-DIe0jzoA:9 a=FkCZZD8GzSt-lrsu6tJP:22 a=BXDaF_L80NY05PYiAFlV:22 X-CM-Envelope: MS4xfKLWBHNVNUKPG1B/52XG9ZWYeLw2APwbs/BVfSXI3IGfDGIsLUk98hUPTgc9mAmEwjw9YtlVzZb39G+k2SUdi9gP7xcW46VwwU+7WK/q8oQME8Flx6mE CMl1nUYlTWZ95x8xbuzXMfomXejrvrk6WvOgip5TutJYOHOHrnWPR6lh25goeHpbQtZfTiBFLQuZim5qoFVth05BkUY7PWIjTbPPuCDx3aIiuJXe6IWSZpMU X-AuthUser: carlos@maniero.me X-Sourcehut-Patchset-Status: UNKNOWN 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.81 X-Spam-Score: -4.81 X-Migadu-Queue-Id: B28255239E X-Migadu-Scanner: mx13.migadu.com X-TUID: aPqn40a7I7jG To void adding all the semantics concerns into a single module, we are renaming the checker file to type_checker. Other checkers will be introduced as needed. Signed-off-by: Carlos Maniero --- src/main.c | 2 +- src/{checker.c => type_checker.c} | 2 +- src/{checker.h => type_checker.h} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename src/{checker.c => type_checker.c} (99%) rename src/{checker.h => type_checker.h} (100%) diff --git a/src/main.c b/src/main.c index 685d8ce..c99ccfc 100644 --- a/src/main.c +++ b/src/main.c @@ -22,7 +22,6 @@ #include #include "arena.h" -#include "checker.h" #include "cli.h" #include "codegen_aarch64.h" #include "codegen_x86_64.h" @@ -30,6 +29,7 @@ #include "parser.h" #include "pretty_print_ast.h" #include "string_view.h" +#include "type_checker.h" // TODO: find a better solution to define the arena capacity #define ARENA_CAPACITY (1024 * 1024) diff --git a/src/checker.c b/src/type_checker.c similarity index 99% rename from src/checker.c rename to src/type_checker.c index 02341cc..b426349 100644 --- a/src/checker.c +++ b/src/type_checker.c @@ -14,7 +14,7 @@ * You should have received a copy of the GNU General Public License * along with this program. If not, see . */ -#include "checker.h" +#include "type_checker.h" #include "scope.h" #include #include diff --git a/src/checker.h b/src/type_checker.h similarity index 100% rename from src/checker.h rename to src/type_checker.h -- 2.46.1