Mirror of forum.nim-lang.org

10566 :: Issue with calling a routine defined in a concept

• SuaveSteve (orginal) [2023-10-23T20:27:09+02:00] view original

  type
      Thing = concept t
          work(t)
  
  proc start(t: Thing) =
      t.work()
      # work(t) # undeclared identifier
  Run

  I do not understand why Nim cannot find the declaration of work for the commented line. Is this a limitation of generics or Nim's type checking?

  Bonus Q: Will (RFC 168)[https://github.com/nim-lang/RFCs/issues/168] make this compile?

---

• shirleyquirk (orginal) [2023-10-24T01:16:43+02:00] view original

  That's a bug yep. Please report it on the github bug tracker, and thank you in advance for your service. No, rfc 168 won't make it compile, thats orthogonal.

---

• ElegantBeef (orginal) [2023-10-24T05:18:58+02:00] view original

  Of some note:

  type
      Thing = concept t
          work(t)
  
  proc start(t: Thing) =
      mixin work
      t.work()
      work(t) # undeclared identifier
  Run

  Will make it work :P

---

• Araq (orginal) [2023-10-25T00:27:55+02:00] view original

  It is not a bug, but I agree it sucks.

---