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).

---
 .../compositor/generation/structure.lux            | 76 +++++++++++-----------
 1 file changed, 38 insertions(+), 38 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 4423a85bf..3080f6abd 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -35,53 +35,53 @@
      tag_in (|> r.nat (# ! each (n.% num_tags)))
      .let [last?_in (|> num_tags -- (n.= tag_in))]
      value_in r.i64]
-    (_.test (%.symbol (symbol synthesis.variant))
-            (|> (synthesis.variant [analysis.#lefts (if last?_in
-                                                      (-- tag_in)
-                                                      tag_in)
-                                    analysis.#right? last?_in
-                                    analysis.#value (synthesis.i64 value_in)])
-                (run "variant")
-                (pipe.case
-                  {try.#Success valueT}
-                  (let [valueT (as (Array Any) valueT)]
-                    (and (n.= 3 (array.size valueT))
-                         (let [tag_out (as java/lang/Integer (maybe.trusted (array.read! 0 valueT)))
-                               last?_out (array.read! 1 valueT)
-                               value_out (as Any (maybe.trusted (array.read! 2 valueT)))
-                               same_tag? (|> tag_out ffi.int_to_long (as Nat) (n.= tag_in))
-                               same_flag? (case last?_out
-                                            {.#Some last?_out'}
-                                            (and last?_in (text#= "" (as Text last?_out')))
+    (_.property (%.symbol (symbol synthesis.variant))
+      (|> (synthesis.variant [analysis.#lefts (if last?_in
+                                                (-- tag_in)
+                                                tag_in)
+                              analysis.#right? last?_in
+                              analysis.#value (synthesis.i64 value_in)])
+          (run "variant")
+          (pipe.case
+            {try.#Success valueT}
+            (let [valueT (as (Array Any) valueT)]
+              (and (n.= 3 (array.size valueT))
+                   (let [tag_out (as java/lang/Integer (maybe.trusted (array.read! 0 valueT)))
+                         last?_out (array.read! 1 valueT)
+                         value_out (as Any (maybe.trusted (array.read! 2 valueT)))
+                         same_tag? (|> tag_out ffi.int_to_long (as Nat) (n.= tag_in))
+                         same_flag? (case last?_out
+                                      {.#Some last?_out'}
+                                      (and last?_in (text#= "" (as Text last?_out')))
 
-                                            {.#None}
-                                            (not last?_in))
-                               same_value? (|> value_out (as Int) (i.= value_in))]
-                           (and same_tag?
-                                same_flag?
-                                same_value?))))
+                                      {.#None}
+                                      (not last?_in))
+                         same_value? (|> value_out (as Int) (i.= value_in))]
+                     (and same_tag?
+                          same_flag?
+                          same_value?))))
 
-                  {try.#Failure _}
-                  false)))))
+            {try.#Failure _}
+            false)))))
 
 (def: (tuple run)
   (-> Runner Test)
   (do [! r.monad]
     [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2))))
      tuple_in (r.list size r.i64)]
-    (_.test (%.symbol (symbol synthesis.tuple))
-            (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
-                (run "tuple")
-                (pipe.case
-                  {try.#Success tuple_out}
-                  (let [tuple_out (as (Array Any) tuple_out)]
-                    (and (n.= size (array.size tuple_out))
-                         (list.every? (function (_ [left right])
-                                        (i.= left (as Int right)))
-                                      (list.zipped_2 tuple_in (array.list tuple_out)))))
+    (_.property (%.symbol (symbol synthesis.tuple))
+      (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
+          (run "tuple")
+          (pipe.case
+            {try.#Success tuple_out}
+            (let [tuple_out (as (Array Any) tuple_out)]
+              (and (n.= size (array.size tuple_out))
+                   (list.every? (function (_ [left right])
+                                  (i.= left (as Int right)))
+                                (list.zipped_2 tuple_in (array.list tuple_out)))))
 
-                  {try.#Failure _}
-                  false)))))
+            {try.#Failure _}
+            false)))))
 
 (def: .public (spec runner)
   (-> Runner Test)
-- 
cgit v1.2.3