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

---
 stdlib/source/specification/compositor/analysis/type.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/specification/compositor/analysis/type.lux')

diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 5f2820ba2..2cbc93cea 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -57,8 +57,8 @@
     [[typeC exprT exprC] ..check
      [other_typeC other_exprT other_exprC] ..check]
     (all _.and
-         (_.test "lux check"
-                 (check_success+ expander state "lux check" (list typeC exprC) exprT))
-         (_.test "lux coerce"
-                 (check_success+ expander state "lux coerce" (list typeC other_exprC) exprT))
+         (_.property "lux check"
+           (check_success+ expander state "lux check" (list typeC exprC) exprT))
+         (_.property "lux coerce"
+           (check_success+ expander state "lux coerce" (list typeC other_exprC) exprT))
          )))
-- 
cgit v1.2.3