pike.git/ src/ pike_types.c

2001-03-03

2001-03-03 18:05:08 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 58c368e264c252d75480ac608308f41ef6a9c359 (9 lines) (+8/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

Added push_assign_type().

Rev: src/pike_types.c:1.155
Rev: src/pike_types.h:1.57

5:   \*/   /**/   #include "global.h" - RCSID("$Id: pike_types.c,v 1.154 2001/02/27 01:05:15 mast Exp $"); + RCSID("$Id: pike_types.c,v 1.155 2001/03/03 18:05:08 grubba Exp $");   #include <ctype.h>   #include "svalue.h"   #include "pike_types.h"
265:    push_type(T_INT);   }    + static void push_assign_type(int marker) + { +  push_type(marker); +  push_type(T_ASSIGN); + } +    void push_object_type(int flag, INT32 id)   {    push_type_int(id);