From ac419f9e94bc3b82cfb78c41e91b08b308a2ac71 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 23:31:05 -0400
Subject: Eliminated the last application of annotations.

---
 stdlib/source/library/lux.lux | 21 +--------------------
 1 file changed, 1 insertion(+), 20 deletions(-)

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

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index bc5393c3c..c1696ff86 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -2981,24 +2981,6 @@
            #None
            (failure "Wrong syntax for def:")))
 
-(def: (with_definition_annotation addition annotations)
-  (-> [Code Code] Code Code)
-  (case [addition annotations]
-    [[name value] [location (#Record pairs)]]
-    [location (#Record (#Item [name value] pairs))]
-
-    _
-    annotations))
-
-(def: (merged_definition_annotations addition base)
-  (-> Code Code Code)
-  (case addition
-    [location (#Record pairs)]
-    (list\mix with_definition_annotation base pairs)
-    
-    _
-    base))
-
 (def:' .private (macroP tokens)
        (-> (List Code) (Maybe [Code Text (List Text) (List [Code Code]) Code]))
        (|> (do maybe_monad
@@ -3483,8 +3465,7 @@
                   _
                   (` ((~ (local_identifier$ name)) (~+ args))))]
       (in_meta (list (` (..def: (~ export_policy) (~ usage)
-                          (~ (merged_definition_annotations (` {#.implementation? #1})
-                                                            (record$ annotations)))
+                          (~ (record$ annotations))
                           (~ type)
                           (implementation (~+ definitions)))))))
 
-- 
cgit v1.2.3