+ if(nr==T_STRING) {
+ char*s = malloc(v.str.len+10);
+ strcpy(s, "<string>");
+ memcpy(s+8, v.str.str, v.str.len);
+ sprintf(s+8+v.str.len, " (%d bytes)", v.str.len);
+ return s;
+ }
+ else if(nr==T_REGEXP) {
+ char*s = malloc(strlen(v.regexp.pattern)+10);
+ sprintf(s, "<regexp>%s", v.regexp.pattern);
+ return s;
+ }
+ else if(nr==T_IDENTIFIER) {
+ char*s = malloc(strlen(v.id)+10);
+ sprintf(s, "<ID>%s", v.id);
+ return s;
+ }