diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 8ff78e0a1..54ac52b70 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -295,10 +295,10 @@ #Nil) ## (type: Def -## [Type Anns Void]) +## [Type Anns Top]) (_lux_def Def (#Named ["lux" "Def"] - (#Product Type (#Product Anns Void))) + (#Product Type (#Product Anns Top))) (#Cons [["lux" "doc"] (#TextA "Represents all the data associated with a definition: its type, its annotations, and its value.")] default-def-meta-exported)) @@ -4166,7 +4166,7 @@ (#Some def-type))))) (def: (find-def-value name state) - (-> Ident (Lux [Type Void])) + (-> Ident (Lux [Type Top])) (let [[v-prefix v-name] name {#info info #source source #modules modules #scopes scopes #type-context types #host host @@ -5356,7 +5356,7 @@ (["Bool" Bool bool$] ["Nat" Nat nat$] ["Int" Int int$] - ["Deg" Deg deg$] + ["Deg" Deg deg$] ["Real" Real real$] ["Char" Char char$] ["Text" Text text$]) @@ -5771,9 +5771,9 @@ ))))) )) -(def: #export (assume mx) +(def: #export assume (All [a] (-> (Maybe a) a)) - (default (undefined) mx)) + (|>. (default (undefined)))) (macro: #export (as-is tokens state) (#;Right [state tokens])) |