diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux')
-rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux index fd49b0350..53d9b2117 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux @@ -145,9 +145,9 @@ {/.#Exec (again this) (again that)} - {/.#Let input register output} - {/.#Let (again input) - (..prune redundant register) + {/.#Let [register input] output} + {/.#Let [(..prune redundant register) + (again input)] (again output)} {/.#If test then else} @@ -393,7 +393,7 @@ (in [redundancy (/.branch/exec @ [this that])])) - {/.#Let input register output} + {/.#Let [register input] output} (do try.monad [[redundancy input] (optimization' [redundancy input]) redundancy (..declare register redundancy) @@ -404,7 +404,7 @@ (in [(dictionary.lacks register redundancy) [@ {/.#Control {/.#Branch (if redundant? {/.#Exec input (..remove_local register output)} - {/.#Let input register output})}}]])) + {/.#Let [register input] output})}}]])) {/.#If test then else} (do try.monad |