- Changes the types of a few compiler-state components.

1 files changed, 6 insertions, 9 deletions

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index fe9958d56..cd547a517 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -484,12 +484,10 @@
                        default-def-meta-exported))))
 
 ## (type: Source
-##   (List (Meta Cursor Text)))
+##   [Cursor Text])
 (_lux_def Source
   (#NamedT ["lux" "Source"]
-           (#AppT [List
-                   (#AppT [(#AppT [Meta Cursor])
-                           Text])]))
+           (#ProdT Cursor Text))
   default-def-meta-exported)
 
 ## (type: Module-State
@@ -513,19 +511,18 @@
          default-def-meta-exported))
 
 ## (type: Module
-##   {#module-hash    Int
+##   {#module-hash    Nat
 ##    #module-aliases (List [Text Text])
 ##    #defs           (List [Text Def])
 ##    #imports        (List Text)
 ##    #tags           (List [Text [Nat (List Ident) Bool Type]])
-##    #types          (List [Text [(List Ident) Bool Type]])}
+##    #types          (List [Text [(List Ident) Bool Type]])
 ##    #module-anns    Anns
-##    #module-state   Module-State
-##   )
+##    #module-state   Module-State})
 (_lux_def Module
   (#NamedT ["lux" "Module"]
            (#ProdT ## "lux;module-hash"
-            Int
+            Nat
             (#ProdT ## "lux;module-aliases"
              (#AppT List (#ProdT Text Text))
              (#ProdT ## "lux;defs"