diff options
author | Eduardo Julian | 2019-07-02 23:36:02 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-07-02 23:36:02 -0400 |
commit | 91c0619657bcf2ac520e7dd2912188f66bbe2157 (patch) | |
tree | f26675f263eb5f0285c1674b0777a7369248fe07 /stdlib/source/spec/compositor/generation/primitive.lux | |
parent | 4f191540f831a7bba0e262b1a6b598f99fb9b35c (diff) |
Re-name "lux/data/error" to "lux/control/try".
Diffstat (limited to '')
-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@=] |