await / pipe first precedence

[cknitt]

await server->start

is parsed/printed as

(await server)->start

I would have expected it to mean

await (server->start)

[cknitt]

Also,

(await (server->start))->ignore

loses the await on reformat:

server->start->ignore

[cristianoc]

This use parseUnaryExpr like other unary expressions.
Some exploration needs to be done about the implications of changing that.

[cknitt]

My second comment (losing await) is clearly a bug though - shall I put that into a separate issue?

[cristianoc]

My second comment (losing await) is clearly a bug though - shall I put that into a separate issue?

Yes please

[mununki]

So, what is the precedence between await and pipe-first? await (server->start) is the expected one, pipe-first is greater than await?

[cristianoc]

What about - server->start

[cristianoc]

From googling JS: "An AwaitExpression is a UnaryExpression and has the same precedence as delete, void, typeof, +, -, ~, and !, binding stronger than any binary operator."

We should check that this is true and conform to that.

[cristianoc]

So the real question seems to be about pipe, not about await.

[mununki]

What about - server->start

Exactly. If we can tell await is a unary operator and pipe-first is a binary operator, negation, await and binary operators are just functions. So, we can say associativity as (-> (await server) start) or (await (-> server start)), both are possible.

[mununki]

From googling JS: "An AwaitExpression is a UnaryExpression and has the same precedence as delete, void, typeof, +, -, ~, and !, binding stronger than any binary operator."

We should check that this is true and conform to that.

It seems correct.
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Operator_Precedence

[cknitt]

My thinking was that

await server->start

corresponds to a method call in JS:

await server.start();

which is the same as

await (server.start());

[cristianoc]

My thinking was that

await server->start

corresponds to a method call in JS:

await server.start();

which is the same as

await (server.start());

This is a comment about pipe not await.
Someone should check how the priority for pipe was set, and what are the trade-offs.

[IwanKaramazow]

Someone should check how the priority for pipe was set, and what are the trade-offs.

"Organically through some trial and error while trying to fix some Reason problems and it still isn't perfect for all use cases"