From a4b64bf1cdf47160b6b615d2c6493039abfd7a94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 28 Jul 2022 17:39:01 -0400
Subject: Extracted unit-testing machinery into its own module.

---
 stdlib/source/specification/compositor/generation/structure.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 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 523ad990e..5521c6303 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -35,7 +35,7 @@
      tag_in (|> r.nat (at ! each (n.% num_tags)))
      .let [last?_in (|> num_tags -- (n.= tag_in))]
      value_in r.i64]
-    (_.property (%.symbol (symbol synthesis.variant))
+    (_.test (%.symbol (symbol synthesis.variant))
       (|> (synthesis.variant [analysis.#lefts (if last?_in
                                                 (-- tag_in)
                                                 tag_in)
@@ -69,7 +69,7 @@
   (do [! r.monad]
     [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
      tuple_in (r.list size r.i64)]
-    (_.property (%.symbol (symbol synthesis.tuple))
+    (_.test (%.symbol (symbol synthesis.tuple))
       (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
           (run "tuple")
           (pipe.case
-- 
cgit v1.2.3