diff options
| author | Eduardo Julian | 2021-07-28 04:48:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-28 04:48:42 -0400 |
| commit | 5d4583aebd00adced10275b32ff1a93ab418be50 (patch) | |
| tree | 89315e104e2b0ddd6d56f894f01a0575d3078699 /stdlib/source/specification/compositor/generation/primitive.lux | |
| parent | 061fd8a209bbcaffc2bfb850ac6046752a567d50 (diff) | |
Re-named List's tags: Nil => End && Cons => Item
Diffstat (limited to 'stdlib/source/specification/compositor/generation/primitive.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/primitive.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 3b6dd657b..2ddb9a02e 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -23,17 +23,17 @@ (def: (f/=' reference subject) (-> Frac Frac Bit) (or (f.= reference subject) - (and (f.not-a-number? reference) - (f.not-a-number? subject)))) + (and (f.not_a_number? reference) + (f.not_a_number? subject)))) (def: #export (spec run) (-> Runner Test) (`` ($_ _.and - (~~ (template [<evaluation-name> <synthesis> <gen> <test>] + (~~ (template [<evaluation_name> <synthesis> <gen> <test>] [(do r.monad [expected <gen>] - (_.test (%.name (name-of <synthesis>)) - (|> (run <evaluation-name> (<synthesis> expected)) + (_.test (%.name (name_of <synthesis>)) + (|> (run <evaluation_name> (<synthesis> expected)) (case> (#try.Success actual) (<test> expected (:assume actual)) |