From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.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 EBdCLTTm3GaoKQAA62LTzQ:P1 (envelope-from ) for ; Sun, 08 Sep 2024 01:48:04 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id EBdCLTTm3GaoKQAA62LTzQ (envelope-from ) for ; Sun, 08 Sep 2024 01:48:04 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=HdT8sbAJ; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=EEe2meGM; 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=1725752884; 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:list-id: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=lDoffJokBp4Vm4jMOOeI4yrxIqPsD9GBsY3DqPdEeWI=; b=tQMQrywiE8g92Cv1/JdRF2NEZhUYa8uNGAR7v17PtdiWm+EwtxWJM/m35S7vxhkjvx2D4r d1GRwG/YiEL4dbamID6/DBrIJB2mvbnEXkAd5ZmVrAbSUbHwZOqrFCPyI43t+dx8m9ur+d oXc0MxRSBvGsBrUKBGVEHFNsUEfDe8jkaTFpTo8YVL9iQ51Urmq5MdmDJUgquGUnSus45/ lgz8BfWj0wnZmtU2B01g95rqqkvhcmYR6w96KXL1qjxD/eScz1WLVZq+GEDj2+NqwHQL9M MzkFdZk9U3Wdike0X/qLcnda+r+q4hxX2Q8Z0fr+bOpNY76hNjuO3DfN1pg0Pg== ARC-Seal: i=2; s=key1; d=johnnyrichard.com; t=1725752884; a=rsa-sha256; cv=pass; b=cSgVAxteG+kZAlcsYnJv4VvS1HKMdEU20Jm02PXQAqBzlMUY8Gty7FeldEbJ4GfnXJp0Hv ukImxpS3vE7jaU5bYNbrPbfz9m4JkGygfAs+XQhfk/kf0ntBnKLO7UdYaf6hPNY8xkbCDy PbOZppVME7rbU1QkQDHW7XGRadkcf1cwK8QDI3dxsmBnzGcBvDt5bjG1IxESr8uLMj0YRL EloonhDPQcmP4651vxSF8YdE3YNtMv8bt1tk77OR2Ksok4jJG0Gzo2YitTBbzkBD4nk8GP 2K4vfzVgevrRRTCmtxpnYAjAGo3Zsgn2ZTNu0xi6bRk+EPUZGYOO6STVJ+E2IA== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=HdT8sbAJ; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=EEe2meGM; 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 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 F15A676FDF for ; Sun, 08 Sep 2024 01:48:03 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=wI1FV9+ihVWwGKkrmKy/V8aqYxYCSrdtwUDpmfPLj4Y=; c=simple/simple; d=lists.sr.ht; h=From:To:Cc:Subject:Date:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1725752882; v=1; b=HdT8sbAJXuSpBvPdaWM/HXPf1HiBRfifBWjLZ/UcSvlU1XNFo4LbUUTTJlzkcZBDvRQD+8Ff FYc8i8JM+wGZiEg/07APpPwG0VCzGRRbJxBTcklKqMqamQ6l8jeZ0M6sTNEQgizoD+GBHsTqUMI bkCoPeXcoBeQea/FHQtDEU8ZpZVe450PcKyS8GZZHO51a7iSm5ZjbuFXjhmx8mF03cu9/vTOZCW HlJalHms0UlcxmZ8yptjRAQeFXqZsLyycMd/M/6JdzsybXMQF69ZTwswFZ1K+48BsxaZgXH1Z86 OkTNF4YVPuciMnxr9THA5LZQgK0wbUt+AvTX6BYodr11Q== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id B1D942026D for ; Sat, 07 Sep 2024 23:48:02 +0000 (UTC) Received: from zebra.cherry.relay.mailchannels.net (zebra.cherry.relay.mailchannels.net [23.83.223.195]) by mail-a.sr.ht (Postfix) with ESMTPS id 4F71A2024F for <~johnnyrichard/olang-devel@lists.sr.ht>; Sat, 07 Sep 2024 23:48:01 +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 94AA2C761B for <~johnnyrichard/olang-devel@lists.sr.ht>; Sat, 7 Sep 2024 23:47:59 +0000 (UTC) Received: from nl-srv-smtpout1.hostinger.io (unknown [127.0.0.6]) (Authenticated sender: hostingeremail) by relay.mailchannels.net (Postfix) with ESMTPA id D5EDDC64FE for <~johnnyrichard/olang-devel@lists.sr.ht>; Sat, 7 Sep 2024 23:47:58 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1725752879; a=rsa-sha256; cv=none; b=KwYKzzP57FffSAuRgLkVEpv7a12zQYcQ3l67MbRGbeagKrSHEs8flHKmqmX7FUG5yaoyiz IL+P1WNnXJ0wLkQli4Q0iWMZELOSeCAhF9NNZqvwGIhFV0A5Rv4uH03Am9tyt1GhLyJXGv jpdm2/mHPdTH2RNuYyLEFd/NT1ylhSi9qMSfSV+IOAldz+L5d0BsFc3SGk1ob+t68W0Ntt 3ovtkU8EloxcLoU4w1VYB8y0iEH8pQ6y/jKx+kPdX9f+ahBbhKaPnNolgja1YDoXWJxI/z 7tldY3GmXLjdCby/VQ6jIkG0H+Fhi1FNqRY98o6V9CMrVWPrWgiKAOPwzW8J/A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1725752879; 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:dkim-signature; bh=lDoffJokBp4Vm4jMOOeI4yrxIqPsD9GBsY3DqPdEeWI=; b=21HVnyC30VKB9D7962dnvg3k32mWYMILIckFAZQZhdpVZiz166WOjecI24Bewv255jNEVf fLP9koeEwf6tRJAVy1vm927F5DNt6wwA6zWeggE1/Z0IHP8ui3sIxMwKGbf6EWTf/Fdfs1 LdkWMEEyZ3PdTx0hkBisyWayD8niI6Hv+Hcf9HNtGyIwlkMVe3E5tA2jud/M5e5vTrihZl ocBw3QczG5y6BbE+UNL8lK7j5ZqYQLSxSmSm4L9AKtUyrayVcEGI3nAdJTTg3kvNp+BxtJ xvO7VXQqVaTP6/WMdz8PFn9Q4WitDM9ZQFWaZ3qQVQlitF4/ZwgdgN4xe3ihVg== ARC-Authentication-Results: i=1; rspamd-85dcd79db4-j6xgj; 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-Zesty-Descriptive: 70de53fe47e474d2_1725752879344_1344756923 X-MC-Loop-Signature: 1725752879344:2290555247 X-MC-Ingress-Time: 1725752879344 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.113.45.211 (trex/7.0.2); Sat, 07 Sep 2024 23:47:59 +0000 From: Carlos Maniero DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maniero.me; s=hostingermail1; t=1725752877; 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; bh=lDoffJokBp4Vm4jMOOeI4yrxIqPsD9GBsY3DqPdEeWI=; b=EEe2meGMd0z5IbEuQfQn4VqlpdNCrrg2VSSc3kxRx/av3VZTEbgcTHJmQ0FGKpHqp6wc3A gV6YI6a4p9XkpFJO/Ckmp91f/5E4qDV1yEvm6oCTiYPHDw6aMUmNHx42iBxsvkH/m6UxMt qBdpPSGEZhxAL38DPvqd9Iu9p0fg1EU+FgnBN06rpgXhi7u2ZrPmyAOS6YHO/8FBlP2ioz MckO2TgsFu96E40qjvqth0HyPWYc6KxembQpLBTOPUnXTOjrIh5vFFxZchGnxLoiJxhbUB b+IPSM9tLNR6cmYztMvq09dgTQNfjO38QE2nDxrmG6LS/snrVZzveJbYFI70pA== To: ~johnnyrichard/olang-devel@lists.sr.ht Cc: Carlos Maniero Subject: [PATCH olang] docs: spec: add the if statement to the spec page Date: Sat, 7 Sep 2024 20:47:31 -0300 Message-Id: <20240907234730.149190-1-carlos@maniero.me> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-CM-Analysis: v=2.4 cv=YNXNygGx c=1 sm=1 tr=0 ts=66dce62c a=WwxFCuf3mf1fs3oSi6/dng==:117 a=WwxFCuf3mf1fs3oSi6/dng==:17 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=0TA4xS2WhrHgBZglv_cA:9 a=BXDaF_L80NY05PYiAFlV:22 X-CM-Envelope: MS4xfK/LDkDXtBqcMiYaasNPsGqOEzzFyymcV2s8LN6paS4jRceQidPc582zpfo0TXH+JJS4gc/rnI4bq5+cefzcHXz1RvTgfEEb1tuHSdKp5ov5QLrY2Ngn kSVZnO/eWKBo3MkN82BJeocz0mctLpikt4EkUVQ0CL+oE130gZXuJGZ090V2kNZ72HmkYuknXmMz7dz3gZddfgOivVTeSyByjhZw8mmxvEgeajNo/+l1SMQx 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-Migadu-Spam-Score: -2.75 X-Spam-Score: -2.75 X-Migadu-Queue-Id: F15A676FDF X-Migadu-Scanner: mx11.migadu.com X-TUID: ykMuifbFW47I Signed-off-by: Carlos Maniero --- docs/pages/language-specification.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/pages/language-specification.md b/docs/pages/language-specification.md index 747bb53..1a70810 100644 --- a/docs/pages/language-specification.md +++ b/docs/pages/language-specification.md @@ -40,7 +40,8 @@ language. ::= ::= ::= '{' ( )* ? '}' - ::= | + ::= | | + ::= 'if' ::= 'return' (* Statements *) base-commit: ecee8ee59fb166ba751c35723abae47d94640906 -- 2.34.1