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 6F9nD9KQA2YoHgAAe85BDQ:P1 (envelope-from ) for ; Wed, 27 Mar 2024 04:21:54 +0100 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 6F9nD9KQA2YoHgAAe85BDQ (envelope-from ) for ; Wed, 27 Mar 2024 04:21:54 +0100 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b="fDsLYgV/"; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=R1fne5mY; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=none) header.from=maniero.me; 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=1711509714; 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=5vEziy4kYplBb3Pe25pS60l4981HfHtDoGICZZ4NnK4=; b=rQeVLG4BKTyxq1VsoHjlWO5hBEc9PxlOE4+M3dwPeDAXUDlUCOzV12SukJcrzQJ4LfLj9e sV1QYlo1O0cquwJg/kQZHyBsi12/CYfabpOqt/AgXuusf+t4Ct4/5VyXxnfuNiKXYLsiUe tx0q1hMzKLKBy41Lv/oslja+3jYFJgRNYcn9iJPXbMGaCTAv/utuClJbNQcCHJGqyPGf+i GlJ5buyVt/SxH0QCk09dSCWyT05dK5XapEnyOaizebdrBq8CEqXLQWI9GxsjLrgCS1pvoR p9J/7ADG01oA8s60v1lrDT2LHPW3hH6pXg9FhzMoPvqOKwkt9Sr9NLzFgDZRFQ== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b="fDsLYgV/"; dkim=pass header.d=maniero.me header.s=hostingermail1 header.b=R1fne5mY; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=none) header.from=maniero.me; arc=pass ("mailchannels.net:s=arc-2022:i=1") ARC-Seal: i=2; s=key1; d=johnnyrichard.com; t=1711509714; a=rsa-sha256; cv=pass; b=uuh/DqE91qBDp3F8S+KlL+oh8fsydi0/U+TMQz5hq+gK1li4rGYJSxAGOlcU/26C0h1zJs b3L2Icm75U/9V8DME31dhhJP5Jw0lpbHqoQQkG2vNoCE/y/If9d9UbkeCsLqs4tynq8sAz IwO8TL2rIwPImg2poKouTaB48KSGpTa/aQoHcLcMmZH/1gcixFyZ0weuPpQ+YcmuOqHG0I nH6A98NU5L/SqKav75K+pDpbYlIodPZ7Lhcj5T1YUPUrdfTLylSeEn67D+euo+MOgECt/g a7CKFIgRy2d4siXZGB4rvID5KaHrS/REUWtHJL/sTX8kmQ0D4nARx/EdTJ8VAA== 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 1D370E010 for ; Wed, 27 Mar 2024 04:21:51 +0100 (CET) DKIM-Signature: a=rsa-sha256; bh=57PwSuU5FwodEcfgQ0sxCq/VXiBjmnIcJEg/7foKPeU=; 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=1711509710; v=1; b=fDsLYgV/KEeb/n+XX0+xlLgxNSGxzWEXBWh/g0IZAv1TNruMmSrO+31mVBJWUG4gaxwFlr7P oL3rMvVBQ5/RplKIjbhAQULJVHRkg5o0xfr3bLsXLIvsC50FnZW+VEEZCiQUhjXbBU8ml5+SyFW wDBDv65NB4Q3VxFOoWstVT5+EwbCixLVx9LEuDKVQzjg0DYwaNP5v8TaFwJ5+sKc8BIRmI5NEDI ZpYYglfr3zuBzZSElTN8pRarx7x9Y4sYNlQYwy3UJx9e5f0+t7OnyfMjQuq1uhpx8Wz34ukowv0 6ECDHMDewpxHo099wBVWJZ4ub9R+io1CqkczIEev6cnnw== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id DF679201BF for ; Wed, 27 Mar 2024 03:21:50 +0000 (UTC) Received: from crocodile.elm.relay.mailchannels.net (crocodile.elm.relay.mailchannels.net [23.83.212.45]) by mail-a.sr.ht (Postfix) with ESMTPS id B9A812018A for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 27 Mar 2024 03:21:49 +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 1E990817EA for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 27 Mar 2024 03:21:48 +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 48B4282FB1 for <~johnnyrichard/olang-devel@lists.sr.ht>; Wed, 27 Mar 2024 03:21:47 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1711509707; a=rsa-sha256; cv=none; b=HBc14ZZjYHapaLz+Sxw82ZfpUuJe2rkC5nyL0o80K/aGCohol2emNI0hKQZRkvoTJ0wxp/ +WdNDr1DeAqfW4FUTak/LsUQH9giBZaViO9AKeEJBQRDpFtULU+gC2fAR2WQgCB6KyVGNf 8zjwZb6c1/SCoKGD7PI7FjN8x/wXRvwOMWkWfPzkc+IJ/Q/FVdwOC9rvsc360FCRktBR2/ jzmLa9AWgMOjVT9r5QjgrI6KuFlt+Mo0GDqrxRXytBpxmJ13FSzidST2V7FYLVZnG5q1UO rmAEWGGeLYZUeYyAyNJ/tB2LALwVDhMgiI569dx6amkjXulyjlxQPz5HLhwRWQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1711509707; 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=5vEziy4kYplBb3Pe25pS60l4981HfHtDoGICZZ4NnK4=; b=JwZigsv0INpzFhDt5R/1rdlXaemyhDQrq/9DqKKGO82ZVm5lxB+pzMef9PJJwwcLOLmpqK H480JgR1VPHh0h7tA1qen0PPpXq+97daq5dieKIQAk6WbzE4bt2d0TLM0RuDKAA2PEUg7e RKUjuFrvEihVb2Tz2vzrznM9CGLDD6rrP9J4XcKOJICTgdijQOiFRr6TTY0tn3stC4dMH7 fmeo1piue1h6YmVMXDv6QBTdaLMBrSEn7ZpW7ZbP3UayK2hcScNEiyvM+HSilTaVbgV7ae ON5tKUGi5ujjLmpJpv4Ik+8zVI+CyP/B7z2rJMq8cnu5v1d+eheC26/SjfFeeQ== ARC-Authentication-Results: i=1; rspamd-7f6944c677-trhxd; 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-Spill: 525227bc57cfe716_1711509707988_117370468 X-MC-Loop-Signature: 1711509707988:2003887651 X-MC-Ingress-Time: 1711509707988 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.187.43 (trex/6.9.2); Wed, 27 Mar 2024 03:21:47 +0000 From: Carlos Maniero DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maniero.me; s=hostingermail1; t=1711509705; 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=5vEziy4kYplBb3Pe25pS60l4981HfHtDoGICZZ4NnK4=; b=R1fne5mYuqGjuRiXNJAoaPOUsv17wwYjHjTiY2BjIF98FYAx+veGNZXSJlxfcbBlG1KRG8 ufzJjbWR9YbYi8z/Z6z+smfA7tpApW9rQ1ofVI6GiSDUb4gNIUImKJCy6CctYEBldL3+49 BSIEI2rPCpfD+4lViUlG/O0UD/zufh1ur39YqavQp4P3rMv2L9gPcJ0LL688Bs+d11rh96 r4h6aDjcMtitxieKJ4QvXJ+6+/3HcANIM9ywuaW0kM5eU19H3Ahv5tHpmR0687cwwTLeiW Kawp33kgtGVFFQppFTR0iEJq0YnxX9q/NgpLCQSC7UsOnfctJxH7JGkyiXzZCw== To: ~johnnyrichard/olang-devel@lists.sr.ht Cc: Carlos Maniero Subject: [PATCH olang v1 1/2] docs: spec: rename program to translation-unit Date: Wed, 27 Mar 2024 00:21:27 -0300 Message-Id: <20240327032128.406911-2-carlos@maniero.me> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20240327032128.406911-1-carlos@maniero.me> References: <20240327032128.406911-1-carlos@maniero.me> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-CM-Analysis: v=2.4 cv=OPEh3zaB c=1 sm=1 tr=0 ts=660390c9 a=WwxFCuf3mf1fs3oSi6/dng==:117 a=WwxFCuf3mf1fs3oSi6/dng==:17 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=_DYEDskqyc0_Gl9rhnEA:9 a=BXDaF_L80NY05PYiAFlV:22 X-CM-Envelope: MS4xfDVzpuk5g4siMWa9XAghRq/uy3pv1ICIhwYxEao175rCLrShUR+Yi7SlgC1sRyzkwFY5IwPpYAaQ0PbHWCqXgZGjQBjrqmYbb6815PmprCSkS8vpAf1J ndg6CxJhPBtHJE8+PvNfNFEFibQ2wBE91fqZM4wmFV8CdtMRse/FrszhtJuXFxYDsbOxCPr/Sa+n3CVwAUEqk/VZNEXYx53VaLIg/H+yjK0vdiQo4E9tGN0S 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-Country: NL X-Migadu-Flow: FLOW_IN X-Migadu-Queue-Id: 1D370E010 X-Spam-Score: -9.96 X-Migadu-Spam-Score: -9.96 X-Migadu-Scanner: mx10.migadu.com X-TUID: RNWo3dtx5mRu We started to rename the program node in AST to translation-unit. This commit also makes a few refactors on spec such as: - Makes EOF a end-of-statement - create global-statements section to accommodate upcoming global definitions. Signed-off-by: Carlos Maniero --- docs/pages/language-specification.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/pages/language-specification.md b/docs/pages/language-specification.md index 5769d95..4541ba8 100644 --- a/docs/pages/language-specification.md +++ b/docs/pages/language-specification.md @@ -22,7 +22,9 @@ language. ``` (* Entry Point *) - ::= + ::= ( )* + + ::= (* Functions *) ::= 'fn' @@ -35,7 +37,7 @@ language. (* Statements *) ::= '{' ( )* ? '}' - ::= ';' | + ::= ';' | | ::= ::= 'return' -- 2.34.1