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/lux.lux | |
| parent | 0bc2c541ab27e44b760618d15a248a794ab2f98e (diff) | |
Updates and fixes for the book.
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 50 |
1 files changed, 26 insertions, 24 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 |