diff options
author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/specification/compositor/generation/primitive.lux | |
parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/compositor/generation/primitive.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 540fc289b..f927d5dd2 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -20,13 +20,13 @@ [/// [common (.only Runner)]]) -(def: (f/=' reference subject) +(def (f/=' reference subject) (-> Frac Frac Bit) (or (f.= reference subject) (and (f.not_a_number? reference) (f.not_a_number? subject)))) -(def: .public (spec run) +(def .public (spec run) (-> Runner Test) (`` (all _.and (~~ (with_template [<evaluation_name> <synthesis> <gen> <test>] |