aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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"