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 ms5.migadu.com with LMTPS id wJQWIQLdHmahDwAAe85BDQ:P1 (envelope-from ) for ; Tue, 16 Apr 2024 22:18:10 +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 wJQWIQLdHmahDwAAe85BDQ (envelope-from ) for ; Tue, 16 Apr 2024 22:18:10 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=Yk6Em8vl; dkim=pass header.d=disroot.org header.s=mail header.b=cbqQtQ89; 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=reject) header.from=disroot.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1713298690; 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=65KecphyyIT89IXQT24j/GeN7kg8dJNdbZbB6LAj0C4=; b=EOhTRRcNp/iVY3jrGEgSNe1x8dEQKPhYM8hs8+yw1q2OJk2MEN/DuL49BQK0bzrXu/Om32 k9CWYmlPvAqTP04Uv/HeqDJd5zOl9ErEVRAtLLCX/d/QhuLRsFSuijqYyoke7xQVBc/DhD u64IoXOVL1BKTZd7HMbL3huXQKMem/1cqG4WGoRmLhbpBGPWYdT/kLSaNmvS6xEXDFfIWH s+TTeG7Zqo6oKHif0r/VJNzXHALHeJlKR8Kvop+NBF/pzGX6D2rjfZOoMI/4r0J3JemZod YZtUcbCV3D/HFNOL94/FKLoc6lkLKN8RpCF6nqrMBOV/fLyp8KoQmLg6IoBLGg== ARC-Seal: i=1; s=key1; d=johnnyrichard.com; t=1713298690; a=rsa-sha256; cv=none; b=x98+XJ/hnptUwR9gxMdyvwAQ11dzZoZ925mMCJ61aL7atZCArrI3SBA6fEx6seZ4NO84Oc Aw4KvMbq50Ht2RvrZu6mAMrzAey5Ntm14VMWGGGwnosFP0/LK6UKoyqWpbCyrBAANFoC4Y bG7cjMcZQHtk2c3y5u2q27+RCu7ouWpXdPCoVJUr6s/Wt+h+5SAMcFak272sO9NdOjI0LY uIyA6ghzgakOS/y+sUZeirEQ4DH2/OLKQ2GBWSZz05Go0AOZkGnxe8uJQ8ifPfcRzXi7Jr S9PvJegf+EOEceT8LnQ6qd1kgdiOCjBLLo+POL33ff8k1d+gOP+/dem5Jdyw3w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=Yk6Em8vl; dkim=pass header.d=disroot.org header.s=mail header.b=cbqQtQ89; 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=reject) header.from=disroot.org 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 54E3D178EF for ; Tue, 16 Apr 2024 22:18:07 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=suiI0270ZXbpA5E/d/jF5dmDut/s1CExogX2TJAXTAY=; 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=1713298686; v=1; b=Yk6Em8vlTR1qwRCdbxp6br0LFlNcYOghhna+KFwqhhOg/Sy22XhyIxTYknGjQoTB/rJZzDCX HSUhlAy/l8xYsGgh3r5uUBuRm5V0WDjyhXFr0oIeQ/r4NUPKgfKNurcSLm/cLeYZYZNSnldB8hl u3j3hbwLWq5Kz3L9Bsb2JrtSQ8p2rv/SfUEGCEDvhFRGxhIpHPNvp4orvN9zQrrGYmDqtlb2sMt u94wAUMu90jEjQh7grvJUQVkpr/cEheuYAhAeGCi1/gRLaCbWHWF5C6MtGI2wOaoEsoHQ7dx2fO ALmmKoUycM6BOWwAWeErJebvwQpTAbsiHGA39tTVzJ3nw== Received: from lists.sr.ht (unknown [IPv6:2a03:6000:1813:1337::154]) by mail-a.sr.ht (Postfix) with ESMTPSA id A4CD620179 for ; Tue, 16 Apr 2024 20:18:06 +0000 (UTC) Received: from layka.disroot.org (layka.disroot.org [178.21.23.139]) by mail-a.sr.ht (Postfix) with ESMTPS id 0748B2015E for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 16 Apr 2024 20:18:06 +0000 (UTC) X-Virus-Scanned: SPAM Filter at disroot.org From: ricardo_kagawa@disroot.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1713298684; bh=suiI0270ZXbpA5E/d/jF5dmDut/s1CExogX2TJAXTAY=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=cbqQtQ89kztHyslh/2WjEPri/4R39zntvrW1KYeHTdQ9ERV7RyxEkXXFF+D7etlOV uj0RdJTc35L+Zi3HOzk3kOw0MNQoM40wwmOTgMs6pJXqCphdTmPpLmmLyi1eEV9llo /8OxljvKIZ2GJEox/yygwaKOA6f/7HS6f/Up94z1XMu5ncRj15KsYv7+URZKqJPtfe rJ/RrG13yang04mTRYMeEgSCnp5vCS48A1zQbbqEJT3at97yXHaKI4ZLtVm25jUggX xRwijRz2+DgvMD2ny9mYXUuuM5xOFEwjMkRssM2FetsAtlWhedO+PKn+Hs/fGzPA2U nRkC7uloWrzqA== To: ~johnnyrichard/olang-devel@lists.sr.ht Cc: Ricardo Kagawa Subject: [PATCH 2/4] docs: spec: immediate constant initialization Date: Tue, 16 Apr 2024 17:17:11 -0300 Message-ID: <20240416201713.24723-3-ricardo_kagawa@disroot.org> In-Reply-To: <20240416201713.24723-1-ricardo_kagawa@disroot.org> References: <20240416201713.24723-1-ricardo_kagawa@disroot.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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-Spam-Score: -9.11 X-Spam-Score: -9.11 X-Migadu-Queue-Id: 54E3D178EF X-Migadu-Scanner: mx13.migadu.com X-TUID: NvFoHJ1z+y9y From: Ricardo Kagawa This commit prevents declarations of uninitialized constants, as well as prevents the use of assignment operators in variable and constant declarations. This change was originally suggested by Maniero, with different non-terminal names. Signed-off-by: Ricardo Kagawa --- docs/pages/language-specification.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/pages/language-specification.md b/docs/pages/language-specification.md index 9f4383d..8d8544a 100644 --- a/docs/pages/language-specification.md +++ b/docs/pages/language-specification.md @@ -28,10 +28,10 @@ language. ::= | (* Variables *) - ::= ':' ( )? - ::= 'var' - | 'const' - ::= + ::= 'var' ':' ? + ::= 'const' ':' + ::= + ::= '=' (* Functions *) ::= 'fn' ':' -- 2.44.0