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 63f28685e8bd37a84c29dba2b55b9d534fee0049..0b4a5067b30608adcd877a2435dbcfb53a37113b 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);
+}