Searched refs:polyStderr (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | mpoly.h | 60 extern FILE *polyStdout, *polyStderr;
|
| H A D | mpoly.cpp | 92 FILE *polyStdout, *polyStderr; // Redirected in the Windows GUI variable
224 if (polyStderr == 0) polyStderr = stderr;
|
| H A D | pexport.cpp | 55 #include "mpoly.h" // For polyStderr
395 fprintf(polyStderr, "Unable to allocate memory\n");
498 fprintf(polyStderr, "Unexpected character in stream");
532 fprintf(polyStderr, "Unable to allocate memory\n");
642 fprintf(polyStderr, "Invalid object type\n");
880 fprintf(polyStderr, "Invalid object type\n");
898 fprintf(polyStderr, "Unable to open file: %S\n", fileName);
905 fprintf(polyStderr, "Unable to open file: %s\n", fileName);
|
| H A D | winstartup.cpp | 412 polyStderr = _fdopen(_open_osfhandle((INT_PTR)hStderr, _O_TEXT), "wt");
444 polyStderr = fopen("NUL", "wt");
445 HANDLE hStdErr = (HANDLE)_get_osfhandle(fileno(polyStderr));
|
| H A D | timing.cpp | 117 #include "mpoly.h" // For polyStderr
780 fprintf(polyStderr, "Environment variable $SOURCE_DATE_EPOCH: " XSTR(StrToLL) ": %s\n", strerror(errno));
784 fprintf(polyStderr, "Environment variable $SOURCE_DATE_EPOCH: No digits were found: %s\n", endptr);
788 fprintf(polyStderr, "Environment variable $SOURCE_DATE_EPOCH: Trailing garbage: %s\n", endptr);
792 fprintf(polyStderr, "Environment variable $SOURCE_DATE_EPOCH: value must be greater than or equal to: %lld but was found to be: %lld\n", (long long)std::numeric_limits<time_t>::min(), epoch);
796 fprintf(polyStderr, "Environment variable $SOURCE_DATE_EPOCH: value must be smaller than or equal to: %lld but was found to be: %lld\n", (long long)std::numeric_limits<time_t>::max(), epoch);
|
| H A D | run_time.cpp | 317 extern FILE *polyStderr;
318 fprintf(polyStderr, "Warning - Unable to increase stack - interrupting thread\n");
|
| H A D | processes.cpp | 1029 extern FILE *polyStderr;
1033 fprintf(polyStderr,"Run out of store - interrupting threads\n");
1057 fprintf(polyStderr,"Failed to recover - exiting\n");
|
Completed in 97 milliseconds