+static void *marshal_func(void *cb_ctx, impl_val **ptr, decl_arg *spec, token_t cast, zval *zv, void **tmp) {
+ let_vals *vals = cb_ctx;
+ size_t i;
+
+ for (i = 0; i < vals->count; ++i) {
+ impl_var *var = locate_let_val_impl_var(vals->vals[i]);
+
+ if (!strcmp(&var->name[1], spec->var->name)) {
+ return *ptr = psi_let_val(vals->vals[i], spec);
+ }
+ }
+
+ return *ptr = NULL;
+}
+
+static inline impl_val *psi_let_func(let_func *func, decl_arg *darg) {
+ impl_arg *iarg = func->var->arg;
+
+ if (func->outer && !iarg) {
+ impl_arg *outer_arg = locate_let_val_impl_var(func->outer)->arg;
+ iarg = init_impl_arg(
+ init_impl_type(PSI_T_MIXED, "mixed"),
+ copy_impl_var(func->var), NULL);
+
+
+ if (!(iarg->_zv = zend_hash_str_find(Z_ARRVAL_P(outer_arg->_zv), &iarg->var->name[1], strlen(iarg->var->name)-1))) {
+ iarg->_zv = ecalloc(1, sizeof(*iarg->_zv));
+ }
+ }
+
+ switch (func->type) {
+ case PSI_T_BOOLVAL:
+ return psi_let_boolval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_INTVAL:
+ return psi_let_intval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_FLOATVAL:
+ return psi_let_floatval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_STRVAL:
+ return psi_let_strval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_STRLEN:
+ return psi_let_strlen(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_PATHVAL:
+ return psi_let_pathval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_OBJVAL:
+ return psi_let_objval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_ZVAL:
+ return psi_let_zval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ case PSI_T_VOID:
+ return psi_let_void(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ break;
+ case PSI_T_ARRVAL:
+ if (func->inner) {
+ size_t i;
+ decl_type *real = real_decl_type(darg->type);
+
+ if (iarg->type->type != PSI_T_ARRAY) {
+ SEPARATE_ARG_IF_REF(iarg->_zv);
+ convert_to_array(iarg->_zv);
+ }
+
+ return psi_array_to_struct_ex(real->real.strct, Z_ARRVAL_P(iarg->_zv), marshal_func, func->inner);
+ } else {
+ return psi_let_arrval(darg->ptr, darg->type, iarg->type->type, &iarg->val, iarg->_zv, &darg->mem);
+ }
+ break;
+ default:
+ assert(0);
+ }
+ return NULL;
+
+ // return darg->ptr = func->handler(darg->ptr, darg->type, func->var->arg, &darg->mem);
+}
+
+static inline void *psi_do_let(let_stmt *let)
+{
+ return psi_let_val(let->val, let->var->arg);
+}
+