Mirror of forum.nim-lang.org

6486 :: ok to merge "overload resolution" label into "Symbol Resolution" label in github issues?

• timothee (orginal) [2020-06-25T06:38:57+02:00] view original

  https://github.com/nim-lang/Nim/issues?q=label%3A%22symbol+resolution%22+

  https://github.com/nim-lang/Nim/issues?q=label%3A%22overload+resolution%22+

---

• Araq (orginal) [2020-06-25T09:25:03+02:00] view original

  These are two different mechanisms, so IMHO it shouldn't be merged.

---