Obj *obj_to_string_not_prn(Process *process, const Obj *o) {
Obj *s = obj_new_string("");
shadow_stack_push(process, s);
obj_to_string_internal(process, s, o, false, 0);
shadow_stack_pop(process);
return s;
}
Obj *obj_to_string_not_prn(const Obj *o) {
Obj *s = obj_new_string("");
obj_to_string_internal(s, o, false, 0);
return s;
}
Obj *obj_to_string(const Obj *o) {
Obj *s = obj_new_string("");
obj_to_string_internal(s, o, true, 0);
return s;
}
void obj_to_string_internal(Obj *total, const Obj *o, bool prn, int indent) {
assert(o);
int x = indent;
if(o->tag == 'C') {
obj_string_mut_append(total, "(");
x++;
int save_x = x;
const Obj *p = o;
while(p && p->car) {
obj_to_string_internal(total, p->car, true, x);
if(p->cdr && p->cdr->tag != 'C') {
obj_string_mut_append(total, " . ");
obj_to_string_internal(total, o->cdr, true, x);
break;
}
else if(p->cdr && p->cdr->car) {
if(/* p->car->tag == 'C' || */p->car->tag == 'E') {
obj_string_mut_append(total, "\n");
x = save_x;
add_indentation(total, x);
}
else {
obj_string_mut_append(total, " ");
x++;
}
}
p = p->cdr;
}
obj_string_mut_append(total, ")");
x++;
}
else if(o->tag == 'A') {
//printf("Will print Obj Array with count %d\n", o->count);
shadow_stack_push((struct Obj *)o);
x++;
//int save_x = x;
obj_string_mut_append(total, "[");
for(int i = 0; i < o->count; i++) {
obj_to_string_internal(total, o->array[i], true, x);
if(i < o->count - 1) {
/* if(o->array[i]->car->tag == 'Q' || o->array[i]->car->tag == 'E') { */
/* obj_string_mut_append(total, "\n"); */
/* x = save_x; */
/* add_indentation(total, x); */
/* } */
/* else { */
/* obj_string_mut_append(total, " "); */
/* x++; */
/* } */
obj_string_mut_append(total, " ");
}
}
obj_string_mut_append(total, "]");
shadow_stack_pop();
x++;
}
else if(o->tag == 'E') {
shadow_stack_push((struct Obj *)o);
obj_string_mut_append(total, "{");
x++;
Obj *p = o->bindings;
while(p && p->car) {
char *key_s = obj_to_string(p->car->car)->s;
obj_string_mut_append(total, key_s);
obj_string_mut_append(total, " ");
obj_to_string_internal(total, p->car->cdr, true, x + (int)strlen(key_s) + 1);
p = p->cdr;
if(p && p->car && p->car->car) {
obj_string_mut_append(total, ", \n");
add_indentation(total, x);
}
}
obj_string_mut_append(total, "}");
if(o->parent) {
obj_string_mut_append(total, " -> \n");
Obj *parent_printout = obj_to_string(o->parent);
obj_string_mut_append(total, parent_printout->s);
}
shadow_stack_pop();
}
else if(o->tag == 'I') {
static char temp[64];
snprintf(temp, 64, "%d", o->i);
obj_string_mut_append(total, temp);
}
else if(o->tag == 'V') {
static char temp[64];
snprintf(temp, 64, "%f", o->f32);
obj_string_mut_append(total, temp);
obj_string_mut_append(total, "f");
}
else if(o->tag == 'W') {
static char temp[64];
snprintf(temp, 64, "%f", o->f64);
obj_string_mut_append(total, temp);
}
else if(o->tag == 'S') {
if(prn) {
obj_string_mut_append(total, "\"");
}
obj_string_mut_append(total, o->s);
if(prn) {
obj_string_mut_append(total, "\"");
}
}
else if(o->tag == 'Y') {
obj_string_mut_append(total, o->s);
}
else if(o->tag == 'K') {
obj_string_mut_append(total, ":");
obj_string_mut_append(total, o->s);
}
else if(o->tag == 'P') {
obj_string_mut_append(total, "<primop:");
static char temp[256];
snprintf(temp, 256, "%p", o->primop);
obj_string_mut_append(total, temp);
if(o->meta) {
Obj *name = env_lookup(o->meta, obj_new_keyword("name"));
if(name) {
obj_string_mut_append(total, ":");
obj_string_mut_append(total, obj_to_string_not_prn(name)->s);
}
}
obj_string_mut_append(total, ">");
}
else if(o->tag == 'D') {
obj_string_mut_append(total, "<dylib:");
static char temp[256];
snprintf(temp, 256, "%p", o->primop);
obj_string_mut_append(total, temp);
obj_string_mut_append(total, ">");
}
else if(o->tag == 'Q') {
shadow_stack_push((struct Obj *)o);
Obj *type_lookup;
if(o->meta && (type_lookup = env_lookup(o->meta, obj_new_keyword("type")))) {
if(type_lookup->tag == 'C' && type_lookup->cdr->car && obj_eq(type_lookup->car, obj_new_keyword("Array"))) {
print_generic_array_or_struct(total, type_lookup, (struct Obj *)o);
}
else {
print_generic_array_or_struct(total, type_lookup, (struct Obj *)o);
/* obj_string_mut_append(total, "<ptr"); */
/* obj_string_mut_append(total, obj_to_string(type_lookup)->s); */
/* obj_string_mut_append(total, ">"); */
}
}
else {
obj_string_mut_append(total, "<ptr:");
static char temp[256];
snprintf(temp, 256, "%p", o->primop);
obj_string_mut_append(total, temp);
obj_string_mut_append(total, " of unknown type");
obj_string_mut_append(total, ">");
}
shadow_stack_pop();
}
else if(o->tag == 'F') {
obj_string_mut_append(total, "<ffi:");
static char temp[256];
snprintf(temp, 256, "%p", o->funptr);
obj_string_mut_append(total, temp);
if(o->meta) {
Obj *name = env_lookup(o->meta, obj_new_keyword("name"));
if(name) {
obj_string_mut_append(total, ":");
obj_string_mut_append(total, obj_to_string_not_prn(name)->s);
}
}
else {
}
obj_string_mut_append(total, ">");
}
else if(o->tag == 'L') {
if(setting_print_lambda_body) {
obj_string_mut_append(total, "(fn");
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(o->params)->s);
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(o->body)->s);
obj_string_mut_append(total, ")");
}
else {
obj_string_mut_append(total, "<lambda>");
}
}
else if(o->tag == 'M') {
if(setting_print_lambda_body) {
obj_string_mut_append(total, "(macro");
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(o->params)->s);
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(o->body)->s);
obj_string_mut_append(total, ")");
}
else {
obj_string_mut_append(total, "<macro>");
}
}
else if(o->tag == 'T') {
char s[2] = { o->character, '\0' };
if(prn) {
obj_string_mut_append(total, "\\");
}
obj_string_mut_append(total, s);
}
else if(o->tag == 'B') {
if(o->boolean) {
obj_string_mut_append(total, "true");
}
else {
obj_string_mut_append(total, "false");
}
}
else {
printf("obj_to_string() can't handle type tag %c (%d).\n", o->tag, o->tag);
assert(false);
}
}
Obj *obj_to_string(Process *process, const Obj *o) {
Obj *s = obj_new_string("");
obj_to_string_internal(process, s, o, true, 0);
return s;
}
void obj_to_string_internal(Process *process, Obj *total, const Obj *o, bool prn, int indent) {
assert(o);
int x = indent;
if(o->tag == 'C') {
obj_string_mut_append(total, "(");
x++;
int save_x = x;
const Obj *p = o;
while(p && p->car) {
obj_to_string_internal(process, total, p->car, true, x);
if(p->cdr && p->cdr->tag != 'C') {
obj_string_mut_append(total, " . ");
obj_to_string_internal(process, total, o->cdr, true, x);
break;
}
else if(p->cdr && p->cdr->car) {
if(/* p->car->tag == 'C' || */ p->car->tag == 'E') {
obj_string_mut_append(total, "\n");
x = save_x;
add_indentation(total, x);
}
else {
obj_string_mut_append(total, " ");
x++;
}
}
p = p->cdr;
}
obj_string_mut_append(total, ")");
x++;
}
else if(o->tag == 'A') {
//printf("Will print Obj Array with count %d\n", o->count);
shadow_stack_push(process, (struct Obj *)o);
x++;
//int save_x = x;
obj_string_mut_append(total, "[");
for(int i = 0; i < o->count; i++) {
obj_to_string_internal(process, total, o->array[i], true, x);
if(i < o->count - 1) {
/* if(o->array[i]->car->tag == 'Q' || o->array[i]->car->tag == 'E') { */
/* obj_string_mut_append(total, "\n"); */
/* x = save_x; */
/* add_indentation(total, x); */
/* } */
/* else { */
/* obj_string_mut_append(total, " "); */
/* x++; */
/* } */
obj_string_mut_append(total, " ");
}
}
obj_string_mut_append(total, "]");
shadow_stack_pop(process);
x++;
}
else if(o->tag == 'E') {
shadow_stack_push(process, (struct Obj *)o);
if(o == process->global_env) {
obj_string_mut_append(total, "{ GLOBAL ENVIRONMENT }");
return;
}
obj_string_mut_append(total, "{");
x++;
Obj *p = o->bindings;
while(p && p->car) {
char *key_s = obj_to_string(process, p->car->car)->s;
obj_string_mut_append(total, key_s);
obj_string_mut_append(total, " ");
obj_to_string_internal(process, total, p->car->cdr, true, x + (int)strlen(key_s) + 1);
p = p->cdr;
if(p && p->car && p->car->car) {
obj_string_mut_append(total, ", \n");
add_indentation(total, x);
}
}
obj_string_mut_append(total, "}");
if(o->parent) {
obj_string_mut_append(total, " -> \n");
Obj *parent_printout = obj_to_string(process, o->parent);
obj_string_mut_append(total, parent_printout->s);
}
shadow_stack_pop(process);
}
else if(o->tag == 'I') {
static char temp[64];
snprintf(temp, 64, "%d", o->i);
obj_string_mut_append(total, temp);
}
else if(o->tag == 'V') {
static char temp[64];
snprintf(temp, 64, "%f", o->f32);
obj_string_mut_append(total, temp);
obj_string_mut_append(total, "f");
}
else if(o->tag == 'W') {
static char temp[64];
snprintf(temp, 64, "%f", o->f64);
obj_string_mut_append(total, temp);
}
else if(o->tag == 'S') {
if(prn) {
obj_string_mut_append(total, "\"");
}
obj_string_mut_append(total, o->s);
if(prn) {
obj_string_mut_append(total, "\"");
}
}
else if(o->tag == 'Y') {
obj_string_mut_append(total, o->s);
}
else if(o->tag == 'K') {
obj_string_mut_append(total, ":");
obj_string_mut_append(total, o->s);
}
else if(o->tag == 'P') {
obj_string_mut_append(total, "<primop:");
static char temp[256];
snprintf(temp, 256, "%p", o->primop);
obj_string_mut_append(total, temp);
if(o->meta) {
Obj *name = env_lookup(process, o->meta, obj_new_keyword("name"));
if(name) {
obj_string_mut_append(total, ":");
obj_string_mut_append(total, obj_to_string_not_prn(process, name)->s);
}
}
obj_string_mut_append(total, ">");
}
else if(o->tag == 'D') {
obj_string_mut_append(total, "<dylib:");
static char temp[256];
snprintf(temp, 256, "%p", o->primop);
obj_string_mut_append(total, temp);
obj_string_mut_append(total, ">");
}
else if(o->tag == 'Q') {
shadow_stack_push(process, (struct Obj *)o);
Obj *type_lookup;
if(o->meta && (type_lookup = env_lookup(process, o->meta, obj_new_keyword("type")))) {
if(type_lookup->tag == 'C' && type_lookup->cdr->car && obj_eq(process, type_lookup->car, obj_new_keyword("Array"))) {
print_generic_array_or_struct(process, total, type_lookup, (struct Obj *)o);
}
else {
print_generic_array_or_struct(process, total, type_lookup, (struct Obj *)o);
/* obj_string_mut_append(total, "<ptr"); */
/* obj_string_mut_append(total, obj_to_string(type_lookup)->s); */
/* obj_string_mut_append(total, ">"); */
}
}
else {
obj_string_mut_append(total, "<ptr:");
static char temp[256];
snprintf(temp, 256, "%p", o->primop);
obj_string_mut_append(total, temp);
obj_string_mut_append(total, " of unknown type");
obj_string_mut_append(total, ">");
}
shadow_stack_pop(process);
}
else if(o->tag == 'R') {
shadow_stack_push(process, (struct Obj *)o);
if(!o->void_ptr) {
eval_error = obj_new_string("Pointer to global is NULL.\n");
return;
}
Obj *type_lookup;
//printf("o %p %p\n", o, o->void_ptr);
if(o->void_ptr == NULL) {
obj_string_mut_append(total, "NULL");
}
else if(o->meta && (type_lookup = env_lookup(process, o->meta, obj_new_keyword("type")))) {
//printf("type %s\n", obj_to_string(type_lookup)->s);
if(type_lookup->tag == 'C' && type_lookup->cdr->car && obj_eq(process, type_lookup->car, obj_new_keyword("Array"))) {
void *dereffed = *(void **)o->void_ptr;
assert(dereffed);
Obj *x = primitive_to_obj(process, dereffed, type_lookup);
shadow_stack_push(process, x);
obj_string_mut_append(total, obj_to_string(process, x)->s);
shadow_stack_pop(process); // x
}
else if(obj_eq(process, type_lookup, type_int)) {
//int i = 123;
void *dereffed = *(void **)o->void_ptr;
assert(dereffed);
Obj *x = primitive_to_obj(process, dereffed, type_int);
obj_string_mut_append(total, obj_to_string(process, x)->s);
}
else if(obj_eq(process, type_lookup, type_float)) {
//int i = 123;
void *dereffed = *(void **)o->void_ptr;
assert(dereffed);
Obj *x = primitive_to_obj(process, dereffed, type_float);
obj_string_mut_append(total, obj_to_string(process, x)->s);
}
else if(obj_eq(process, type_lookup, type_double)) {
void *dereffed = *(void **)o->void_ptr;
assert(dereffed);
Obj *x = primitive_to_obj(process, dereffed, type_double);
obj_string_mut_append(total, obj_to_string(process, x)->s);
}
else if(obj_eq(process, type_lookup, type_bool)) {
void *dereffed = *(void **)o->void_ptr;
// can't assert since false == NULL
Obj *x = primitive_to_obj(process, dereffed, type_bool);
obj_string_mut_append(total, obj_to_string(process, x)->s);
}
else if(obj_eq(process, type_lookup, type_string)) {
void *dereffed = *(void **)o->void_ptr;
assert(dereffed);
Obj *x = primitive_to_obj(process, dereffed, type_string);
obj_string_mut_append(total, x->s);
}
else if(obj_eq(process, type_lookup, type_char)) {
void *dereffed = *(void **)o->void_ptr;
assert(dereffed);
Obj *x = primitive_to_obj(process, dereffed, type_char);
obj_string_mut_append(total, obj_to_string(process, x)->s);
}
else {
void *dereffed = *(void **)o->void_ptr;
assert(dereffed);
Obj *x = primitive_to_obj(process, dereffed, type_lookup);
print_generic_array_or_struct(process, total, type_lookup, (struct Obj *)x);
/* obj_string_mut_append(total, "<ptr"); */
/* obj_string_mut_append(total, obj_to_string(type_lookup)->s); */
/* obj_string_mut_append(total, ">"); */
}
}
obj_string_mut_append(total, " ; ptr-to-global");
shadow_stack_pop(process);
}
else if(o->tag == 'F') {
obj_string_mut_append(total, "<ffi:");
static char temp[256];
snprintf(temp, 256, "%p", o->funptr);
obj_string_mut_append(total, temp);
if(o->meta) {
Obj *name = env_lookup(process, o->meta, obj_new_keyword("name"));
if(name) {
obj_string_mut_append(total, ":");
obj_string_mut_append(total, obj_to_string_not_prn(process, name)->s);
}
}
else {
}
obj_string_mut_append(total, ">");
}
else if(o->tag == 'L') {
if(setting_print_lambda_body) {
obj_string_mut_append(total, "(fn");
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(process, o->params)->s);
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(process, o->body)->s);
obj_string_mut_append(total, ")");
}
else {
obj_string_mut_append(total, "<lambda>");
}
}
else if(o->tag == 'M') {
if(setting_print_lambda_body) {
obj_string_mut_append(total, "(macro");
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(process, o->params)->s);
obj_string_mut_append(total, " ");
obj_string_mut_append(total, obj_to_string(process, o->body)->s);
obj_string_mut_append(total, ")");
}
else {
obj_string_mut_append(total, "<macro>");
}
}
else if(o->tag == 'T') {
char s[2] = {o->character, '\0'};
if(prn) {
obj_string_mut_append(total, "\\");
}
obj_string_mut_append(total, s);
}
else if(o->tag == 'B') {
if(o->boolean) {
obj_string_mut_append(total, "true");
}
else {
obj_string_mut_append(total, "false");
}
}
else if(o->tag == 'X') {
obj_string_mut_append(total, "(\n");
for(char *p = o->bytecode; *p != '\0';) {
const int buffer_size = 128;
char buffer[buffer_size];
snprintf(buffer, buffer_size, "%4d ", (int)(p - o->bytecode));
obj_string_mut_append(total, buffer);
char c = *p;
p++;
if(c == 'l') {
snprintf(buffer, buffer_size, "LOAD LIT %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'a') {
snprintf(buffer, buffer_size, "LOAD λ %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'c') {
snprintf(buffer, buffer_size, "CALL %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'd') {
snprintf(buffer, buffer_size, "DEFINE %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'y') {
snprintf(buffer, buffer_size, "LOOKUP %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'i') {
snprintf(buffer, buffer_size, "JUMP IF NOT %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'j') {
snprintf(buffer, buffer_size, "JUMP %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'r') {
snprintf(buffer, buffer_size, "RESET %d", *((int*)p));
p += sizeof(int);
}
else if(c == 't') {
snprintf(buffer, buffer_size, "LET %d", *((int*)p));
p += sizeof(int);
}
else if(c == 'e') {
snprintf(buffer, buffer_size, "DISCARD");
}
else if(c == 'g') {
snprintf(buffer, buffer_size, "CATCH");
}
else if(c == 'n') {
snprintf(buffer, buffer_size, "NOT");
}
else if(c == 'p') {
snprintf(buffer, buffer_size, "PUSH NIL");
}
else if(c == 'v') {
snprintf(buffer, buffer_size, "POP LET-SCOPE");
}
else if(c == 'x') {
snprintf(buffer, buffer_size, "DIRECT LOOKUP");
}
else if(c == 'q') {
snprintf(buffer, buffer_size, "END");
}
else {
snprintf(buffer, buffer_size, "UNHANDLED OP (%c)", *p);
p++;
}
obj_string_mut_append(total, buffer);
obj_string_mut_append(total, "\n");
}
obj_string_mut_append(total, "Literals: ");
obj_string_mut_append(total, obj_to_string(process, o->bytecode_literals)->s);
obj_string_mut_append(total, "\n");
obj_string_mut_append(total, ")");
}
else {
printf("obj_to_string() can't handle type tag %c (%d).\n", o->tag, o->tag);
assert(false);
}
}