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