No more module annotations.

1 files changed, 14 insertions, 27 deletions

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index c1696ff86..823132f6c 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -549,7 +549,6 @@
 ...     #module_aliases     (List [Text Text])
 ...     #definitions        (List [Text Global])
 ...     #imports            (List Text)
-...     #module_annotations (Maybe Code)
 ...     #module_state       Module_State]))
 ("lux def type tagged" Module
  (#Named ["library/lux" "Module"]
@@ -565,14 +564,11 @@
             (#Product
              ... "lux.imports"
              (#Apply Text List)
-             (#Product
-              ... "lux.module_annotations"
-              (#Apply Code Maybe)
-              ... module_state
-              Module_State)
+             ... module_state
+             Module_State
              )))))
  (record$ #End)
- ["module_hash" "module_aliases" "definitions" "imports" "module_annotations" "module_state"]
+ ["module_hash" "module_aliases" "definitions" "imports" "module_state"]
  .public)
 
 ... (type: .public Type_Context
@@ -1673,7 +1669,7 @@
                  #scopes scopes #type_context types    #host    host
                  #seed seed #expected  expected #location  location #extensions extensions
                  #scope_type_vars scope_type_vars #eval _eval] state]
-               ({(#Some [#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_annotations _ #module_state _])
+               ({(#Some [#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_state _])
                  ({(#Some constant)
                    ({(#Alias real_name)
                      (#Right [state real_name])
@@ -2210,7 +2206,7 @@
              ($' Maybe Macro))
          (do maybe_monad
            [$module (plist\value module modules)
-            gdef (let' [[#module_hash _ #module_aliases _ #definitions bindings #imports _ #module_annotations _ #module_state _] ("lux type check" Module $module)]
+            gdef (let' [[#module_hash _ #module_aliases _ #definitions bindings #imports _ #module_state _] ("lux type check" Module $module)]
                        (plist\value name bindings))]
            ({(#Alias [r_module r_name])
              (macro'' modules current_module r_module r_name)
@@ -3261,7 +3257,7 @@
   (-> Name (Meta [Nat (List Name) Bit Type]))
   (do meta_monad
     [=module (..module module)
-     .let [[#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_annotations _ #module_state _] =module]]
+     .let [[#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_state _] =module]]
     (case (plist\value (text\composite "#" name) definitions)
       (#Some (#Slot [exported type group index]))
       (in_meta [index
@@ -3289,7 +3285,7 @@
     (#Named [module name] unnamed)
     (do meta_monad
       [=module (..module module)
-       .let [[#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_annotations _ #module_state _] =module]]
+       .let [[#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_state _] =module]]
       (case (plist\value name definitions)
         (#Some (#Type [exported? (#Named _ _type) (#Right slots)]))
         (case (interface_methods _type)
@@ -4002,7 +3998,7 @@
 
                                        (#Slot _)
                                        (list))))
-                                (let [[#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_annotations _ #module_state _] =module]
+                                (let [[#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_state _] =module]
                                   definitions))]
         (#Right state (list\conjoint to_alias)))
       
@@ -4084,7 +4080,7 @@
       #None
       #None
 
-      (#Some [#definitions definitions #module_hash _ #module_aliases _ #imports _ #module_annotations _ #module_state _])
+      (#Some [#definitions definitions #module_hash _ #module_aliases _ #imports _ #module_state _])
       (case (plist\value v_name definitions)
         #None
         #None
@@ -4117,7 +4113,7 @@
       #None
       (#Left (text\composite "Unknown definition: " (name\encoded name)))
 
-      (#Some [#definitions definitions #module_hash _ #module_aliases _ #imports _ #module_annotations _ #module_state _])
+      (#Some [#definitions definitions #module_hash _ #module_aliases _ #imports _ #module_state _])
       (case (plist\value v_name definitions)
         #None
         (#Left (text\composite "Unknown definition: " (name\encoded name)))
@@ -4401,7 +4397,7 @@
   (-> Text Text (Meta Bit))
   (do meta_monad
     [module (module module_name)
-     .let [[#module_hash _ #module_aliases _ #definitions _ #imports imports #module_annotations _ #module_state _] module]]
+     .let [[#module_hash _ #module_aliases _ #definitions _ #imports imports #module_state _] module]]
     (in (is_member? imports import_name))))
 
 (def: (referrals module_name options)
@@ -4508,16 +4504,9 @@
         (~+ localizations)
         (~+ openings)))))
 
-(macro: .public (module: tokens)
+(macro: .public (module: _imports)
   (do meta_monad
-    [.let [[_meta _imports] (: [(List [Code Code]) (List Code)]
-                               (case tokens
-                                 (^ (list& [_ (#Record _meta)] _imports))
-                                 [_meta _imports]
-
-                                 _
-                                 [(list) tokens]))]
-     current_module current_module_name
+    [current_module current_module_name
      imports (imports_parser #0 current_module #End _imports)
      .let [=imports (|> imports
                         (list\each (: (-> Importation Code)
@@ -4528,9 +4517,7 @@
                                  (function (_ [module_name m_alias =refer])
                                    (refer_code module_name m_alias =refer)))
                               imports)
-           =module (` ("lux def module" [(~ location_code)
-                                         (#.Record (~ (definition_annotations _meta)))]
-                       (~ =imports)))]]
+           =module (` ("lux def module" (~ =imports)))]]
     (in (#Item =module =refers))))
 
 (macro: .public (\ tokens)