Quote captures result of containing macro

[StasRuinsEverything]

Hello! Here's a contrived reproduction:

import macros

macro mac(): untyped =
  quote do:
    proc test(): int =
      (proc(): int = result = 123)()

mac() # Error: type mismatch: got <int literal(123)> but expected 'NimNode = ref NimNodeObj'
echo test()

Using return instead circumvents the issue.

[PMunch]

Yeah this is a really strange and annoying bug. One way I've found to still be able to use result in quote do is to do this:

import macros

macro mac(): untyped =
  let res = newIdentNode("result")
  quote do:
    proc test(): int =
      (proc(): int = `res` = 123)()

mac()
echo test() # Works  fine, outputs 123

[PMunch]

I have figured out a nice simple fix for this now: PMunch@6089654. It's still not completely done but I hope to have it done by tomorrow and create a PR for this.

[PMunch]

Done, here is the PR for my fix: #7343

[krux02]

maybe this problem is resolved when the quote do macro is limited to bind proc- macro- and template-symbols. To my experience binding var-, let-, param, etc symbols always goes wrong.

[PMunch]

@krux02 maybe close this issue as well?

[krux02]

I can confirm, this works now.

[mem-memov]

I've just copied the code from the top of the report and run it with Nim 0.19.2. It produced the same error message.

[SolitudeSF]

works on devel