Mirror of forum.nim-lang.org

639 :: int.type is int

• mason_mcgill (orginal) [2014-11-25T02:46:37+01:00] view original

  Hi,

  This compiles without any complaints:

  static: assert int.type is int
  Run

  Is this intended? I expected that either

  1. int.type is typedesc.
  2. Querying int.type causes a compile-time error.

  If this is a bug, let me know and I'll report it.

---

• Araq (orginal) [2014-11-25T10:38:07+01:00] view original

  Report it please but I think nobody really knows what typedesc should behave like in these contexts.

---

• mason_mcgill (orginal) [2014-11-25T17:55:39+01:00] view original

  Will do. On a related note: if I wanted to modify the compiler so it raised an error when the type of a type was queried, where would I start? (I haven't really looked at the compiler source, and I'm pretty swamped with teaching until January, but it might be good to know in case the issue is still open then).

---