From 061fd8a209bbcaffc2bfb850ac6046752a567d50 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 27 Jul 2021 03:51:10 -0400 Subject: Re-named wrap => in && unwrap => out. --- stdlib/source/specification/compositor/generation/case.lux | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/case.lux') diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 81e6f5988..d18d6b461 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -52,13 +52,13 @@ (`` ($_ r.either (do r.monad [value r.i64] - (wrap [(synthesis.i64 value) - synthesis.path/pop])) + (in [(synthesis.i64 value) + synthesis.path/pop])) (~~ (template [ ] [(do r.monad [value ] - (wrap [( value) - ( value)]))] + (in [( value) + ( value)]))] [r.bit synthesis.bit synthesis.path/bit] [r.i64 synthesis.i64 synthesis.path/i64] @@ -78,7 +78,7 @@ (synthesis.member/right idx) (synthesis.member/left idx)) subP)]] - (wrap [caseS caseP])) + (in [caseS caseP])) (do {! r.monad} [size ..size idx (|> r.nat (\ ! map (n.% size))) @@ -93,7 +93,7 @@ (synthesis.side/right idx) (synthesis.side/left idx)) subP)]] - (wrap [caseS caseP])) + (in [caseS caseP])) )))) (def: (let-spec run) -- cgit v1.2.3