diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/structure.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux index d22775a43..619f3921f 100644 --- a/stdlib/source/spec/compositor/generation/structure.lux +++ b/stdlib/source/spec/compositor/generation/structure.lux @@ -4,9 +4,9 @@ [abstract [monad (#+ do)]] [control - [pipe (#+ case>)]] + [pipe (#+ case>)] + ["." try]] [data - ["." error] ["." maybe] ["." text ("#@." equivalence) ["%" format (#+ format)]] @@ -39,7 +39,7 @@ #analysis.right? last?-in #analysis.value (synthesis.i64 value-in)}) (run "variant") - (case> (#error.Success valueT) + (case> (#try.Success valueT) (let [valueT (:coerce (Array Any) valueT)] (and (n/= 3 (array.size valueT)) (let [tag-out (:coerce java/lang/Integer (maybe.assume (array.read 0 valueT))) @@ -57,7 +57,7 @@ same-flag? same-value?)))) - (#error.Failure error) + (#try.Failure _) false))))) (def: (tuple run) @@ -68,14 +68,14 @@ (_.test (%.name (name-of synthesis.tuple)) (|> (synthesis.tuple (list@map (|>> synthesis.i64) tuple-in)) (run "tuple") - (case> (#error.Success tuple-out) + (case> (#try.Success tuple-out) (let [tuple-out (:coerce (Array Any) tuple-out)] (and (n/= size (array.size tuple-out)) (list.every? (function (_ [left right]) (i/= left (:coerce Int right))) (list.zip2 tuple-in (array.to-list tuple-out))))) - (#error.Failure error) + (#try.Failure _) false))))) (def: #export (spec runner) |