Can't attach a pragma to a cased field.

[kayabaNerve]

Attaching a pragma to a field used in a case within an object has no effect on the AST.

Example

import macros

template myPragma() {.pragma.}

type
  XType = enum
    XInt,
    XString
  X = object
    case y {.myPragma.}: XType
      of XInt:
        a: int
      else:
        b: string
  
var x: X = X(y: XInt, a: 5)
echo x.y.hasCustomPragma(myPragma)
echo x
echo X(y: XString, b: "abc")

Current Output

nim/lib/core/macros.nim(1546, 25) Error: index 1 not in 0 .. 0

Expected Output

true
(y: XInt, a: 5)
(y: XString, b: "abc")

Additional Information

I did also try X.y.hasCustomPragma(myPragma); that compiles, yet returns false.

$ nim -v
Nim Compiler Version 0.1.2

[ghost]

It's a known bug #11526

[kayabaNerve]

While that seems to cover hasCustomPragma being problematic, it doesn't seem to address this specific issue.

[ghost]

@kayabaNerve it does though, I've been using parts of the code from that PR in my JSON.to fork to support field annotations - https://github.com/Yardanico/telenim/blob/master/src/telenim/json_custom.nim (especially https://github.com/Yardanico/telenim/blob/master/src/telenim/json_custom.nim#L194)
And see how I use it in https://github.com/Yardanico/telenim/blob/master/src/telenim/types.nim, e.g. in https://github.com/Yardanico/telenim/blob/master/src/telenim/types.nim#L74

[ghost]

The main trick there is that you have to do "yourSym.owner.getImpl()[2]" where yourSym is a symbol of a field of the object you want to get pragma of.

[kayabaNerve]

Got it; I read through the discussion, not the source. Thanks for pointing that out; should I close this issue?

[kayabaNerve]

Thanks for the workaround.

[ghost]

@kayabaNerve not sure, probably you should keep it open unless that PR is merged :)

[kayabaNerve]

Sure. Thanks again for linking the relevant PR and a workaround.

[kayabaNerve]

Sorry, was browsing this issue on my phone and clicked the wrong button.