No more module annotations.

2 files changed, 0 insertions, 28 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux
index 16493d1dc..37ccff163 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux
@@ -51,8 +51,6 @@
         (_.list (_.and _.text global))
         ... #imports
         (_.list _.text)
-        ... #module_annotations
-        (_.maybe _.code)
         ... #module_state
         _.any)))
 
@@ -87,8 +85,6 @@
         (<b>.list (<>.and <b>.text global))
         ... #imports
         (<b>.list <b>.text)
-        ... #module_annotations
-        (<b>.maybe <b>.code)
         ... #module_state
         (\ <>.monad in #.Cached))))
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
index 62bf284c3..845d07f17 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
@@ -65,38 +65,14 @@
                       #.Compiled "Compiled"
                       #.Cached   "Cached")]))
 
-(exception: .public (cannot_set_module_annotations_more_than_once {module Text} {old Code} {new Code})
-  (exception.report
-   ["Module" module]
-   ["Old annotations" (%.code old)]
-   ["New annotations" (%.code new)]))
-
 (def: .public (empty hash)
   (-> Nat Module)
   [#.module_hash        hash
    #.module_aliases     (list)
    #.definitions        (list)
    #.imports            (list)
-   #.module_annotations #.None
    #.module_state       #.Active])
 
-(def: .public (set_annotations annotations)
-  (-> Code (Operation Any))
-  (///extension.lifted
-   (do ///.monad
-     [self_name meta.current_module_name
-      self meta.current_module]
-     (case (value@ #.module_annotations self)
-       #.None
-       (function (_ state)
-         (#try.Success [(revised@ #.modules
-                                  (plist.has self_name (with@ #.module_annotations (#.Some annotations) self))
-                                  state)
-                        []]))
-       
-       (#.Some old)
-       (/.except' cannot_set_module_annotations_more_than_once [self_name old annotations])))))
-
 (def: .public (import module)
   (-> Text (Operation Any))
   (///extension.lifted