pike.git/ src/ svalue.h

2020-08-17

2020-08-17 14:08:46 by Henrik Grubbström (Grubba) <grubba@grubba.org>

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

Compiler [Typechecker]: Added PIKE_T_TRANSITIVE.

This is a helper type to construct the type for transitive left-
recursive functions (like eg many operator efuns).

153:    PIKE_T_OPERATOR = 0x0080,    PIKE_T_FIND_LFUN = 0x0180, /* Look up an lfun in an object type. */    +  PIKE_T_TRANSITIVE = 0x00c0, /* Repeatedly apply a function type. */ +    /*    * The following types are only used in compile-time types and    * as markers in struct identifier.
392:      #define tFindLFun(X, LFUN) "\200\001" X LFUN "\0"    + #define tTransitive(X, Y) "\300" X Y +    #define tSimpleCallable tOr3(tArray,tFunction,tObj)   #define tCallable tOr3(tArr(tSimpleCallable),tFunction,tObj)