diff options
Diffstat (limited to 'stdlib/source/spec/compositor/generation/case.lux')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/case.lux | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux index 43069bcb4..00a5e4d7c 100644 --- a/stdlib/source/spec/compositor/generation/case.lux +++ b/stdlib/source/spec/compositor/generation/case.lux @@ -9,6 +9,8 @@ [data ["." text ("#@." equivalence) ["%" format (#+ format)]] + [number + ["f" frac]] [collection ["." list ("#@." fold)]]] [math @@ -38,7 +40,7 @@ (def: #export (verify expected) (-> Frac (Try Any) Bit) (|>> (case> (#try.Success actual) - (f/= expected (:coerce Frac actual)) + (f.= expected (:coerce Frac actual)) (#try.Failure _) false))) @@ -108,7 +110,7 @@ (-> Runner Test) (do r.monad [on-true r.safe-frac - on-false (|> r.safe-frac (r.filter (|>> (f/= on-true) not))) + on-false (|> r.safe-frac (r.filter (|>> (f.= on-true) not))) verdict r.bit] (_.test (%.name (name-of synthesis.branch/if)) (|> (synthesis.branch/if [(synthesis.bit verdict) @@ -122,7 +124,7 @@ (do r.monad [[inputS pathS] ..case on-success r.safe-frac - on-failure (|> r.safe-frac (r.filter (|>> (f/= on-success) not)))] + on-failure (|> r.safe-frac (r.filter (|>> (f.= on-success) not)))] (_.test (%.name (name-of synthesis.branch/case)) (|> (synthesis.branch/case [inputS |