From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.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 2GdDLOfcHmYwvgAAqHPOHw:P1 (envelope-from ) for ; Tue, 16 Apr 2024 22:17:43 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id 2GdDLOfcHmYwvgAAqHPOHw (envelope-from ) for ; Tue, 16 Apr 2024 22:17:43 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=EuVjX1uY; dkim=pass header.d=disroot.org header.s=mail header.b=L7wi7K6j; dmarc=pass (policy=reject) header.from=disroot.org; 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=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1713298663; 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=4ONrgnEtQqV5cnz/pk5TzCKE10fKXRxRTnMFcPNA7VQ=; b=abVbw8lJLsvZLKJqmPNCOqx+lYjKhPluUZmOz/TX3cMT0f7djjUZkMDfaWCIrB4SYtz+wS 7lJ0VGkFi9uCU6WPorrB0862z1+vJ5jW8XeSV8mw4xjhy1Wn1N/SaWYku4SibZIntw3Mcu feUP0CaU2Lm0m0e/3IzMdcV71jjkWj34q7YXhJucYB0eDtHV/lS3QlpEK9enhg+ms4yfwI F2tJCeRtgmJm+a22WLEXHP+lo4pgbkboy7opqI46r9F/bX6F3MNQ/dIY6Od8q6uZiF3YoQ YfsxnQ1U3Q2JB+1NDqZd4403hPWO/Fii69rX8W7rMKkNZB3JXAeBifdqgjOlgg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=EuVjX1uY; dkim=pass header.d=disroot.org header.s=mail header.b=L7wi7K6j; dmarc=pass (policy=reject) header.from=disroot.org; 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=1; s=key1; d=johnnyrichard.com; t=1713298663; a=rsa-sha256; cv=none; b=JvrZO9Togjr7mWzTugYgLfvOv7cTgz0GFug8XK0ZFXVhnPc25l7DQ16Gs2YaGs8zpMtBi2 ryb7UuEr+fIpNsyMi/fNXHVwIrbhkXruNBCRZwIOo/lzBPohXCX67TkT85hHdDAyGJlfwu fyizAtuhIyggPJzCAg0Y5dgg8MdqBSHr6BTO3eGi+/XPEJuzVLU1y0H8SqRjPZGOC81mKB dywcqFQwPXm50ee9GolVgn9zHvcLH56R50OPIjOzFJ2w7i1PmUlDr7M6xUnJATkzLK4ZPf SNw5Sae6Y89IBgO1VJjRFkONibQXYgCAJNUavC0oSf9trTreC7ggNuj9Bi8HpA== 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 EE688B9EB for ; Tue, 16 Apr 2024 22:17:42 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=5wUVhepvugMQEnISEG//egMZHlf9q3six8yzeyh4mqY=; 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=1713298662; v=1; b=EuVjX1uYu9HyBp6Sxk1kVO6ydOPf79IIu93NyvL5sPxeRGi95xJCCWX4O4OJKZBAV/2AD/DT eM/dN7tpHSyl/Eko7Ey6mQxx8HrIRlm4nizR0Gy7FYLBIdJHkv9LC0Nvxb4HdE2v2oK+apstNMp AGpxwKTfOjsFMrzIghtXHc/lXbdOJRNiZaDqEzkifwvGi4NYkLGuloU1ZFbBD2neqE4GuO4ro/G jD0MrQZvWgmLnAh9Ft1R2Tsv/DZth76GZTj13gMROQGU0DeIC9cFI4juKCMAathvO6uatg8aXBX 19DX33zFftl/tSj86Nj+oHe4lYvx0LvTHUSmz4w2iiC1g== Received: from lists.sr.ht (unknown [IPv6:2a03:6000:1813:1337::154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 73FE920179 for ; Tue, 16 Apr 2024 20:17:42 +0000 (UTC) Received: from layka.disroot.org (layka.disroot.org [178.21.23.139]) by mail-a.sr.ht (Postfix) with ESMTPS id D213C2015E for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 16 Apr 2024 20:17:41 +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=1713298660; bh=5wUVhepvugMQEnISEG//egMZHlf9q3six8yzeyh4mqY=; h=From:To:Cc:Subject:Date; b=L7wi7K6j6fzFSbSDmTXQF/wmx2MmLrlF5OUF99tHVw8JG/d5umRXsR7OWTNSZn0v+ /vmmAXsrXeEQvlJJBowALFmn1xeN7xOMaZulKLBGoUzbW2ZLoPvQgsOzYWd/o4oNVB 9/a2QM86EE1nmDfBVBugy73zakUX5LgeNWDr1Sxd/wNj5765iWHn50UaVOet5QDzhH j1mYaln46wMVNTF3dUECPJk4eaWk0JmZ+dq3/EwIxJOxjNMY7MYCw8Z4+7qR2Uq52v Vgq/WXn4+X+ggfKCqoyA2M6svCtJhP8C4R2GMCGcwy0MwWj9TuTVc8rbSHUsmnRJyy WQvjST+EATOUw== To: ~johnnyrichard/olang-devel@lists.sr.ht Cc: Ricardo Kagawa Subject: [PATCH 0/4] docs: spec: constant initialization and assignments Date: Tue, 16 Apr 2024 17:17:09 -0300 Message-ID: <20240416201713.24723-1-ricardo_kagawa@disroot.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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: -6.44 X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: -6.44 X-Migadu-Queue-Id: EE688B9EB X-TUID: AGdsTLv2YcNv From: Ricardo Kagawa For this patchset I'm assuming that: - We agreed constants should be initialized immediately, and that this should be validated in syntax, rather than during semantic analysis; - We agreed that chained assignments and related constructs were indeed not desired, and can be safely removed. The last commit in the set is optional, and should be removed or reverted depending on when the definitions of binary operators land. You may choose to not include it regardless, but I'm not a great fan of specifications that are not self-consistent. -- >8 -- This patchset includes changes suggested in a superseded patchset: - Refactoring and renaming non-terminals in the grammar specification for better clarity in definitions related to variable declarations and assignments; - Removing the ability to declare uninitialized constant variables; - Removing the ability to use assignments as expressions; - This also removes the ability to use chained assignments; and - This also removes the ability to use assignments inside conditional clauses of future statements. - Temporarily removes assignment operators that still don't have their corresponding binary operators defined. Please remove or revert this last commit if those missing definitions are incorporated before this patchset. Otherwise, revert it after they are applied. Ricardo Kagawa (4): docs: spec: refactor grammar specification docs: spec: immediate constant initialization docs: spec: remove assignment as expression docs: spec: postpone assignment operators docs/pages/language-specification.md | 36 +++++++++++----------------- 1 file changed, 14 insertions(+), 22 deletions(-) -- 2.44.0