diff options
| author | Eduardo Julian | 2022-04-09 03:03:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-09 03:03:46 -0400 |
| commit | 04c7f49a732380a2b9f72b1b937171b341c24323 (patch) | |
| tree | d54c92bf10665bba0ec4643746becce569604fb2 /stdlib/source/specification/compositor/analysis/type.lux | |
| parent | f11afb9d2dfe2d59b41e8056eb8c4ae65268415f (diff) | |
Better names for testing macros (plus better indentation).
Diffstat (limited to 'stdlib/source/specification/compositor/analysis/type.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/analysis/type.lux | 8 |
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)) ))) |