aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library
diff options
context:
space:
mode:
authorEduardo Julian2021-09-20 23:01:35 -0400
committerEduardo Julian2021-09-20 23:01:35 -0400
commit8196ab379495ab00c11b74b55b6f2fabd99ab351 (patch)
tree07b5e9eacbe1532ff4eb7506ac5d492e367b1d7b /stdlib/source/library
parent0bc2c541ab27e44b760618d15a248a794ab2f98e (diff)
Updates and fixes for the book.
Diffstat (limited to 'stdlib/source/library')
-rw-r--r--stdlib/source/library/lux.lux50
-rw-r--r--stdlib/source/library/lux/control/io.lux4
2 files changed, 28 insertions, 26 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 86a1cdce7..30f7bbc08 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -218,16 +218,17 @@
#1)
... (type: .public (Code' w)
-... {#Bit Bit}
-... {#Nat Nat}
-... {#Int Int}
-... {#Rev Rev}
-... {#Frac Frac}
-... {#Text Text}
-... {#Symbol Symbol}
-... {#Form (List (w (Code' w)))}
-... {#Variant (List (w (Code' w)))}
-... {#Tuple (List (w (Code' w)))})
+... (Variant
+... {#Bit Bit}
+... {#Nat Nat}
+... {#Int Int}
+... {#Rev Rev}
+... {#Frac Frac}
+... {#Text Text}
+... {#Symbol Symbol}
+... {#Form (List (w (Code' w)))}
+... {#Variant (List (w (Code' w)))}
+... {#Tuple (List (w (Code' w)))}))
("lux def type tagged" Code'
{#Named [..prelude_module "Code'"]
({Code
@@ -575,20 +576,21 @@
.public)
... (type: .public Lux
-... (Record
-... [#info Info
-... #source Source
-... #location Location
-... #current_module (Maybe Text)
-... #modules (List [Text Module])
-... #scopes (List Scope)
-... #type_context Type_Context
-... #expected (Maybe Type)
-... #seed Nat
-... #scope_type_vars (List Nat)
-... #extensions Any
-... #eval (-> Type Code (-> Lux (Either Text [Lux Any])))
-... #host Any]))
+... (Rec Lux
+... (Record
+... [#info Info
+... #source Source
+... #location Location
+... #current_module (Maybe Text)
+... #modules (List [Text Module])
+... #scopes (List Scope)
+... #type_context Type_Context
+... #expected (Maybe Type)
+... #seed Nat
+... #scope_type_vars (List Nat)
+... #extensions Any
+... #eval (-> Type Code (-> Lux (Either Text [Lux Any])))
+... #host Any])))
("lux def type tagged" Lux
{#Named [..prelude_module "Lux"]
({Lux
diff --git a/stdlib/source/library/lux/control/io.lux b/stdlib/source/library/lux/control/io.lux
index 56877111c..f112b4e1b 100644
--- a/stdlib/source/library/lux/control/io.lux
+++ b/stdlib/source/library/lux/control/io.lux
@@ -18,7 +18,7 @@
(-> Any a)
(def: label
- (All (_ _ a) (-> (-> Any a) (IO a)))
+ (All (_ a) (-> (-> Any a) (IO a)))
(|>> :abstraction))
(template: (!io computation)
@@ -36,7 +36,7 @@
(~ computation))))))))
(def: .public run!
- (All (_ _ a) (-> (IO a) a))
+ (All (_ a) (-> (IO a) a))
(|>> ..run!'))
(implementation: .public functor