aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-12 13:33:48 -0400
committerEduardo Julian2022-06-12 13:33:48 -0400
commit8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch)
tree396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/test/lux.lux
parent9c21fd1f33eb52fb971d493ad21a67036d68b841 (diff)
De-sigil-ification: suffix : [Part 4]
Diffstat (limited to 'stdlib/source/test/lux.lux')
-rw-r--r--stdlib/source/test/lux.lux10
1 files changed, 4 insertions, 6 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 0d393c2c2..0d282e16f 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -195,11 +195,11 @@
(is (-> Any a)
return)))
-(/.implementation: (global_returner value)
+(def: (global_returner value)
(All (_ a) (-> a (Returner a)))
-
- (def: (return _)
- value))
+ (/.implementation
+ (def: (return _)
+ value)))
(def: static_return 123)
@@ -215,8 +215,6 @@
expected)))]]
(_.for [/.Interface]
(all _.and
- (_.coverage [/.implementation:]
- (n.= expected (at (global_returner expected) return [])))
(_.coverage [/.implementation]
(n.= expected (at local_returner return [])))
(_.coverage [/.open:]