diff options
Diffstat (limited to 'stdlib/compiler.tl')
| -rw-r--r-- | stdlib/compiler.tl | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/stdlib/compiler.tl b/stdlib/compiler.tl index 00dbd292..e722cf41 100644 --- a/stdlib/compiler.tl +++ b/stdlib/compiler.tl @@ -2303,12 +2303,25 @@ ,*lm-body)) lm-expr))))) +(defun simplify-variadic-lambda (form) + (if-match @(require (lambda @(and @params @(or @(end (@nil . @rest)) + @rest)) + [sys:apply . @args]) + rest + (eq 1 (count rest (flatten args))) + (eq [args -1] rest)) + form + ^(lambda (,*(butlastn 0 params) ,rest) + [call ,*(butlastn 1 args) ,rest]) + form)) + (defun inline-chain-rec (form arg) (match-ecase form ((chain @fun) - ^(call ,fun ,arg)) + ^(call ,(simplify-variadic-lambda fun) ,arg)) ((chain @fun . @rest) - (inline-chain-rec ^(chain ,*rest) ^(call ,fun ,arg))))) + (inline-chain-rec ^(chain ,*rest) + ^(call ,(simplify-variadic-lambda fun) ,arg))))) (defun can-inline-chain (form) (let (yes) |