From 04c7f49a732380a2b9f72b1b937171b341c24323 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 9 Apr 2022 03:03:46 -0400
Subject: Better names for testing macros (plus better indentation).

---
 .../specification/compositor/generation/primitive.lux      | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/primitive.lux')

diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 46ba10d00..d79b226c3 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -32,14 +32,14 @@
            (~~ (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))
+                    (_.property (%.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 ="]
-- 
cgit v1.2.3