diff options
| author | Eduardo Julian | 2022-06-12 00:38:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-12 00:38:20 -0400 |
| commit | b48ea68a83d01903554c7696c77eedaaf1035680 (patch) | |
| tree | c342d8094c3158de16526f874ca9624418cd2dd2 /stdlib/source/specification/compositor/generation/primitive.lux | |
| parent | 7abf2d0ac55c229a8793bbff31f132596ffcb275 (diff) | |
De-sigil-ification: suffix : [Part 3]
Diffstat (limited to 'stdlib/source/specification/compositor/generation/primitive.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/primitive.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index d76f98f0a..226d0c25e 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -29,7 +29,7 @@ (def: .public (spec run) (-> Runner Test) (`` (all _.and - (~~ (template [<evaluation_name> <synthesis> <gen> <test>] + (~~ (with_template [<evaluation_name> <synthesis> <gen> <test>] [(do r.monad [expected <gen>] (_.property (%.symbol (symbol <synthesis>)) |