From b96beb587c11fcfbce86ce2d62351600cf6cad1b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 2 Jul 2022 05:38:27 -0400 Subject: More traditional names for unquoting macros. --- stdlib/source/specification/compositor/generation/case.lux | 2 +- stdlib/source/specification/compositor/generation/common.lux | 10 +++++----- .../source/specification/compositor/generation/primitive.lux | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) (limited to 'stdlib/source/specification/compositor/generation') diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 86c09da51..8d902977c 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -55,7 +55,7 @@ [value r.i64] (in [(synthesis.i64 value) synthesis.path/pop])) - (~~ (with_template [ ] + (,, (with_template [ ] [(do r.monad [value ] (in [( value) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index ec8adb582..8c3545262 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -82,7 +82,7 @@ [param (|> r.i64 (r.only (|>> ("lux i64 =" 0) not))) subject r.i64] (`` (all _.and - (~~ (with_template [ ] + (,, (with_template [ ] [(_.property (|> {synthesis.#Extension (list (synthesis.i64 subject))} (run (..safe )) @@ -100,7 +100,7 @@ (n.% (i64.left_shifted 8 1)) (as Int))] )) - (~~ (with_template [ ] + (,, (with_template [ ] [(_.property (|> {synthesis.#Extension (list (synthesis.i64 param) (synthesis.i64 subject))} @@ -132,7 +132,7 @@ [param (|> ..simple_frac (r.only (|>> (f.= +0.0) not))) subject ..simple_frac] (`` (all _.and - (~~ (with_template [ ] + (,, (with_template [ ] [(_.property (|> {synthesis.#Extension (list (synthesis.f64 param) (synthesis.f64 subject))} @@ -145,7 +145,7 @@ ["lux f64 /" f./ f.=] ["lux f64 %" f.% f.=] )) - (~~ (with_template [ ] + (,, (with_template [ ] [(_.property (|> {synthesis.#Extension (list (synthesis.f64 param) (synthesis.f64 subject))} @@ -161,7 +161,7 @@ ["lux f64 =" f.=] ["lux f64 <" f.<] )) - (~~ (with_template [ ] + (,, (with_template [ ] [(_.property (|> {synthesis.#Extension (list)} (run (..safe )) diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 0a21ad67b..f5861b006 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 - (~~ (with_template [ ] + (,, (with_template [ ] [(do r.monad [expected ] (_.property (%.symbol (symbol )) -- cgit v1.2.3