diff options
author | Eduardo Julian | 2021-09-20 23:01:35 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-20 23:01:35 -0400 |
commit | 8196ab379495ab00c11b74b55b6f2fabd99ab351 (patch) | |
tree | 07b5e9eacbe1532ff4eb7506ac5d492e367b1d7b /stdlib/source/library | |
parent | 0bc2c541ab27e44b760618d15a248a794ab2f98e (diff) |
Updates and fixes for the book.
Diffstat (limited to 'stdlib/source/library')
-rw-r--r-- | stdlib/source/library/lux.lux | 50 | ||||
-rw-r--r-- | stdlib/source/library/lux/control/io.lux | 4 |
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 |