pike.git/ src/ pike_types.cmod

2021-01-26

2021-01-26 12:37:09 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• dcf508a837232566eb9ffd22f3f0103652cd0299 (2 lines) (+2/-0) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Support push_type(PIKE_T_UNKNOWN).

This pushes a NULL on the type stack, and is intended to represent
the empty type.

521:    extra_debug_index = index;    }   #endif /* PIKE_EXTRA_DEBUG */ +  if (type == PIKE_T_UNKNOWN) return NULL;    for(t = pike_type_hash[index]; t; t = t->next) {   #ifdef PIKE_EXTRA_DEBUG    if (index == extra_debug_index) {