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 YN12Bcx0E2anPAAAe85BDQ:P1 (envelope-from ) for ; Mon, 08 Apr 2024 06:38:36 +0200 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 YN12Bcx0E2anPAAAe85BDQ (envelope-from ) for ; Mon, 08 Apr 2024 06:38:36 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=lEwRQTwo; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=r0KYioYR; dmarc=pass (policy=none) header.from=maniero.me; 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") ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1712551115; 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=tP/h0l5L19Vxi9yNG9NzLb0XpsRc4OcTozN1FOTdspM=; b=4VyOtD4a2WHpadkujPa7NNFAGsgrRXMl6tmbjH/CSYAblP3AZERi06dPv6blFMg8vqhsbU NMocDIUWrashYSnxiSGVhsWV8rgHh7Sz3KgJHk5JEuKuX+DbfV5L+pCLfxtEDOlozeWkyg HT1DWMSQ1jM1sC0/gk8Y25d7Xbr4CL0ihcZWXULtRrTh0Ca6cKe85ePSgstmKn+1B/tni2 zUZz0ByTbbfkupPJm6W1JPV9+ZdfXdTKtxH5tonj2MFl2LnUT39DJHLai9Sq5L6m6Phbca s4bJ6N8shDSwcTq8e5sDQEo15XkBMshSJIVHwKXsbmR/fYDmen/sdYBYv8hv4Q== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=lEwRQTwo; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=r0KYioYR; dmarc=pass (policy=none) header.from=maniero.me; 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") ARC-Seal: i=2; s=key1; d=johnnyrichard.com; t=1712551115; a=rsa-sha256; cv=pass; b=hbLTKol+H0e6D65kRp8wb64jet1OOlzSDtVAg9RIuh0qyVEFgLlqkpTX3rvnAmDSFCco7W 5YeTL9+ltmwGIVbMuKlZTiqFbi4HbYPu54CTSaEuuGh7kL6hFR4Kgz7YoGftMZ3h3fLJSA bs5q4BSmzg2sg05EIU7uRK0x1FYXJkz6ZBvAy7jEpYYWi1C8NvDpD3kOQaF0E+fFfJhyRh iRddR5ON/rBrBv4hO18S3d3UFVWc+oyLdi3nyCHqgEMlBSOjYVE4DUVCqkYf+7NZHZsfsA fv+l//nTVWDwbE+XuIBdczHGly/uon0Oe9vCYBB2Z6gecA1EjoGbizUvLg1MZA== 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 DE0E460D4D for ; Mon, 08 Apr 2024 06:38:35 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=FKqEZLZYK7wODTFJjRABdncmkHOR9QYgCtVy7Wjn8cc=; c=simple/simple; d=lists.sr.ht; h=From:To:Cc:Subject:Date:In-Reply-To:References:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1712551115; v=1; b=lEwRQTwoh3MN2/iEHul5spZdar6WL729nXqiaPgRZA1WIQbLF29N3wxgSt2BWtNRozT0ySlW y/Sl+8vO1OO4zhfwrWqX9e7pZPFAsNJjDDofYY3tZIBt1A1grEHnBGY9d2EYQzv73RAhFv8C6A+ /5fAlSAL8RT8knDxisdUd4oVqrY/KAYBkEP3bQvOpprO+gFxGaecLIWIXkDefkIQbEnRqdMeJBS 2So7sfOQjA7cTFS+fJfu3J0U+0Kxr99zNdyQfqNZ+ze56x0/ndgSL5T0l5N0YujHjiV0tE11c1p Tp/lGz3sopZiof2RKKw7TXnl+An7XeKbThEZ4ID4VFBUQ== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 1A0AA20195 for ; Mon, 8 Apr 2024 04:38:35 +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 2B3262017E for <~johnnyrichard/olang-devel@lists.sr.ht>; Mon, 8 Apr 2024 04:38:34 +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 C6E1D9418B1 for <~johnnyrichard/olang-devel@lists.sr.ht>; Mon, 8 Apr 2024 04:38:32 +0000 (UTC) Received: from fr-int-smtpout1.hostinger.io (unknown [127.0.0.6]) (Authenticated sender: hostingeremail) by relay.mailchannels.net (Postfix) with ESMTPA id 2D5FF942587 for <~johnnyrichard/olang-devel@lists.sr.ht>; Mon, 8 Apr 2024 04:38:32 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1712551112; a=rsa-sha256; cv=none; b=S3FOPUyDbwbnxjiVbBK32ObqyZxq/xzy7rSvVUznN3AAkIPafFx2WxcT45CKmtgwWeAZ5B V2HmFlvtOPamWGV0T+wx+WXtMqpKX/2K4STRfznBsoZ564XAX/wLG1a2OKSbfMBdjcL21t uGRrdZSYiWzbIcUaHD0WQaSgOeRCOIm4pNOz8TH4fj+qJrhHn0SHLXCvHG9zlKg2L1EXxV uPPP3jb+eJgqsX+DG5wfE4kwN6aJiH95PvhDm/+lvAlm4R1M1sHetAqpieowSW1RPjGLX6 Bdrl4AMU4z0kk9ZnYKDPulHuXhTQQXA2bkz6CtuTTNFc5XEI/cCjC1KEyrimmA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1712551112; 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=tP/h0l5L19Vxi9yNG9NzLb0XpsRc4OcTozN1FOTdspM=; b=udEf6fktJhZDCid3JShkyAp1xFu8bBu/zok6VCsLauyg0+DBfRDmUxEknhcVKFvnK82S0n Lg4D0mfyZJitMjZySnGuottdlwcFqWPABKP4APMTz5+aTtBWUkKsWYlLs0St4/BoeW3G6S Kf/JnB2AeVCpTcQbvIl7EpRt0auPIAHkOQh8xUYTpnLRmxexBI14Q0g94S9GQh+L+Eto9c 5KDL7Xj/RJb1HAFERHMPERHimafEiJWtwf/HSeE5zpMtGpn+wQusMcZSP+w+DvH5yVPuwl 3ZgareYPpAILRRjz2DNPrm3OtafaPpjqyREID2WANgqQDZ02IbetJwmEshFilQ== ARC-Authentication-Results: i=1; rspamd-86f86f958-fgcqd; 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-Reign-Attack: 1cd77658518c753b_1712551112695_2895513675 X-MC-Loop-Signature: 1712551112695:489615004 X-MC-Ingress-Time: 1712551112695 Received: from fr-int-smtpout1.hostinger.io (fr-int-smtpout1.hostinger.io [89.116.146.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.102.225.137 (trex/6.9.2); Mon, 08 Apr 2024 04:38:32 +0000 From: Carlos Maniero DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maniero.me; s=hostingermail1; t=1712551110; 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=tP/h0l5L19Vxi9yNG9NzLb0XpsRc4OcTozN1FOTdspM=; b=r0KYioYRjvTQlUUKot+p5RuK3Kx/BVSJz1h0mlkwMiAwCkpK71hctv9XHfc59M4j2Y51Pw w7zbAgnYU+wzuP7NUS2SYBXTls3S/pCaWE6kSLqwhEkF8xXzHrfx8J4fyVAsV+cEf3BPAx 6HiWCz97DK77ONPd4wsrvikGC3MA/+Y1Lxaoo7ZI3i2/lX0QiB9lhleGOqZZTwiDkM0T3Z em2iThbXL0YofR71MCtIrrqL9cpV3Q/bOfDo5c8RdOe8VxZIVLYkVLSLe/KUEvnueRpovi ILR+fQ+v6dKOmxRp8tEwQZSvwQOhXiyVKqNDv8zH8bErooJSiOLwLP49J9n5zQ== To: ~johnnyrichard/olang-devel@lists.sr.ht Cc: Carlos Maniero Subject: [PATCH olang v2 1/2] docs: spec: rename program to translation-unit Date: Mon, 8 Apr 2024 01:38:15 -0300 Message-Id: <20240408043816.3781049-2-carlos@maniero.me> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20240408043816.3781049-1-carlos@maniero.me> References: <20240408043816.3781049-1-carlos@maniero.me> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-CM-Analysis: v=2.4 cv=ZKfRm27b c=1 sm=1 tr=0 ts=661374c6 a=WwxFCuf3mf1fs3oSi6/dng==:117 a=WwxFCuf3mf1fs3oSi6/dng==:17 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=orshSR74Rj_Af9Qem40A:9 a=BXDaF_L80NY05PYiAFlV:22 X-CM-Envelope: MS4xfCvuBDVOoA+f8lsDCHnnSMY62oK5L970SeTaDZ2OMqW6AXAuWmmJMNBH0S5fY6RLWAC/zruuAhJ5ixSVF8KhmuwJN7C4sJAhaznAo+/3zyfBeXxY0VSK tEKRN6riHSV8wlfKFe04uVPS/QzVKtfKZJ/UqoWBtkwl661BQj+JKDljMIqmuYl001Mg+gxVduVxZbXb65y5eV5O07hjfJTVMz74HBVvR3RnILNSnW7FUoa8 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: -10.09 X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: -10.09 X-Migadu-Queue-Id: DE0E460D4D X-TUID: vdK0qAs/9LIE Signed-off-by: Carlos Maniero --- docs/pages/language-specification.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/pages/language-specification.md b/docs/pages/language-specification.md index 5769d95..544741a 100644 --- a/docs/pages/language-specification.md +++ b/docs/pages/language-specification.md @@ -22,8 +22,7 @@ language. ``` (* Entry Point *) - ::= - + ::= (* Functions *) ::= 'fn' ':' -- 2.34.1