Mirror of forum.nim-lang.org

3866 :: Inherited object not nil

• ibutra (orginal) [2018-05-28T12:53:29+02:00] view original

  Hi,

  can I have an object which inherits annotated with not nil?

  I tried:

  type Student* = ref object of RootObj not nil
  Run

  and also

  type Student* = ref object not nil of RootObj
  Run

  both do not work as the compiler complains.

  Greetings

  Stefan

---

• leorize (orginal) [2018-05-28T16:27:46+02:00] view original

  You can, but you would have to do it like this:

  type
    StudentObj = object of RootObj
    Student* = ref StudentObj not nil
  Run

  or:

  type
    StudentRef = ref object of RootObj
    Student* = StudentRef not nil
  Run

---

• ibutra (orginal) [2018-05-29T09:47:23+02:00] view original

  Ah I see, thank you. I should have been able to come up with that myself.

  Out of curiosity, is there a specific reason as to why it is not possible in one statement?

---