From ce25394961da87fa2cba64259c0d32972194f458 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 3 May 2017 18:17:24 -0400
Subject: - Changes the types of a few compiler-state components.

---
 stdlib/source/lux.lux | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

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

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