aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/analysis
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/analysis')
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux8
1 files changed, 4 insertions, 4 deletions
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))
)))