From 5e9f9b2206d2dfdc532aa869c2e49866f3d7fb73 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Tue, 25 Jul 2017 09:03:34 +0200
Subject: [PATCH] add free()

---
 psi.d/stdlib.psi | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/psi.d/stdlib.psi b/psi.d/stdlib.psi
index 63f2868..0b4a506 100644
--- a/psi.d/stdlib.psi
+++ b/psi.d/stdlib.psi
@@ -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);
+}
-- 
2.30.2