projects
/
m6w6
/
ext-psi
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
|
github
raw
|
patch
| inline |
side by side
(parent:
ca57acf
)
add free()
author
Michael Wallner
<mike@php.net>
Tue, 25 Jul 2017 07:03:34 +0000
(09:03 +0200)
committer
Michael Wallner
<mike@php.net>
Tue, 25 Jul 2017 07:03:34 +0000
(09:03 +0200)
psi.d/stdlib.psi
patch
|
blob
|
history
diff --git
a/psi.d/stdlib.psi
b/psi.d/stdlib.psi
index 63f28685e8bd37a84c29dba2b55b9d534fee0049..0b4a5067b30608adcd877a2435dbcfb53a37113b 100644
(file)
--- 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);
+}