Searched refs:stats_fprintf (Results 1 – 1 of 1) sorted by relevance
1797 stats_fprintf(FILE *f, char *s, ...) in stats_fprintf() function1858 stats_fprintf(f, "'"); in stats_fprintf_escape()1861 case '\'': stats_fprintf(f, "'\\''"); break; in stats_fprintf_escape()1862 default: stats_fprintf(f, "%c", *s); break; in stats_fprintf_escape()1866 stats_fprintf(f, "' "); in stats_fprintf_escape()1876 stats_fprintf(f, "+RTS "); in initStatsFile()1879 stats_fprintf(f, "\n"); in initStatsFile()