feat(call): allow a multiline call to omit commas for separating args

Author: kollhof

package-lock.json

@@ -1,25 +1,22 @@
 {
-  curr_loc, expression, next_is_end, advance, curr_value,
-  next_loc, next_is
+  curr_loc, expression, next_is_end, advance, curr_value, next_loc, next_is
 } = import '@fink/prattler'
 
 {symbol} = import '../symbols'
 {seq} = import '../generic/sequence'
 {get_block} = import '../block'
-{next_is_unindented} = import '../indentation'
+{curr_next_adjecent} = import '../indentation'
 
 
 call = fn op:
-  {
-    ...symbol(op),
+  led = fn: fn ctx, callee:
+    {start} = callee.loc
+    [args, next_ctx] = seq(ctx, ')')
+    {end} = curr_loc(next_ctx)
 
-    led: fn: fn ctx, callee:
-      {start} = callee.loc
-      [args, next_ctx] = seq(ctx, ')')
-      {end} = curr_loc(next_ctx)
+    [{type: 'call', callee, args, loc: {start, end}}, next_ctx]
 
-      [{type: 'call', callee, args, loc: {start, end}}, next_ctx]
-  }
+  {...symbol(op), led}
 
 
 params = fn ctx:
@@ -34,21 +31,26 @@ params = fn ctx:
 
 
 call_no_parens = fn op:
-  {
-    ...symbol(op),
-
-    led: fn: fn ctx, callee:
-      {start} = callee.loc
-      [args, next_ctx] = params(ctx)
-
-      [
-        {
-          type: 'call',
-          callee,
-          args: [...args],
-          loc: {start, end: curr_loc(next_ctx).start}
-        },
-        next_ctx
-      ]
-  }
+  led = fn: fn ctx, callee:
+    {start} = callee.loc
+
+    [args, next_ctx] = match true:
+      curr_loc(ctx).end.line == next_loc(ctx).start.line:
+        params(ctx)
+      else:
+        [{exprs}, next_ctx] = get_block(ctx)
+        # TODO: remove backward compatibility
+        [...args] = pipe exprs:
+          filter expr: expr.value != ','
+
+        [args, next_ctx]
+
+    {start: end} = curr_loc(next_ctx)
+
+    node = {type: 'call', callee, args, loc: {start, end}}
+
+    [node, next_ctx]
+
+  {...symbol(op), led}
+
 

src/lang/call/call.fnk

@@ -27,8 +27,7 @@ describe:: 'call() - parsing failures', fn:
       1| foobar(
                 ^
 
-      Expected ')' but found Symbol(end).
-    `
+      Expected ')' but found Symbol(end).`
 
 
   it:: `throws when missing ')'`, fn:
@@ -39,16 +38,33 @@ describe:: 'call() - parsing failures', fn:
       1| foobar(1:)
                  ^
 
-      Expected ')' but found ':'.
-    `
+      Expected ')' but found ':'.`
 
 
 describe:: 'call:: ...', fn:
 
-  it:: 'parses args: foobar:: spam, ni', fn:
+  it:: 'parses single line', fn:
     parse_expr(`foobar:: spam, ni`) eq snapshot
 
 
+  it:: 'parses multiline', fn:
+    parse_expr(`
+      foo::
+        fn bar:
+          spam
+        ni
+        shrub
+    `) eq snapshot
+
+  it:: 'parses multiline with comma (TODO)', fn:
+    parse_expr(`
+      foo::
+        bar,
+        ni,
+        shrub
+    `) eq snapshot
+
+
 describe:: 'pipe foo: ...', fn:
 
   it:: 'pipes', fn:

src/lang/call/call.test.fnk

@@ -21,7 +21,28 @@ call (1:0-1:9)
 
 `;
 
-exports[`call:: ... parses args: foobar:: spam, ni 1`] = `
+exports[`call:: ... parses multiline 1`] = `
+call (1:0-5:2)
+  ident (1:0-1:3) foo
+  block fn (2:2-3:8)
+    ident (2:5-2:8) bar
+    :
+    ident (3:4-3:8) spam
+  ident (4:2-4:4) ni
+  ident (5:2-5:7) shrub
+
+`;
+
+exports[`call:: ... parses multiline with comma (TODO) 1`] = `
+call (1:0-4:2)
+  ident (1:0-1:3) foo
+  ident (2:2-2:5) bar
+  ident (3:2-3:4) ni
+  ident (4:2-4:7) shrub
+
+`;
+
+exports[`call:: ... parses single line 1`] = `
 call (1:0-1:15)
   ident (1:0-1:6) foobar
   ident (1:9-1:13) spam