diff options
| -rw-r--r-- | stdlib/source/lux.lux | 15 |
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" |