better errors
[m6w6/ext-psi] / psi.d / stdio.psi
index 3e54ac4dd57bcf485909a6d1cf277c99e3a84091..43987de326a91021f0005d9a1ceeff2ff924293c 100644 (file)
@@ -64,3 +64,10 @@ function psi\rewind(object $stream) : void {
        let stream = objval($stream);
        return void(rewind);
 }
+
+//extern int printf(const char *format, ...);
+function psi\printf(string $fmt, mixed ...$args) : int {
+       let format = strval($fmt);
+       return to_int(printf);
+}
+