Mirror of forum.nim-lang.org

3052 :: Defining procs with a template

• Nycto (orginal) [2017-07-16T17:46:27+02:00] view original

  Hey folks!

  As the immediate pragma is deprecated, I'm updating my packages to remove references to it. I've got one situation where I'm curious about the best alternative. It's this template. Basically, I'm using a template to define a type with a few procs. When I remove {. immediate .}, my test fails.

  I know I could achieve this using a macro instead, but since all I'm doing is some basic substitutions, a template feeks a bit more clear. What's the best way to achieve this?

---

• Araq (orginal) [2017-07-16T18:46:15+02:00] view original

  Try this prototype:

  template defineIndex*(name, source, extractIt, cmpAB: untyped) = ...
  Run

---

• Nycto (orginal) [2017-07-16T21:42:45+02:00] view original

  Yup, that works.

  For anyone looking to spot the difference, here is original signature:

  template defineIndex*(name, source: typedesc, extractIt, cmpAB: untyped) {.immediate.} = ...
  Run

  When you just remove the immediate, it breaks. Here is the working signature:

  template defineIndex*(name, source, extractIt, cmpAB: untyped) = ...
  Run

  The difference is that _all of the arguments are untyped, versus using typedesc for the first two arguments.

  @Araq, if you've got a moment (or anyone else that can offer details): why does this work?

---

• LeuGim (orginal) [2017-07-17T05:01:14+02:00] view original

  Because templates with not untyped (that is typed) arguments expand later, when types of actual arguments are known; they could not be called otherwise. And templates with only untyped arguments don't depend on types of actual arguments on call site (because of no type check) and can be expanded immediately, what {.immediate.} stands for.

---