stdio vararg decls

[m6w6/ext-psi] / psi.d / stdio.psi

diff --git a/psi.d/stdio.psi b/psi.d/stdio.psi
index 3e54ac4dd57bcf485909a6d1cf277c99e3a84091..0741874ac5ba0af4ee0ddefb83c3672ad3278d8e 100644 (file)
--- a/psi.d/stdio.psi
+++ b/psi.d/stdio.psi
@@ -64,3 +64,9 @@ function psi\rewind(object $stream) : void {
        let stream = objval($stream);
        return void(rewind);
 }
+
+//extern int printf(const char *fmt, ...);
+function psi\printf(string $fmt, mixed ...$args) : int {
+       let fmt = strval($fmt);
+       return to_int(printf);
+}