Mirror of forum.nim-lang.org

2987 :: Comparing AST symbols

• ephja (orginal) [2017-06-05T16:54:24+02:00] view original

  How do I do this? I'm currently trying to write a macro that will ensure that a block references some or all of the members of a certain enum type. A 'case' statement can't always be used for this purpose.

---

• Lando (orginal) [2017-06-06T11:57:00+02:00] view original

  You could try something slightly weird like this (just an idea, didn't test it): Iterate over the values of the enum with items doing the following for every value v:

  • create a version of the enum where v is missing
  • construct a code block consisting of this incomplete enum type and the code you want to test
  • pass that block to compiles

  If compiles fails for a specific iteration, the tested code block uses v

---

• mratsim (orginal) [2017-06-06T14:00:29+02:00] view original

  There was a topic with the following hasType proc you can check out. Here is how I use it to check if a variable is of type int

  The macro that calls that proc must be a typed macro. If you want to call from an untyped macro it will need to call the typed macro that will call the hasType proc

  proc hasType(x: NimNode, t: static[string]): bool {. compileTime .} =
    ## Compile-time type checking
    sameType(x, bindSym(t))
  
  proc isInt(x: NimNode): bool {. compileTime .} =
    ## Compile-time type checking
    hasType(x, "int")
  Run

---