diff options
| author | Eduardo Julian | 2021-09-04 13:24:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-04 13:24:23 -0400 |
| commit | 11713d1ba99ec7e41682addadd2778dc767682a0 (patch) | |
| tree | 826c1df3bcbbd1517a23e849697f94a8e1768d27 /stdlib/source/library/lux.lux | |
| parent | fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (diff) | |
Better type-declaration documentation.
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 7fad8a9a5..1043560c9 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -153,7 +153,7 @@ ({Type ({Type_List ({Type_Pair - (9 #0 Nothing + (9 #0 (0 #0 ["" #End]) (7 #0 #End (1 #0 ... "lux.Primitive" @@ -189,7 +189,7 @@ (2 #0 Name Type)))))))))))))} ("lux type check type" (2 #0 Type Type)))} ("lux type check type" (9 #0 Type List)))} - ("lux type check type" (9 #0 (4 #0 1) (4 #0 0))))) + ("lux type check type" (9 #0 (0 #0 ["" #End]) (4 #0 0))))) [dummy_location (9 #1 #End)] ("Primitive" "Sum" "Product" "Function" "Parameter" "Var" "Ex" "UnivQ" "ExQ" "Apply" "Named") @@ -645,7 +645,7 @@ ("lux def type tagged" Lux (#Named ["library/lux" "Lux"] ({Lux - (#Apply Nothing + (#Apply (0 #0 ["" #End]) (#UnivQ #End (#Product ... info @@ -688,7 +688,7 @@ (#Sum Text (#Product Lux Any))))) ... host Any))))))))))))))} - (#Apply (#Parameter 1) (#Parameter 0)))) + (#Apply (0 #0 ["" #End]) (#Parameter 0)))) (record$ #End) ["info" "source" "location" "current_module" "modules" "scopes" "type_context" "expected" "seed" "scope_type_vars" "extensions" "eval" "host"] .public) @@ -5556,9 +5556,9 @@ (def: (recursive_type g!self g!dummy name body) (-> Code Code Text Code Code) (` ((.All ((~ g!self) (~ g!dummy)) - (~ (let$ (local_identifier$ name) (` (#.Apply .Nothing (~ g!self))) + (~ (let$ (local_identifier$ name) (` (#.Apply (..primitive "") (~ g!self))) body))) - .Nothing))) + (..primitive "")))) (macro: .public (Rec tokens) (case tokens |