`Undeclared` error when declaring a let via a template that takes some argument in a generic proc #21376

gabbhack · 2023-02-15T14:39:24Z

Description

template def(something: string): untyped {.dirty.} =
  let foo = "123"

proc test[T]() =
  def("123")
  echo foo

test[int]()

https://play.nim-lang.org/#ix=4o9W

Nim Version

Nim Compiler Version 1.6.10 [Windows: amd64]
Compiled at 2022-11-21
Copyright (c) 2006-2021 by Andreas Rumpf

active boot switches: -d:release

Current Output

Error: undeclared identifier: 'foo'

Expected Output

Possible Solution

No response

Additional Information

If test is non-generic it works

template def(something: string): untyped {.dirty.} =
  let foo = "123"

proc test() =
  def("123")
  echo foo

test()

If def accepts no args it works

template def(): untyped {.dirty.} =
  let foo = "123"

proc test[T]() =
  def()
  echo foo

test[int]()

If def accepts untyped argument and we use it as ident it works

template def(ident: untyped): untyped {.dirty.} =
  let ident = "123"

proc test[T]() =
  def(foo)
  echo foo

test[int]()

But if def takes something else, it does not work

template def(ident: untyped, something: string): untyped {.dirty.} =
  let ident = "123"

proc test[T]() =
  def(foo, "123")
  echo foo

test[int]()

Same for non-dirty

template def(ident: untyped, something: string): untyped =
  let ident = "123"

proc test[T]() =
  def(foo, "123")
  echo foo

test[int]()

template def(something: string): untyped =
  let foo {.inject.} = "123"

proc test[T]() =
  def("123")
  echo foo

test[int]()

The text was updated successfully, but these errors were encountered:

metagn · 2023-02-15T15:32:37Z

Reported on forum https://forum.nim-lang.org/t/9892, note also mixin foo in generic proc works

Related #5975

juancarlospaco · 2023-07-07T11:20:55Z

!nim c

template t0(s: string): untyped =
  let foo {.inject.} = "Z"
proc test0[T]() =
  t0("X")
  echo foo
test0[int]()

template t1(s: string): untyped {.dirty.} =
  let foo = "Y"
proc test1[T]() =
  t1("X")
  echo foo
test1[int]()

github-actions · 2023-07-07T11:22:04Z

@juancarlospaco (contributor)

devel :-1: FAIL

Output

Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(5, 8) Error: undeclared identifier: 'foo'

Stats

Created 2023-07-07T11:20:55Z
Started 2023-07-07T11:21:28
Finished 2023-07-07T11:21:28
Duration now
Commands nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

IR

AST

nnkStmtList.newTree(
  nnkTemplateDef.newTree(
    newIdentNode("t0"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          nnkPragmaExpr.newTree(
            newIdentNode("foo"),
            nnkPragma.newTree(
              newIdentNode("inject")
            )
          ),
          newEmptyNode(),
          newLit("Z")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test0"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t0"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test0"),
      newIdentNode("int")
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("t1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    nnkPragma.newTree(
      newIdentNode("dirty")
    ),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("foo"),
          newEmptyNode(),
          newLit("Y")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test1"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t1"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test1"),
      newIdentNode("int")
    )
  )
)

stable :-1: FAIL

Output

Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(5, 8) Error: undeclared identifier: 'foo'

Stats

Created 2023-07-07T11:20:55Z
Started 2023-07-07T11:21:29
Finished 2023-07-07T11:21:29
Duration now
Commands nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

IR

AST

nnkStmtList.newTree(
  nnkTemplateDef.newTree(
    newIdentNode("t0"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          nnkPragmaExpr.newTree(
            newIdentNode("foo"),
            nnkPragma.newTree(
              newIdentNode("inject")
            )
          ),
          newEmptyNode(),
          newLit("Z")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test0"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t0"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test0"),
      newIdentNode("int")
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("t1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    nnkPragma.newTree(
      newIdentNode("dirty")
    ),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("foo"),
          newEmptyNode(),
          newLit("Y")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test1"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t1"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test1"),
      newIdentNode("int")
    )
  )
)

1.6.0 :-1: FAIL

Output

Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(5, 8) Error: undeclared identifier: 'foo'

Stats

Created 2023-07-07T11:20:55Z
Started 2023-07-07T11:21:32
Finished 2023-07-07T11:21:32
Duration now
Commands nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

IR

AST

nnkStmtList.newTree(
  nnkTemplateDef.newTree(
    newIdentNode("t0"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          nnkPragmaExpr.newTree(
            newIdentNode("foo"),
            nnkPragma.newTree(
              newIdentNode("inject")
            )
          ),
          newEmptyNode(),
          newLit("Z")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test0"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t0"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test0"),
      newIdentNode("int")
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("t1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    nnkPragma.newTree(
      newIdentNode("dirty")
    ),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("foo"),
          newEmptyNode(),
          newLit("Y")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test1"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t1"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test1"),
      newIdentNode("int")
    )
  )
)

