Branch: Tag:

2014-12-04

2014-12-04 19:26:06 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler: Improved type checking for program references.

Inherits and type declarations now complain about use of
deprecated symbols.

100:   PMOD_EXPORT struct pike_type *mixed_type_string;   PMOD_EXPORT struct pike_type *void_type_string;   PMOD_EXPORT struct pike_type *zero_type_string; + PMOD_EXPORT struct pike_type *inheritable_type_string; + PMOD_EXPORT struct pike_type *typeable_type_string;   PMOD_EXPORT struct pike_type *enumerable_type_string;   PMOD_EXPORT struct pike_type *any_type_string;   PMOD_EXPORT struct pike_type *weak_type_string; /* array|mapping|multiset|function */
8701:    type_type_string = CONSTTYPE(tType(tMix));    void_type_string = CONSTTYPE(tVoid);    zero_type_string = CONSTTYPE(tZero); +  inheritable_type_string = CONSTTYPE(tOr3(tPrg(tObj), tObj, +  tFuncV(tNone, tOr(tVoid, tMix), +  tObj))); +  typeable_type_string = CONSTTYPE(tOr4(tPrg(tObj), tObj, +  tFuncV(tNone, tOr(tVoid, tMix), +  tObj), +  tType(tMix)));    enumerable_type_string = CONSTTYPE(tOr3(tString,tInt,tFloat));    any_type_string = CONSTTYPE(tOr(tVoid,tMix));    weak_type_string = CONSTTYPE(tOr4(tArray,tMultiset,tMapping,
8755:    void_type_string = NULL;    free_type(zero_type_string);    zero_type_string = NULL; +  free_type(inheritable_type_string); +  inheritable_type_string = NULL; +  free_type(typeable_type_string); +  typeable_type_string = NULL;    free_type(enumerable_type_string);    enumerable_type_string = NULL;    free_type(any_type_string);