From 8196ab379495ab00c11b74b55b6f2fabd99ab351 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 20 Sep 2021 23:01:35 -0400
Subject: Updates and fixes for the book.

---
 stdlib/source/library/lux.lux            | 50 +++++++++++++++++---------------
 stdlib/source/library/lux/control/io.lux |  4 +--
 2 files changed, 28 insertions(+), 26 deletions(-)

(limited to 'stdlib/source/library')

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
-- 
cgit v1.2.3