diff options
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux')
| -rw-r--r-- | stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux index 0ea42a2a9..76405c771 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux @@ -7,11 +7,11 @@ ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] [control - pipe] + pipe + ["." try]] [data ["." bit ("#@." equivalence)] ["." product] - ["." error] [collection ["." list]]]] ["." // #_ @@ -40,7 +40,7 @@ (|> (////analysis.variant [lefts right? memberA]) //.phase (///.run [///bundle.empty ////synthesis.init]) - (case> (^ (#error.Success (////synthesis.variant [leftsS right?S valueS]))) + (case> (^ (#try.Success (////synthesis.variant [leftsS right?S valueS]))) (let [tagS (if right?S (inc leftsS) leftsS)] (and (n/= tagA tagS) (|> tagS (n/= (dec size)) (bit@= right?S)) @@ -58,7 +58,7 @@ (|> (////analysis.tuple membersA) //.phase (///.run [///bundle.empty ////synthesis.init]) - (case> (^ (#error.Success (////synthesis.tuple membersS))) + (case> (^ (#try.Success (////synthesis.tuple membersS))) (and (n/= size (list.size membersS)) (list.every? (product.uncurry //primitive.corresponds?) (list.zip2 membersA membersS))) |