Better names for testing macros (plus better indentation).

1 files changed, 7 insertions, 7 deletions

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 ="]