diff options
Diffstat (limited to 'stdlib/source/spec/compositor/generation/primitive.lux')
-rw-r--r-- | stdlib/source/spec/compositor/generation/primitive.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/spec/compositor/generation/primitive.lux b/stdlib/source/spec/compositor/generation/primitive.lux index 48ff99933..e3068a50a 100644 --- a/stdlib/source/spec/compositor/generation/primitive.lux +++ b/stdlib/source/spec/compositor/generation/primitive.lux @@ -4,9 +4,9 @@ [abstract [monad (#+ do)]] [control - [pipe (#+ case>)]] + [pipe (#+ case>)] + ["." try]] [data - ["." error] ["." bit ("#@." equivalence)] [number ["." frac]] @@ -34,10 +34,10 @@ [expected <gen>] (_.test (%.name (name-of <synthesis>)) (|> (run <evaluation-name> (<synthesis> expected)) - (case> (#error.Success actual) + (case> (#try.Success actual) (<test> expected (:assume actual)) - (#error.Failure error) + (#try.Failure _) false))))] ["bit" synthesis.bit r.bit bit@=] |