Mirror of forum.nim-lang.org

4839 :: Function overloading by dependent type

• k0zmo (orginal) [2019-05-12T22:40:11+02:00] view original

  Does Nim support overloading by dependent type? If so, following code does not yield the expected results:

  type MySeq*[T] = object
  
  proc foo(a: seq[int]) = echo "foo: seq[int]"
  proc foo[T](a: seq[T]) = echo "foo: seq[T]"
  proc foo(a: MySeq[int]) = echo "foo: MySeq[int]"
  proc foo[T](a: MySeq[T]) = echo "foo: MySeq[T]"
  
  foo(@[1,2,3])
  foo(@["WER"])
  foo(MySeq[int]())
  foo(MySeq[string]())
  Run

  What is the reason foo() overloading machinery works differently for seq and my MySeq?

---

• mratsim (orginal) [2019-05-13T08:58:12+02:00] view original

  That's a bug, during overloading concrete types overloads should have precedence over generics if they match.

---