1.4.0 :-1: FAIL

Output

Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(5, 8) Error: undeclared identifier: 'foo'

Stats

Created 2023-07-07T11:20:55Z
Started 2023-07-07T11:21:35
Finished 2023-07-07T11:21:35
Duration now
Commands nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

IR

AST

nnkStmtList.newTree(
  nnkTemplateDef.newTree(
    newIdentNode("t0"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          nnkPragmaExpr.newTree(
            newIdentNode("foo"),
            nnkPragma.newTree(
              newIdentNode("inject")
            )
          ),
          newEmptyNode(),
          newLit("Z")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test0"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t0"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test0"),
      newIdentNode("int")
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("t1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    nnkPragma.newTree(
      newIdentNode("dirty")
    ),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("foo"),
          newEmptyNode(),
          newLit("Y")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test1"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t1"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test1"),
      newIdentNode("int")
    )
  )
)

1.2.0 :-1: FAIL

Output

Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(5, 8) Error: undeclared identifier: 'foo'

Stats

Created 2023-07-07T11:20:55Z
Started 2023-07-07T11:21:51
Finished 2023-07-07T11:21:51
Duration now
Commands nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

IR

AST

nnkStmtList.newTree(
  nnkTemplateDef.newTree(
    newIdentNode("t0"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          nnkPragmaExpr.newTree(
            newIdentNode("foo"),
            nnkPragma.newTree(
              newIdentNode("inject")
            )
          ),
          newEmptyNode(),
          newLit("Z")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test0"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t0"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test0"),
      newIdentNode("int")
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("t1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    nnkPragma.newTree(
      newIdentNode("dirty")
    ),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("foo"),
          newEmptyNode(),
          newLit("Y")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test1"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t1"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test1"),
      newIdentNode("int")
    )
  )
)

1.0.0 :-1: FAIL

Output

Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(5, 8) Error: undeclared identifier: 'foo'

Stats

Created 2023-07-07T11:20:55Z
Started 2023-07-07T11:22:04
Finished 2023-07-07T11:22:04
Duration now
Commands nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

IR

AST

nnkStmtList.newTree(
  nnkTemplateDef.newTree(
    newIdentNode("t0"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          nnkPragmaExpr.newTree(
            newIdentNode("foo"),
            nnkPragma.newTree(
              newIdentNode("inject")
            )
          ),
          newEmptyNode(),
          newLit("Z")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test0"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t0"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test0"),
      newIdentNode("int")
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("t1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newIdentNode("untyped"),
      nnkIdentDefs.newTree(
        newIdentNode("s"),
        newIdentNode("string"),
        newEmptyNode()
      )
    ),
    nnkPragma.newTree(
      newIdentNode("dirty")
    ),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkLetSection.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("foo"),
          newEmptyNode(),
          newLit("Y")
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("test1"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        newIdentNode("t1"),
        newLit("X")
      ),
      nnkCommand.newTree(
        newIdentNode("echo"),
        newIdentNode("foo")
      )
    )
  ),
  nnkCall.newTree(
    nnkBracketExpr.newTree(
      newIdentNode("test1"),
      newIdentNode("int")
    )
  )
)

🤖 Bug found in 40 minutes bisecting 6 commits at 0 commits per second.

metagn mentioned this issue Jun 13, 2023

Macro with mix typed / untyped arguments fails when called in generic proc #22084

Open

metagn added Generics Symbol Resolution labels Aug 28, 2023

metagn added Generic Procs and removed Generics labels Sep 16, 2023

metagn mentioned this issue Sep 16, 2023

undeclared identifier error when using untyped within proc taking generic arg #21249

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

`Undeclared` error when declaring a let via a template that takes some argument in a generic proc #21376

`Undeclared` error when declaring a let via a template that takes some argument in a generic proc #21376

gabbhack commented Feb 15, 2023

metagn commented Feb 15, 2023 •

edited

juancarlospaco commented Jul 7, 2023

github-actions bot commented Jul 7, 2023

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

Undeclared error when declaring a let via a template that takes some argument in a generic proc #21376

Undeclared error when declaring a let via a template that takes some argument in a generic proc #21376

Comments

gabbhack commented Feb 15, 2023

Description

Nim Version

Current Output

Expected Output

Possible Solution

Additional Information

metagn commented Feb 15, 2023 • edited

juancarlospaco commented Jul 7, 2023

github-actions bot commented Jul 7, 2023

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

Output

Stats

IR

AST

`Undeclared` error when declaring a let via a template that takes some argument in a generic proc #21376

`Undeclared` error when declaring a let via a template that takes some argument in a generic proc #21376

metagn commented Feb 15, 2023 •

edited