add free()
authorMichael Wallner <mike@php.net>
Tue, 25 Jul 2017 07:03:34 +0000 (09:03 +0200)
committerMichael Wallner <mike@php.net>
Tue, 25 Jul 2017 07:03:34 +0000 (09:03 +0200)
psi.d/stdlib.psi

index 63f2868..0b4a506 100644 (file)
@@ -30,3 +30,8 @@ function psi\strtold(string $str, string &$end = null) : float {
        return to_float(strtold);
        set $end = to_string(*endptr);
 }
+
+function psi\free(object $memory) : void {
+       let ptr = objval($memory);
+       return void(free);
+}