Branch: Tag:

2019-12-22

2019-12-22 15:07:50 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Runtime: Use new syntax when outputting types.

1943:    j++;    }    fprintf(stderr, "(%dbit)", j); +  } else if (min == max) { +  fprintf(stderr, "(%ld)", (long)min);    } else {    fprintf(stderr, "(%ld..%ld)",(long)min,(long)max);    }
2042:    j++;    }    fprintf(stderr, "(%dbit)", j); +  } else if (min == max) { +  fprintf(stderr, "(%ld)", (long)min);    } else {    fprintf(stderr, "(%ld..%ld)",(long)min,(long)max);    }
2089:    }    fprintf(stderr, "%dbit", j);    } else { -  if (min != MIN_INT32) { +  if ((min != MIN_INT32) || (max == min)) {    fprintf(stderr, "%d", min);    } -  +  if (max != min) {    fprintf(stderr, "..");    if (max != MAX_INT32) {    fprintf(stderr, "%d", max);    }    } -  +  }    fprintf(stderr, " | ");    s = s->cdr;    }
2124:    }    fprintf(stderr, "%dbit", j);    } else { -  if (min != MIN_INT32) { +  if ((min != MIN_INT32) || (min == max)) {    fprintf(stderr, "%d", min);    } -  +  if (min != max) {    fprintf(stderr, "..");    if (max != MAX_INT32) {    fprintf(stderr, "%d", max);    }    }    } -  +  }    fprintf(stderr, ")");    }    break;
2285:    j++;    }    string_builder_sprintf(s, "int(%dbit)", j); +  } else if (min == max) { +  string_builder_sprintf(s, "int(%ld)", (long)min);    } else if(min!=MIN_INT32 || max!=MAX_INT32) {    string_builder_sprintf(s, "int(%ld..%ld)", (long)min, (long)max);    } else {
2352:    }    string_builder_sprintf(s, "%dbit", j);    } else { -  if (min != MIN_INT32) { +  if ((min != MIN_INT32) || (min == max)) {    string_builder_sprintf(s, "%d", min);    } -  +  if (min != max) {    string_builder_strcat(s, "..");    if (max != MAX_INT32) {    string_builder_sprintf(s, "%d", max);    }    }    } -  +  }    string_builder_strcat(s, " | ");    t = t->cdr;    }
2380:    }    string_builder_sprintf(s, "%dbit", j);    } else { -  if (min != MIN_INT32) { +  if ((min != MIN_INT32) || (min == max)) {    string_builder_sprintf(s, "%d", min);    } -  +  if (min != max) {    string_builder_strcat(s, "..");    if (max != MAX_INT32) {    string_builder_sprintf(s, "%d", max);    }    }    } -  +  }    string_builder_putchar(s, ')');    } else {    string_builder_strcat(s, "string");