aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/poly/equivalence.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-03-30 13:12:18 -0400
committerEduardo Julian2022-03-30 13:12:18 -0400
commit1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (patch)
treeb042049a8ff6036007d57c8253ce203a1ed90744 /stdlib/source/test/lux/type/poly/equivalence.lux
parent220c804f9136c73058802575ee49f3f769d5599f (diff)
Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.
Diffstat (limited to 'stdlib/source/test/lux/type/poly/equivalence.lux')
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index 1b1695122..02c94b58e 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -76,8 +76,8 @@
(random.unicode size))
gen_recursive)))
-(for @.old (as_is)
- (as_is (def: equivalence
+(for @.old (these)
+ (these (def: equivalence
(Equivalence ..Record)
(/.equivalence ..Record))))