Macros: quasiquoting + dot or bracket syntax: dot and brackets are ignored

[mratsim]

The quasiquoting interpolation ignores dot call/fields. Test case:

import macros

macro foo(): untyped =
  let a = @[1, 2, 3, 4, 5]
  result = quote do:
    `a.len`


macro foo2(): untyped =
  let a = @[1, 2, 3, 4, 5]
  let len = a.len
  result = quote do:
    `len`

echo foo() # Outputs @[1, 2, 3, 4, 5] instead of 5
echo foo2() # Outputs 5

[mratsim]

Brackets are also ignored:

import macros

macro foo(): untyped =
  let a = @[1, 2, 3, 4, 5]
  result = quote do:
    `a.len`


macro foo2(): untyped =
  let a = @[1, 2, 3, 4, 5]
  let len = a.len
  result = quote do:
    `len`

macro foo3(): untyped =
  let a = @[1, 2, 3, 4, 5]
  let len = a.len
  result = quote do:
    `a[2]`

echo foo()  # Outputs @[1, 2, 3, 4, 5] instead of 5
echo foo2() # Outputs 5
echo foo3() # Outputs @[1, 2, 3, 4, 5] instead of 3

[dom96]

Yeah, and idents aren't handled correctly. I have to write let foo = newIdentNode("foo") all over my code and then use it inside my quote. It's super messy.

[krux02]

Yes, the backticks on expressions should, when not supported, at least come with a sane error message.

@dom96 sorry, this is a very late reply, but your comment is on an entirely different issue. And I am aware of it.

[3gx]

is the fix in works? Ability to call functions in unquote parts help to keep code clean, like in scheme/racket, for instance, the following doesn't compile:

import macros
macro fun(): untyped =
  let a = @[1, 2, 3, 4, 5]
  result = quote do:
    `len(a)`
echo fun

[krux02]

there is this branch from me: #11823