diff options
author | Eduardo Julian | 2022-04-08 05:42:36 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-04-08 05:42:36 -0400 |
commit | 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (patch) | |
tree | c50f12c5e47e3db90c3a701b54ee9953da942210 /stdlib/source/specification/compositor/generation/primitive.lux | |
parent | e5e4c2aff562e5c01fefb808d1d68a40f29c9cc5 (diff) |
De-sigil-ification: $
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/compositor/generation/primitive.lux | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index db50dc185..46ba10d00 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -28,22 +28,22 @@ (def: .public (spec run) (-> Runner Test) - (`` ($_ _.and - (~~ (template [<evaluation_name> <synthesis> <gen> <test>] - [(do r.monad - [expected <gen>] - (_.test (%.symbol (symbol <synthesis>)) - (|> (run <evaluation_name> (<synthesis> expected)) - (pipe.case - {try.#Success actual} - (<test> expected (as_expected actual)) + (`` (all _.and + (~~ (template [<evaluation_name> <synthesis> <gen> <test>] + [(do r.monad + [expected <gen>] + (_.test (%.symbol (symbol <synthesis>)) + (|> (run <evaluation_name> (<synthesis> expected)) + (pipe.case + {try.#Success actual} + (<test> expected (as_expected actual)) - {try.#Failure _} - false))))] + {try.#Failure _} + false))))] - ["bit" synthesis.bit r.bit bit#=] - ["i64" synthesis.i64 r.i64 "lux i64 ="] - ["f64" synthesis.f64 r.frac f.='] - ["text" synthesis.text (r.ascii 5) text#=] - )) - ))) + ["bit" synthesis.bit r.bit bit#=] + ["i64" synthesis.i64 r.i64 "lux i64 ="] + ["f64" synthesis.f64 r.frac f.='] + ["text" synthesis.text (r.ascii 5) text#=] + )) + ))) |