diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/case.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux index 880a26eae..5b1187210 100644 --- a/stdlib/source/spec/compositor/generation/case.lux +++ b/stdlib/source/spec/compositor/generation/case.lux @@ -8,7 +8,7 @@ [data ["." error (#+ Error)] ["." text ("#@." equivalence) - format] + ["%" format (#+ format)]] [collection ["." list ("#@." fold)]]] [math @@ -97,7 +97,7 @@ (-> Runner Test) (do r.monad [value r.safe-frac] - (_.test (%name (name-of synthesis.branch/let)) + (_.test (%.name (name-of synthesis.branch/let)) (|> (synthesis.branch/let [(synthesis.f64 value) 0 (synthesis.variable/local 0)]) @@ -110,7 +110,7 @@ [on-true r.safe-frac on-false (|> r.safe-frac (r.filter (|>> (f/= on-true) not))) verdict r.bit] - (_.test (%name (name-of synthesis.branch/if)) + (_.test (%.name (name-of synthesis.branch/if)) (|> (synthesis.branch/if [(synthesis.bit verdict) (synthesis.f64 on-true) (synthesis.f64 on-false)]) @@ -123,7 +123,7 @@ [[inputS pathS] ..case on-success r.safe-frac on-failure (|> r.safe-frac (r.filter (|>> (f/= on-success) not)))] - (_.test (%name (name-of synthesis.branch/case)) + (_.test (%.name (name-of synthesis.branch/case)) (|> (synthesis.branch/case [inputS ($_ synthesis.path/alt |