aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
authorEduardo Julian2017-05-03 18:17:24 -0400
committerEduardo Julian2017-05-03 18:17:24 -0400
commitce25394961da87fa2cba64259c0d32972194f458 (patch)
tree3abcc8a514c3d85f38f3ea10e77bc51b56d813a2 /stdlib/source
parentbf47bd7b3d4f70bc3a481761b8e9ff074313fb44 (diff)
- Changes the types of a few compiler-state components.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux.lux15
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"