- Changed the type of Def so that values have type Top, instead of Void.

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]))