From fb3580660898306105c2e1f041f29bbdb9006210 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 29 Nov 2021 20:55:22 -0500 Subject: =?UTF-8?q?Remove=20return=20(=E2=86=92)=20from=20the=20spec?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/spec/grammar.html | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'docs/spec/grammar.html') diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index 99058319..d28fa55b 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -32,12 +32,10 @@ | Operand _mod2_ # Left partial application | _m ASGN _m1Expr -

Functions can be formed by fully applying modifiers, as trains, or with the return token →, which behaves syntactically like a 1-modifier whose operand must be an identifier. Modifiers are left-associative, so that the left operand (Operand) can include modifier applications but the right operand (subject | Func) cannot. Trains are right-associative, but bind less tightly than modifiers. Assignment is not allowed in the top level of a train: it must be parenthesized.

+

Functions can be formed by fully applying modifiers or as trains. Modifiers are left-associative, so that the left operand (Operand) can include modifier applications but the right operand (subject | Func) cannot. Trains are right-associative, but bind less tightly than modifiers. Assignment is not allowed in the top level of a train: it must be parenthesized.

Derv     = Func
          | Operand _mod1
          | Operand _mod2_ ( subject | Func )
-         | Return
-Return   = ( NAME | "𝕊" | "𝕣" ) "→"
 Operand  = subject
          | Derv
 Fork     = Derv
-- 
cgit v1.2.3