diff options
author | Eduardo Julian | 2020-05-06 04:19:54 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-05-06 04:19:54 -0400 |
commit | 3e524725cfb47cb56466a08ac290ed5a389748be (patch) | |
tree | 5ba247673e8a3b6d2e25df194b0f6011c2c0b436 /stdlib/source/lux.lux | |
parent | 724372e2b023bccbb93e1fa40e3c92ed2ee7e36c (diff) |
Loading the artifacts from the cache and re-populating the analyser's state.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 70eb486f3..cabbb1154 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -429,16 +429,16 @@ #1) ## (type: Global -## (| Alias -## Definition)) -("lux def" Global - ("lux check type" - (#Named ["lux" "Global"] - (#Sum Alias - Definition))) +## (#Alias Alias) +## (#Definition Definition)) +("lux def type tagged" Global + (#Named ["lux" "Global"] + (#Sum Alias + Definition)) (record$ (#Cons [(tag$ ["lux" "doc"]) (text$ "Represents all the data associated with a global constant.")] #Nil)) + ["Alias" "Definition"] #1) ## (type: (Bindings k v) |