From 8c3a1afab9efeb86e2f53d743551fc689fbad257 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Jun 2022 13:33:48 -0400
Subject: De-sigil-ification: suffix : [Part 4]

---
 stdlib/source/test/lux.lux | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

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:]
-- 
cgit v1.2.3