aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
authorEduardo Julian2017-06-19 20:50:18 -0400
committerEduardo Julian2017-06-19 20:50:18 -0400
commit38a673440c70c42d9d4ae4b6bde4ba7328736cdd (patch)
tree2fb9f48f23183da54870ea89cbdd53ae8beff2c6 /stdlib/source
parented0406cb0994f14ca5a3e6120b7b1ec6927bae75 (diff)
- Changed the type of Def so that values have type Top, instead of Void.
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/lux.lux12
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]))