From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id OFGmNM50E2YSJQAAe85BDQ:P1 (envelope-from ) for ; Mon, 08 Apr 2024 06:38:39 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id OFGmNM50E2YSJQAAe85BDQ (envelope-from ) for ; Mon, 08 Apr 2024 06:38: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=IjlElu4Z; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=k+60K3GM; arc=pass ("mailchannels.net:s=arc-2022:i=1"); 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-Seal: i=2; s=key1; d=johnnyrichard.com; t=1712551118; a=rsa-sha256; cv=pass; b=NqJYlD1iHVE2AcCMZXdTvAGdysEvK2IYOFNexmk+e3O+C6/fSf47qeHduepi+xN41VkW7b aQUVEPyO3BFHEMMYlgf+nQPXpqCaPFN+mLGdqw6qya8RKLIRWDerH+iAYn9XNT/4AAQ1Xy BtQUWrHCKXtfJQoJgILeeeoEKchy16Az2iPl74v5yGWxHLApYbMb70g8Msifmwjjix+NBd 49UTMUBYfgbKLaETqOkSbfLRWgHsf5x3Yz3qOUDNd6KTSnBZ46w7SzeyBTxwsvAE79NOSL 08UWppsgDuvdHomAn3dgEm4R9KS5tG0dlRobPWVJLLUYZBJSZ8DSY6hXTHivtg== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=IjlElu4Z; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=k+60K3GM; arc=pass ("mailchannels.net:s=arc-2022:i=1"); 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-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1712551118; 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=eo4HoqoR8k+jqVu6TTHdty9dyqmB0jtm5BBV9yFbm28=; b=JeJDoM3Pmyz2Lxwn+SzbBM0+PIUu6S+4U02XSMCX9axGqGZKDE/8y39AyVaR+O2e42lUBn aNVq9bp3BiTD1uCafoGobQRd9qF4bBmALfP8V9gTSR3e1u9WdAatENDojVTkk9lSBqy+dv imkn2dVWtEBQrJsQ5LtJPIcpCOoaMldkoWSm93BsA962A140tNl1WPGQtiWg0/vEiquFpL vL+GEe5kmDIbVrhnGj8bcWRB4viZjJVgrF729C8v4W1jwA5RFJZ3/t9oTKpKSGV+Im2lFe 8+6qK4J/ZrHUronxrWciCSDvc2YSoxI0toh/veO6LNO37sLZOehew5V018tuSA== 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 9AF4A22FF7 for ; Mon, 8 Apr 2024 06:38:38 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=ZYKzzYYjEl0a1MF4Zbh8+UZM292DPLa9N0zvOnnrs4o=; 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=1712551118; v=1; b=IjlElu4ZA7TNWa3RdSQXsoOy5CtYn03aJfMbEz/xHtrIPosbm4bRp60Y0wb2beJ096y/ny9V ibZmW5oMmxaQmX97BGOI9/VCDD6ZdiZCcUQtq48tpt3NvFwtFouXbdDqK1hqayh8KWeDWsauEpo pcAF5fPeKYyz3TNNpZ0t9qVMTICs++UdnQkishA4rOkBLCoksExoecNghFDxT4KV0M6gZk/X8AX T3ScJOcKHeb91pdNjRU5KPU2gEUlUF9pBb9COLcULfG4pfUt0qhwWwtkanpduo339rkdJEt5Ha5 yrh+n1zDlaUHBXPwfq0If6aBJkFY97LmcSjl1OqKChHtQ== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 152432018F for ; Mon, 8 Apr 2024 04:38:38 +0000 (UTC) Received: from dog.birch.relay.mailchannels.net (dog.birch.relay.mailchannels.net [23.83.209.48]) by mail-a.sr.ht (Postfix) with ESMTPS id 195D320191 for <~johnnyrichard/olang-devel@lists.sr.ht>; Mon, 8 Apr 2024 04:38: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 A5F716C14BF for <~johnnyrichard/olang-devel@lists.sr.ht>; Mon, 8 Apr 2024 04:38:35 +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 05E956C25E6 for <~johnnyrichard/olang-devel@lists.sr.ht>; Mon, 8 Apr 2024 04:38:34 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1712551115; a=rsa-sha256; cv=none; b=RSWabdGOaOZb/2GCa7nz+oNGq6AdPl7rf3hqWPdQtByWpUHQ+dcmx/FoX2/gdD9ifCwBAB S5i8ehZkiNkhh61NqItvUP1Hl9ucnnHoPhM4UNtpGS0V9FtnLb6ceoHUMBk7/EruplcGnY yWwlBOLktgs5cTHVeKjnbgXo/neshm8bL+DFqUjhoZVNjqSaupDoabWhJcoOkeJTDF9P1v lbfNJyZgqrcCtz9LQhoFug8lx9cUrq5UnEt5L1FDUiF4xp4uMootNkxsjR8lUDJ+GkPhYG ZJnnxVWJyQwbJnf18M7sCX2ljSf1DPeG4RLtRKTdTKwwEjjxG6hjxMhUxRZnfA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1712551115; 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=eo4HoqoR8k+jqVu6TTHdty9dyqmB0jtm5BBV9yFbm28=; b=bm0ZnqtFPhec7kZV5Y5lj0M7Uckrar1WuVU3+lT/KQY+sBEaYVH4GPOjocWk4W3sScLhXX zOG0TLpcBEh9hpA2nQ5bD+2kekC5qYq356DFvv5LKZPNNsKMEgclGIeB2CTUZpscb2e5Vf KHZet2Fft0YcaZhEuHdKINEIY2YupAXCdSiPdbhPnmvmvHjxV2azEWKjD+k5PpesVJgtRa OvgXwDplEk5tl9qOwPe1yBnY2zSuI2XNDSj3ZZtcAFa9PT/OFdbZlLjWRH57RJLFTgmEZb SI67b/tXfpfhR77Qo4Zvh335e1zeb1EBkpkJWGflCz4IcMhYoza5AmJN9ualhQ== ARC-Authentication-Results: i=1; rspamd-86f86f958-86wv9; 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-Whistle-Stretch: 2c8d067e60c00ec2_1712551115550_3817327649 X-MC-Loop-Signature: 1712551115550:2530829253 X-MC-Ingress-Time: 1712551115550 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.121.196.206 (trex/6.9.2); Mon, 08 Apr 2024 04:38:35 +0000 From: Carlos Maniero DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maniero.me; s=hostingermail1; t=1712551113; 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=eo4HoqoR8k+jqVu6TTHdty9dyqmB0jtm5BBV9yFbm28=; b=k+60K3GMiZ3IJmXRPYkLoYywebDm/Zlx482ebXO6BsNlAj7uIHJvm+03lqPn2PSngGZTer WCs25a6L8IBmXhON8WrsHCiml16gAeFabSo/vZ3m/8M1f9WfH/B0k43bDSmsZV9125d6Ps AV6e5rNV/HYVWbNt78lxbm3qZoUrpa600cgJK0fntwEdxogjzCif17VVfRX5CAA2V+lFxz HKPEecUnVwq9/o/7o7Hy9tXjkiPP9DIxbhDKgim/8xtvfRsv2yIBq+Zr3BJp15aH8xkTRy 9MpYgvtfL2imksMM0N02upRxuAX7rnfLRKZam14h/kuQMyraVRPmbTWNCS9Llw== To: ~johnnyrichard/olang-devel@lists.sr.ht Cc: Carlos Maniero Subject: [PATCH olang v2 2/2] docs: spec: add variables and constants specification Date: Mon, 8 Apr 2024 01:38:16 -0300 Message-Id: <20240408043816.3781049-3-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=661374c9 a=WwxFCuf3mf1fs3oSi6/dng==:117 a=WwxFCuf3mf1fs3oSi6/dng==:17 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=N_gfvN5b9Wql6b5A6DYA:9 a=BXDaF_L80NY05PYiAFlV:22 X-CM-Envelope: MS4xfDRD6LCtw6EsWyeXuF9UYbTb4jSBwqmTT2VERuS14iCgCznfHU6J5C73SfOenjhfHkti/grUJYCAqJdtXLLTShuKqV2jFvZuwxLez6zQaJPh0XaL9ZZs 5xGp2yUeMSs/wcH8ST14q21EfLdNB/aaG73llE430CbKqCkkqdmcNAdr+RuH8mcaEAPbQbbAfBUjGqERQzuRCX8d3JdRfSUBJ74W15dAE/4/9QC95mlJhEy6 X-AuthUser: carlos@maniero.me X-Sourcehut-Patchset-Status: PROPOSED 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-Spam-Score: -10.11 X-Migadu-Queue-Id: 9AF4A22FF7 X-Migadu-Spam-Score: -10.11 X-Migadu-Scanner: mx10.migadu.com X-TUID: YVBIrAyar5jx This commit introduces the specification for variables and constants. A valid program under this specification is as follows: var x: u32 = 1 const y: u32 = 2 fn main(): u32 { var x: u32 = 1; const y: u32 = 2 return x } Signed-off-by: Carlos Maniero --- docs/pages/language-specification.md | 33 ++++++++++++++++++++++------ 1 file changed, 26 insertions(+), 7 deletions(-) diff --git a/docs/pages/language-specification.md b/docs/pages/language-specification.md index 544741a..4d0eb36 100644 --- a/docs/pages/language-specification.md +++ b/docs/pages/language-specification.md @@ -22,24 +22,43 @@ language. ``` (* Entry Point *) - ::= + ::= ( ( | ))* + + ::= | + +(* Variables *) + ::= ':' ( )? + ::= 'var' + | 'const' + ::= + (* Functions *) - ::= 'fn' - ':' + ::= 'fn' ':' ::= ::= '(' ')' ::= ::= (* Statements *) - ::= '{' ( - )* ? '}' + ::= '{' ( )* ? '}' ::= ';' | - ::= + ::= | | ::= 'return' (* Expressions *) - ::= + ::= | + ::= + ::= '=' + | '*=' + | '/=' + | '%=' + | '+=' + | '-=' + | '<<=' + | '>>=' + | '&=' + | '^=' + | '|=' (* Identifiers *) ::= 'u32' -- 2.34.1