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/function.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 7fc24cfb8..2fb9714e0 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -55,12 +55,12 @@
      .let [expectation (maybe.trusted (list.item (-- local) inputs))
            inputsS (list#each (|>> synthesis.f64) inputs)]]
     (all _.and
-         (_.property "Can read arguments."
+         (_.test "Can read arguments."
            (|> (synthesis.function/apply [synthesis.#function functionS
                                           synthesis.#arguments inputsS])
                (run "with_local")
                (//case.verify expectation)))
-         (_.property "Can partially apply functions."
+         (_.test "Can partially apply functions."
            (or (n.= 1 arity)
                (let [preS (list.first partial_arity inputsS)
                      postS (list.after partial_arity inputsS)
@@ -70,7 +70,7 @@
                                                 synthesis.#arguments postS])
                      (run "partial_application")
                      (//case.verify expectation)))))
-         (_.property "Can read environment."
+         (_.test "Can read environment."
            (or (n.= 1 arity)
                (let [environment (|> partial_arity
                                      (enum.range n.enum 1)
-- 
cgit v1.2.3