diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux')
| -rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux index fbe1a96b6..080905e7f 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/when.lux @@ -276,7 +276,7 @@ (do phase.monad [body (/.with_new_local (synthesize archive body))] - (in (/.branch/let @ [input @variable body])))) + (in (/.branch/let @ [[@variable input] body])))) (def .public (synthesize_masking synthesize @ archive input @variable @output) (-> Phase Location Archive /.Term Register Register @@ -455,7 +455,7 @@ (/.branch/exec @ [before after]) (list#mix for_synthesis synthesis_storage (list before after)) - (/.branch/let @ [inputS register exprS]) + (/.branch/let @ [[register inputS] exprS]) (revised #dependencies (set.union (|> synthesis_storage (revised #bindings (set.has register)) |