p
/
ell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Allow calling literal blocks

This commit is contained in:
Přemysl Eric Janouch 2017-05-21 16:20:39 +02:00
parent d1d598f968
commit 1c2db8ad6b
Signed by: p
GPG Key ID: B715679E3A361BE6
1 changed files with 22 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
ell.c
View File

@ -819,6 +819,7 @@ execute_statement
struct item *following = body->next; struct item *following = body->next;
const char *name = "(anonymous)"; const char *name = "(anonymous)";
struct item *destroy = NULL;
if (body->type == ITEM_STRING) { if (body->type == ITEM_STRING) {
name = body->value; name = body->value;
// TODO: these could be just regular handlers, only top priority // TODO: these could be just regular handlers, only top priority
@ -829,16 +830,21 @@ execute_statement
if (!strcmp (name, "arg")) if (!strcmp (name, "arg"))
return rename_arguments (ctx, following); return rename_arguments (ctx, following);
body = get (ctx, name); body = get (ctx, name);
} } else {
// When someone tries to call a block directly, we must evaluate it;
// e.g. something like `{ choose [@f1 @f2 @f3] } arg1 arg2 arg3`.
struct item *evaluated = NULL;
if (!execute_statement (ctx, body, &evaluated))
return false;
// It might a bit confusing that this doesn't evaluate arguments
// but neither does "quote" and there's nothing to do here
if (!evaluated)
return true;
// XXX: not sure whether it makes more sense to evaluate a list item_free_list (evaluated->next);
// instead of leaving it as it is -> probably evaluate, since then evaluated->next = NULL;
// lambdas will be better: { arg _n; print @_n } 'hello\n' destroy = body = evaluated;
// }
// Even though it's practically useless being able to dereference
// function names directly that way: `@list 1 2 3` vs `list 1 2 3`
//
// Maybe something like (choose [@f1 @f2 @f3]) arg1 arg2 arg3
if (!body) { if (!body) {
struct native_fn *fn = native_find (ctx, name); struct native_fn *fn = native_find (ctx, name);
@ -848,15 +854,20 @@ execute_statement
return true; return true;
} else if (body->type == ITEM_STRING) { } else if (body->type == ITEM_STRING) {
// Recursion could be pretty fatal, let's not do that // Recursion could be pretty fatal, let's not do that
if (check (ctx, (*result = new_clone (body)))) if (check (ctx, (*result = new_clone (body)))) {
item_free_list (destroy);
return true; return true;
}
} else { } else {
// FIXME: this creates a confusing backtrace for argument evaluation // FIXME: this creates a confusing backtrace for argument evaluation
if (execute_and_set_args (ctx, following) if (execute_and_set_args (ctx, following)
&& execute (ctx, body->head, result)) && execute (ctx, body->head, result)) {
item_free_list (destroy);
return true; return true;
}
} }
item_free_list (destroy);
item_free_list (*result); item_free_list (*result);
*result = NULL; *result = NULL;