#include "config.h"

#include <stdarg.h>
#include <stdlib.h>
#include <stdio.h>

#include "logerr.h"


/**
 * @tags infallible
 */
void
vlogerr(
	const char *const file,
	const char *const function,
	const int lineno,
	FILE *restrict stream,
	const char *restrict format,
	...
) {
	(void)fprintf(stream, "%s:%s:%d: ", file, function, lineno);

	va_list args;
	va_start(args, format);
	(void)vfprintf(stream, format, args);
	va_end(args);

	return;
}