diff options
author | Eduardo Julian | 2019-07-24 23:23:13 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-07-24 23:23:13 -0400 |
commit | 30c19b40f5fd583d19aa7cf495a19c1b91f86320 (patch) | |
tree | 77cda2c601e7975b665a358b96b7ae00882d3ed9 /stdlib/source/spec/compositor/generation/case.lux | |
parent | 68b37de7281d31470263d0e06bc72b1c5b6c2e32 (diff) |
No more "f/"-prefixed functions.
+ No more "m/"-prefixed functions.
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 |