diff options
| author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
| commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
| tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/library/lux/tool/compiler | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler')
78 files changed, 292 insertions, 292 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/arity.lux b/stdlib/source/library/lux/tool/compiler/arity.lux index 28078039c..9d88e1d0f 100644 --- a/stdlib/source/library/lux/tool/compiler/arity.lux +++ b/stdlib/source/library/lux/tool/compiler/arity.lux @@ -5,7 +5,7 @@ [number ["n" nat]]]]]) -(type: .public Arity +(type .public Arity Nat) (with_template [<comparison> <name>] diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux index 1e37db22b..d4213ccfc 100644 --- a/stdlib/source/library/lux/tool/compiler/default/init.lux +++ b/stdlib/source/library/lux/tool/compiler/default/init.lux @@ -91,7 +91,7 @@ (luxD.bundle expander host_analysis program anchorT,expressionT,directiveT extender)) sub_state])) -(type: Reader +(type Reader (-> Source (Either [Source Text] [Source Code]))) (def (reader current_module aliases [location offset source_code]) @@ -114,11 +114,11 @@ (has .#location location))] [source' output]]})))) -(type: (Operation a) +(type (Operation a) (All (_ anchor expression directive) (///directive.Operation anchor expression directive a))) -(type: (Payload directive) +(type (Payload directive) [(///generation.Buffer directive) Registry]) diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux index 7b8115a43..6d19f4b14 100644 --- a/stdlib/source/library/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux @@ -73,7 +73,7 @@ (with_expansions [<type_vars> (these anchor expression directive) <Operation> (these ///generation.Operation <type_vars>)] - (type: .public (Platform <type_vars>) + (type .public (Platform <type_vars>) (Record [#file_system (file.System Async) #host (///generation.Host expression directive) @@ -83,7 +83,7 @@ #write (-> directive Binary)])) ... TODO: Get rid of this - (type: (Action a) + (type (Action a) (Async (Try a))) ... TODO: Get rid of this @@ -329,10 +329,10 @@ (Set descriptor.Module) (set.empty text.hash)) - (type: Mapping + (type Mapping (Dictionary descriptor.Module (Set descriptor.Module))) - (type: Dependence + (type Dependence (Record [#depends_on Mapping #depended_by Mapping])) @@ -462,26 +462,26 @@ state (with_generation_extensions from state)] (with_directive_extensions from state))) - (type: (Context state) + (type (Context state) [Archive state]) - (type: (Result state) + (type (Result state) (Try (Context state))) - (type: (Return state) + (type (Return state) (Async (Result state))) - (type: (Signal state) + (type (Signal state) (Resolver (Result state))) - (type: (Pending state) + (type (Pending state) [(Return state) (Signal state)]) - (type: (Importer state) + (type (Importer state) (-> (List ///.Custom) descriptor.Module descriptor.Module (Return state))) - (type: (Compiler state) + (type (Compiler state) (-> (List ///.Custom) descriptor.Module (Importer state) module.ID (Context state) descriptor.Module (Return state))) (with_expansions [Lux_Context (..Context <State+>) @@ -838,7 +838,7 @@ (def .public Custom Type - (type (-> (List Text) (Try ///.Custom)))) + (type_literal (-> (List Text) (Try ///.Custom)))) (exception: .public (invalid_custom_compiler [definition Symbol type Type]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux index a74058ebb..81d6ccdf5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux @@ -44,18 +44,18 @@ ["[0]" reference (.only Reference) ["[0]" variable (.only Register Variable)]]]]]) -(type: .public (Branch' e) +(type .public (Branch' e) (Record [#when Pattern #then e])) -(type: .public (Match' e) +(type .public (Match' e) [(Branch' e) (List (Branch' e))]) -(type: .public (Environment a) +(type .public (Environment a) (List a)) -(type: .public Analysis +(type .public Analysis (Rec Analysis (.Variant {#Simple Simple} @@ -66,10 +66,10 @@ {#Apply Analysis Analysis} {#Extension (Extension Analysis)}))) -(type: .public Branch +(type .public Branch (Branch' Analysis)) -(type: .public Match +(type .public Match (Match' Analysis)) (def (branch_equivalence equivalence) @@ -139,10 +139,10 @@ [text /simple.#Text] ) -(type: .public (Abstraction c) +(type .public (Abstraction c) [(Environment c) Arity c]) -(type: .public (Reification c) +(type .public (Reification c) [c (List c)]) (def .public no_op @@ -245,7 +245,7 @@ (text.enclosed ["(" ")"])))) (with_template [<special> <general>] - [(type: .public <special> + [(type .public <special> (<general> .Lux Code Analysis))] [State+ extension.State] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux index 8c3fbea81..0d00367b9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux @@ -14,21 +14,21 @@ [number ["n" nat]]]]]) -(type: .public (Variant a) +(type .public (Variant a) (Record [#lefts Nat #right? Bit #value a])) -(type: .public (Tuple a) +(type .public (Tuple a) (List a)) -(type: .public (Complex a) +(type .public (Complex a) (.Variant {#Variant (Variant a)} {#Tuple (Tuple a)})) -(type: .public Tag +(type .public Tag Nat) (def .public (tag right? lefts) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux index 2d3d15ef0..fdd6d9b75 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -41,7 +41,7 @@ ... not being handled by any pattern). (template.let [(Variant' @) [[(Maybe Nat) (Dictionary Nat @)]]] - (these (type: .public Coverage + (these (type .public Coverage (Rec @ (.Variant {#Exhaustive} @@ -55,7 +55,7 @@ {#Seq @ @} {#Alt @ @}))) - (type: .public Variant + (type .public Variant (Variant' Coverage)))) (def .public (minimum [max cases]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux index d0bb26946..d25341b39 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux @@ -35,7 +35,7 @@ ["[0]" archive (.only Archive) ["[0]" module]]]]]]]]) -(type: .public Eval +(type .public Eval (-> Archive Type Code (Operation Any))) (def evals diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux index 50fdf139b..68e1540b4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux @@ -29,7 +29,7 @@ "Inputs" (exception.listing %.code inputs) "Outputs" (exception.listing %.code outputs))) -(type: .public Expander +(type .public Expander (-> Macro (List Code) Lux (Try (Try [Lux (List Code)])))) (def .public (expansion expander name macro inputs) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux index eb893d890..2c7f2f42b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux @@ -22,7 +22,7 @@ [/// ["[1]" phase]]]]) -(type: .public Label +(type .public Label Text) (exception: .public (unknown_module [module Text]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux index f198494ad..52c5de8fc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -16,7 +16,7 @@ [reference ["[1][0]" variable (.only Register)]]]]) -(type: .public Pattern +(type .public Pattern (Rec Pattern (.Variant {#Simple Simple} diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux index 03edb5564..9e4749526 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux @@ -23,10 +23,10 @@ [reference ["[0]" variable (.only Register Variable)]]]]]) -(type: Local +(type Local (Bindings Text [Type Register])) -(type: Foreign +(type Foreign (Bindings Text [Type Variable])) (def (local? name scope) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux index 3a4e21bdf..b87c107ff 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux @@ -16,7 +16,7 @@ ["r" rev] ["f" frac]]]]]) -(type: .public Simple +(type .public Simple (Variant {#Unit} {#Bit Bit} diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux index 091ac3b6c..380e48d63 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux @@ -21,12 +21,12 @@ [module [descriptor (.only Module)]]]]]]) -(type: .public (Component state phase) +(type .public (Component state phase) (Record [#state state #phase phase])) -(type: .public (State anchor expression directive) +(type .public (State anchor expression directive) (Record [#analysis (Component analysis.State+ analysis.Phase) @@ -35,12 +35,12 @@ #generation (Component (generation.State+ anchor expression directive) (generation.Phase anchor expression directive))])) -(type: .public Import +(type .public Import (Record [#module Module #alias Text])) -(type: .public Requirements +(type .public Requirements (Record [#imports (List Import) #referrals (List Code)])) @@ -56,7 +56,7 @@ #referrals (list#composite (the #referrals left) (the #referrals right))]) (with_template [<special> <general>] - [(type: .public (<special> anchor expression directive) + [(type .public (<special> anchor expression directive) (<general> (..State anchor expression directive) Code Requirements))] [State+ extension.State] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux index 6a73833fa..a0dc6d5d3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux @@ -39,7 +39,7 @@ ["[0]" module (.only) ["[0]" descriptor]]]]]]) -(type: .public (Buffer directive) +(type .public (Buffer directive) (Sequence [artifact.ID (Maybe Text) directive])) (exception: .public (cannot_interpret [error Text]) @@ -55,7 +55,7 @@ [no_buffer_for_saving_code] ) -(type: .public (Host expression directive) +(type .public (Host expression directive) (Interface (is (-> unit.ID [(Maybe unit.ID) expression] (Try Any)) evaluate) @@ -71,7 +71,7 @@ (is (-> unit.ID (Maybe Text) directive (Try Any)) re_load))) -(type: .public (State anchor expression directive) +(type .public (State anchor expression directive) (Record [#module descriptor.Module #anchor (Maybe anchor) @@ -85,7 +85,7 @@ #interim_artifacts (List artifact.ID)])) (with_template [<special> <general>] - [(type: .public (<special> anchor expression directive) + [(type .public (<special> anchor expression directive) (<general> (State anchor expression directive) Synthesis expression))] [State+ extension.State] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux index 4cb90a248..b601ba77a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux @@ -40,7 +40,7 @@ (exception.report "Name" (%.symbol name))) -(type: Eval +(type Eval (-> Type Code (Meta Any))) (def (meta_eval archive bundle compiler_eval) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux index 6844779c4..069ee2483 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux @@ -23,10 +23,10 @@ [meta [archive (.only Archive)]]]) -(type: .public Name +(type .public Name Text) -(type: .public (Extension a) +(type .public (Extension a) [Name (List a)]) (def .public equivalence @@ -40,27 +40,27 @@ (product.hash text.hash))) (with_expansions [<Bundle> (these (Dictionary Name (Handler s i o)))] - (type: .public (Handler s i o) + (type .public (Handler s i o) (-> Name (//.Phase [<Bundle> s] i o) (//.Phase [<Bundle> s] (List i) o))) - (type: .public (Bundle s i o) + (type .public (Bundle s i o) <Bundle>)) (def .public empty Bundle (dictionary.empty text.hash)) -(type: .public (State s i o) +(type .public (State s i o) (Record [#bundle (Bundle s i o) #state s])) -(type: .public (Operation s i o v) +(type .public (Operation s i o v) (//.Operation (State s i o) v)) -(type: .public (Phase s i o) +(type .public (Phase s i o) (//.Phase (State s i o) i o)) (exception: .public (cannot_overwrite [name Name]) @@ -91,7 +91,7 @@ (list.sorted text#<) (exception.listing %.text)))) -(type: .public (Extender s i o) +(type .public (Extender s i o) (-> Any (Handler s i o))) (def .public (install extender name handler) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux index 605c39956..af44a8272 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux @@ -38,7 +38,7 @@ (do phase.monad [lengthA (analysis/type.expecting Nat (phase archive lengthC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list lengthA)}))))])) (def array::length @@ -51,7 +51,7 @@ analysis/type.with_var (function (_ [@write :write:])) (do phase.monad - [arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + [arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) _ (analysis/type.inference Nat)] (in {analysis.#Extension extension (list arrayA)}))))])) @@ -68,7 +68,7 @@ (do phase.monad [indexA (analysis/type.expecting Nat (phase archive indexC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) _ (analysis/type.inference :read:)] (in {analysis.#Extension extension (list indexA arrayA)}))))])) @@ -87,9 +87,9 @@ (phase archive indexC)) valueA (analysis/type.expecting :write: (phase archive valueC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA valueA arrayA)}))))])) (def array::delete @@ -104,9 +104,9 @@ (do phase.monad [indexA (analysis/type.expecting Nat (phase archive indexC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA arrayA)}))))])) (def bundle::array diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux index 2200e481c..193a1e8b5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type Module Primitive type char int) + [lux (.except Type Module Primitive char int) ["[0]" ffi (.only import)] ["[0]" meta] [abstract @@ -225,7 +225,7 @@ [char (reflection.reflection reflection.char)] ) -(type: Member +(type Member (Record [#class External #member Text])) @@ -234,7 +234,7 @@ (Parser Member) (all <>.and <code>.text <code>.text)) -(type: Method_Signature +(type Method_Signature (Record [#method .Type #deprecated? Bit @@ -482,11 +482,11 @@ (function (_ [@write :write:])) (do phase.monad [_ (typeA.inference ..int) - arrayA (<| (typeA.expecting (.type (array.Array' :read: :write:))) + arrayA (<| (typeA.expecting (.type_literal (array.Array' :read: :write:))) (analyse archive arrayC)) :read: (typeA.check (check.clean (list) :read:)) :write: (typeA.check (check.clean (list) :write:)) - arrayJT (jvm_array_type (.type (array.Array' :read: :write:)))] + arrayJT (jvm_array_type (.type_literal (array.Array' :read: :write:)))] (in {/////analysis.#Extension extension_name (list (/////analysis.text (..signature arrayJT)) arrayA)}))) @@ -720,13 +720,13 @@ (function (_ [@write :write:])) (do phase.monad [_ (typeA.inference :read:) - arrayA (<| (typeA.expecting (.type (array.Array' :read: :write:))) + arrayA (<| (typeA.expecting (.type_literal (array.Array' :read: :write:))) (analyse archive arrayC)) idxA (<| (typeA.expecting ..int) (analyse archive idxC)) :read: (typeA.check (check.clean (list) :read:)) :write: (typeA.check (check.clean (list) :write:)) - arrayJT (jvm_array_type (.type (array.Array' :read: :write:)))] + arrayJT (jvm_array_type (.type_literal (array.Array' :read: :write:)))] (in {/////analysis.#Extension extension_name (list (/////analysis.text (..signature arrayJT)) idxA arrayA)}))) @@ -766,8 +766,8 @@ typeA.with_var (function (_ [@write :write:])) (do phase.monad - [_ (typeA.inference (.type (array.Array' :read: :write:))) - arrayA (<| (typeA.expecting (.type (array.Array' :read: :write:))) + [_ (typeA.inference (.type_literal (array.Array' :read: :write:))) + arrayA (<| (typeA.expecting (.type_literal (array.Array' :read: :write:))) (analyse archive arrayC)) idxA (<| (typeA.expecting ..int) (analyse archive idxC)) @@ -775,7 +775,7 @@ (analyse archive valueC)) :read: (typeA.check (check.clean (list) :read:)) :write: (typeA.check (check.clean (list) :write:)) - arrayJT (jvm_array_type (.type (array.Array' :read: :write:)))] + arrayJT (jvm_array_type (.type_literal (array.Array' :read: :write:)))] (in {/////analysis.#Extension extension_name (list (/////analysis.text (..signature arrayJT)) idxA valueA @@ -1149,7 +1149,7 @@ valueA objectA)))))])) -(type: Method_Style +(type Method_Style (Variant {#Static} {#Abstract} @@ -1356,7 +1356,7 @@ concrete_exceptions generic_exceptions)])))) -(type: Evaluation +(type Evaluation (Variant {#Pass Method_Signature} {#Hint Method_Signature})) @@ -1649,14 +1649,14 @@ ))) ))) -(type: .public (Annotation_Parameter a) +(type .public (Annotation_Parameter a) [Text a]) (def annotation_parameter (Parser (Annotation_Parameter Code)) (<code>.tuple (<>.and <code>.text <code>.any))) -(type: .public (Annotation a) +(type .public (Annotation a) [Text (List (Annotation_Parameter a))]) (def .public annotation @@ -1766,15 +1766,15 @@ [invalid_overriden_methods] ) -(type: .public Visibility +(type .public Visibility (Variant {#Public} {#Private} {#Protected} {#Default})) -(type: .public Finality Bit) -(type: .public Strictness Bit) +(type .public Finality Bit) +(type .public Strictness Bit) (def .public public_tag "public") (def .public private_tag "private") @@ -1802,7 +1802,7 @@ {#Protected} ..protected_tag {#Default} ..default_tag))) -(type: Exception +(type Exception (Type Class)) (def .public parameter_types @@ -1813,7 +1813,7 @@ [[_ parameterT] check.existential] (in [parameterJ parameterT]))))) -(type: .public (Abstract_Method a) +(type .public (Abstract_Method a) [Text Visibility (List (Annotation a)) @@ -1873,7 +1873,7 @@ (/////analysis.tuple (list#each class_analysis exceptions)) )))))) -(type: .public (Constructor a) +(type .public (Constructor a) [Visibility Strictness (List (Annotation a)) @@ -1951,7 +1951,7 @@ (/////analysis.tuple (list bodyA))} )))))) -(type: .public (Virtual_Method a) +(type .public (Virtual_Method a) [Text Visibility Finality @@ -1983,7 +1983,7 @@ (<code>.tuple (<>.some ..class)) <code>.any))) -(type: .public (Method_Declaration a) +(type .public (Method_Declaration a) (Record [#name Text #annotations (List (Annotation a)) @@ -2051,7 +2051,7 @@ (/////analysis.tuple (list bodyA))} )))))) -(type: .public (Static_Method a) +(type .public (Static_Method a) [Text Visibility Strictness @@ -2124,7 +2124,7 @@ (/////analysis.tuple (list bodyA))} )))))) -(type: .public (Overriden_Method a) +(type .public (Overriden_Method a) [(Type Class) Text Bit @@ -2435,21 +2435,21 @@ (list.empty? invalid_overriden_methods))] (in []))) -(type: Declaration +(type Declaration [Text (List (Type Var))]) -(type: Constant +(type Constant [Text (List Annotation) (Type Value) Code]) -(type: Variable +(type Variable [Text (Modifier field.Field) (Modifier field.Field) (List Annotation) (Type Value)]) -(type: Field +(type Field (Variant {#Constant Constant} {#Variable Variable})) -(type: (Method_Definition a) +(type (Method_Definition a) (Variant {#Constructor (..Constructor a)} {#Virtual_Method (..Virtual_Method a)} @@ -2470,16 +2470,16 @@ (try#each (|>> (\\format.result class.writer) [name]) (class.class version.v6_0 - (all modifier#composite - class.public - modifier) - (name.internal name) - {.#Some signature} - (..class_name super) - (list#each ..class_name interfaces) - fields - methods - sequence.empty)))) + (all modifier#composite + class.public + modifier) + (name.internal name) + {.#Some signature} + (..class_name super) + (list#each ..class_name interfaces) + fields + methods + sequence.empty)))) (def constant::modifier (Modifier field.Field) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux index 2cd5b0a68..b507b7a15 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux @@ -31,7 +31,7 @@ Any)) (def Object - (for @.lua (type (ffi.Object Any)) + (for @.lua (type_literal (ffi.Object Any)) Any)) (def Function @@ -50,7 +50,7 @@ (do phase.monad [lengthA (analysis/type.expecting Nat (phase archive lengthC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list lengthA)}))))])) (def array::length @@ -63,7 +63,7 @@ analysis/type.with_var (function (_ [@write :write:])) (do phase.monad - [arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + [arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) _ (analysis/type.inference Nat)] (in {analysis.#Extension extension (list arrayA)}))))])) @@ -80,7 +80,7 @@ (do phase.monad [indexA (analysis/type.expecting Nat (phase archive indexC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) _ (analysis/type.inference :read:)] (in {analysis.#Extension extension (list indexA arrayA)}))))])) @@ -99,9 +99,9 @@ (phase archive indexC)) valueA (analysis/type.expecting :write: (phase archive valueC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA valueA arrayA)}))))])) (def array::delete @@ -116,9 +116,9 @@ (do phase.monad [indexA (analysis/type.expecting Nat (phase archive indexC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA arrayA)}))))])) (def bundle::array @@ -175,9 +175,9 @@ [<code>.any (function (_ extension phase archive inputC) (do [! phase.monad] - [inputA (analysis/type.expecting (type <fromT>) + [inputA (analysis/type.expecting (type_literal <fromT>) (phase archive inputC)) - _ (analysis/type.inference (type <toT>))] + _ (analysis/type.inference (type_literal <toT>))] (in {analysis.#Extension extension (list inputA)})))]))] [utf8::encode Text (array.Array (I64 Any))] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 400a7a5e7..e7711d4a0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -141,10 +141,10 @@ (<| typeA.with_var (function (_ [@var :var:])) (do [! ////.monad] - [_ (typeA.inference (type (Either Text :var:)))] + [_ (typeA.inference (type_literal (Either Text :var:)))] (|> opC (analyse archive) - (typeA.expecting (type (-> .Any :var:))) + (typeA.expecting (type_literal (-> .Any :var:))) (at ! each (|>> list {////analysis.#Extension extension_name}))))) _ @@ -251,7 +251,7 @@ (///bundle.install "exit" (unary Int Nothing))))) (def I64* - (type (I64 Any))) + (type_literal (I64 Any))) (def bundle::i64 Bundle @@ -285,7 +285,7 @@ (///bundle.install "<" (binary Frac Frac Bit)) (///bundle.install "i64" (unary Frac Int)) (///bundle.install "encode" (unary Frac Text)) - (///bundle.install "decode" (unary Text (type (Maybe Frac))))))) + (///bundle.install "decode" (unary Text (type_literal (Maybe Frac))))))) (def bundle::text Bundle @@ -294,7 +294,7 @@ (///bundle.install "=" (binary Text Text Bit)) (///bundle.install "<" (binary Text Text Bit)) (///bundle.install "concat" (binary Text Text Text)) - (///bundle.install "index" (trinary Nat Text Text (type (Maybe Nat)))) + (///bundle.install "index" (trinary Nat Text Text (type_literal (Maybe Nat)))) (///bundle.install "size" (unary Text Nat)) (///bundle.install "char" (binary Nat Text Nat)) (///bundle.install "clip" (trinary Nat Nat Text Text)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux index 04896e028..27e096e18 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux @@ -38,7 +38,7 @@ (do phase.monad [lengthA (analysis/type.with_type Nat (phase archive lengthC)) - _ (analysis/type.infer (type (Array :var:)))] + _ (analysis/type.infer (type_literal (Array :var:)))] (in {analysis.#Extension extension (list lengthA)}))))])) (def array::length @@ -49,7 +49,7 @@ (<| analysis/type.with_var (function (_ [@var :var:])) (do phase.monad - [arrayA (analysis/type.with_type (type (Array :var:)) + [arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) _ (analysis/type.infer Nat)] (in {analysis.#Extension extension (list arrayA)}))))])) @@ -64,7 +64,7 @@ (do phase.monad [indexA (analysis/type.with_type Nat (phase archive indexC)) - arrayA (analysis/type.with_type (type (Array :var:)) + arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) _ (analysis/type.infer :var:)] (in {analysis.#Extension extension (list indexA arrayA)}))))])) @@ -81,9 +81,9 @@ (phase archive indexC)) valueA (analysis/type.with_type :var: (phase archive valueC)) - arrayA (analysis/type.with_type (type (Array :var:)) + arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) - _ (analysis/type.infer (type (Array :var:)))] + _ (analysis/type.infer (type_literal (Array :var:)))] (in {analysis.#Extension extension (list indexA valueA arrayA)}))))])) (def array::delete @@ -96,9 +96,9 @@ (do phase.monad [indexA (analysis/type.with_type Nat (phase archive indexC)) - arrayA (analysis/type.with_type (type (Array :var:)) + arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) - _ (analysis/type.infer (type (Array :var:)))] + _ (analysis/type.infer (type_literal (Array :var:)))] (in {analysis.#Extension extension (list indexA arrayA)}))))])) (def bundle::array @@ -117,7 +117,7 @@ Any)) (def Object - (for @.php (type (ffi.Object Any)) + (for @.php (type_literal (ffi.Object Any)) Any)) (def Function @@ -200,7 +200,7 @@ (do [! phase.monad] [formatA (analysis/type.with_type Text (phase archive formatC)) - dataA (analysis/type.with_type (type (Array (I64 Any))) + dataA (analysis/type.with_type (type_literal (Array (I64 Any))) (phase archive dataC)) _ (analysis/type.infer Text)] (in {analysis.#Extension extension (list formatA dataA)})))])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux index cc77fa604..d44c8f5de 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux @@ -38,7 +38,7 @@ (do phase.monad [lengthA (analysis/type.expecting Nat (phase archive lengthC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list lengthA)}))))])) (def array::length @@ -51,7 +51,7 @@ analysis/type.with_var (function (_ [@write :write:])) (do phase.monad - [arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + [arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) _ (analysis/type.inference Nat)] (in {analysis.#Extension extension (list arrayA)}))))])) @@ -68,7 +68,7 @@ (do phase.monad [indexA (analysis/type.expecting Nat (phase archive indexC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) _ (analysis/type.inference :read:)] (in {analysis.#Extension extension (list indexA arrayA)}))))])) @@ -87,9 +87,9 @@ (phase archive indexC)) valueA (analysis/type.expecting :write: (phase archive valueC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA valueA arrayA)}))))])) (def array::delete @@ -104,9 +104,9 @@ (do phase.monad [indexA (analysis/type.expecting Nat (phase archive indexC)) - arrayA (analysis/type.expecting (type (array.Array' :read: :write:)) + arrayA (analysis/type.expecting (type_literal (array.Array' :read: :write:)) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA arrayA)}))))])) (def bundle::array @@ -125,7 +125,7 @@ Any)) (def Object - (for @.python (type (ffi.Object Any)) + (for @.python (type_literal (ffi.Object Any)) Any)) (def Function diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux index 57f47077e..b43fb8c4f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux @@ -38,7 +38,7 @@ (do phase.monad [lengthA (<| (analysis/type.expecting Nat) (phase archive lengthC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list lengthA)}))))])) (def array::length @@ -51,7 +51,7 @@ analysis/type.with_var (function (_ [@write :write:])) (do phase.monad - [arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:))) + [arrayA (<| (analysis/type.expecting (type_literal (array.Array' :read: :write:))) (phase archive arrayC)) _ (analysis/type.inference Nat)] (in {analysis.#Extension extension (list arrayA)}))))])) @@ -68,7 +68,7 @@ (do phase.monad [indexA (<| (analysis/type.expecting Nat) (phase archive indexC)) - arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:))) + arrayA (<| (analysis/type.expecting (type_literal (array.Array' :read: :write:))) (phase archive arrayC)) _ (analysis/type.inference :read:)] (in {analysis.#Extension extension (list indexA arrayA)}))))])) @@ -87,9 +87,9 @@ (phase archive indexC)) valueA (<| (analysis/type.expecting :write:) (phase archive valueC)) - arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:))) + arrayA (<| (analysis/type.expecting (type_literal (array.Array' :read: :write:))) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA valueA arrayA)}))))])) (def array::delete @@ -104,9 +104,9 @@ (do phase.monad [indexA (<| (analysis/type.expecting Nat) (phase archive indexC)) - arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:))) + arrayA (<| (analysis/type.expecting (type_literal (array.Array' :read: :write:))) (phase archive arrayC)) - _ (analysis/type.inference (type (array.Array' :read: :write:)))] + _ (analysis/type.inference (type_literal (array.Array' :read: :write:)))] (in {analysis.#Extension extension (list indexA arrayA)}))))])) (def bundle::array @@ -125,7 +125,7 @@ Any)) (def Object - (for @.ruby (type (ffi.Object Any)) + (for @.ruby (type_literal (ffi.Object Any)) Any)) (def Function diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux index bb57f5668..0220eb1f4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux @@ -38,7 +38,7 @@ (do phase.monad [lengthA (analysis/type.with_type Nat (phase archive lengthC)) - _ (analysis/type.infer (type (Array :var:)))] + _ (analysis/type.infer (type_literal (Array :var:)))] (in {analysis.#Extension extension (list lengthA)}))))])) (def array::length @@ -49,7 +49,7 @@ (<| analysis/type.with_var (function (_ [@var :var:])) (do phase.monad - [arrayA (analysis/type.with_type (type (Array :var:)) + [arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) _ (analysis/type.infer Nat)] (in {analysis.#Extension extension (list arrayA)}))))])) @@ -64,7 +64,7 @@ (do phase.monad [indexA (analysis/type.with_type Nat (phase archive indexC)) - arrayA (analysis/type.with_type (type (Array :var:)) + arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) _ (analysis/type.infer :var:)] (in {analysis.#Extension extension (list indexA arrayA)}))))])) @@ -81,9 +81,9 @@ (phase archive indexC)) valueA (analysis/type.with_type :var: (phase archive valueC)) - arrayA (analysis/type.with_type (type (Array :var:)) + arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) - _ (analysis/type.infer (type (Array :var:)))] + _ (analysis/type.infer (type_literal (Array :var:)))] (in {analysis.#Extension extension (list indexA valueA arrayA)}))))])) (def array::delete @@ -96,9 +96,9 @@ (do phase.monad [indexA (analysis/type.with_type Nat (phase archive indexC)) - arrayA (analysis/type.with_type (type (Array :var:)) + arrayA (analysis/type.with_type (type_literal (Array :var:)) (phase archive arrayC)) - _ (analysis/type.infer (type (Array :var:)))] + _ (analysis/type.infer (type_literal (Array :var:)))] (in {analysis.#Extension extension (list indexA arrayA)}))))])) (def bundle::array diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux index 21f260fb8..e2833a6c1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux @@ -87,13 +87,13 @@ [type ["[0]" check (.only Check)]]]]) -(type: Operation +(type Operation (directive.Operation Anchor (Bytecode Any) Definition)) (def signature (|>> type.signature signature.signature)) (def reflection (|>> type.reflection reflection.reflection)) -(type: Declaration +(type Declaration [Text (List (Type Var))]) (def declaration @@ -143,7 +143,7 @@ ["final" field.final] ["default" modifier.empty]))))) -(type: Annotation Any) +(type Annotation Any) (def annotation (Parser Annotation) @@ -153,7 +153,7 @@ (Parser (Type Value)) (<text>.then parser.value <code>.text)) -(type: Constant +(type Constant [Text (List Annotation) (Type Value) Code]) (def constant @@ -167,7 +167,7 @@ <code>.any ))) -(type: Variable +(type Variable [Text (Modifier field.Field) (Modifier field.Field) Bit (List Annotation) (Type Value)]) (def variable @@ -183,7 +183,7 @@ ..field_type ))) -(type: Field +(type Field (Variant {#Constant Constant} {#Variable Variable})) @@ -195,7 +195,7 @@ ..variable )) -(type: (Method_Definition a) +(type (Method_Definition a) (Variant {#Constructor (jvm.Constructor a)} {#Virtual_Method (jvm.Virtual_Method a)} diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux index 0b905495a..ac8d969ab 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux @@ -385,7 +385,7 @@ <anonymous>})))] [Binary|Python (Primitive "bytearray")] - [Binary|DEFAULT (type (array.Array (I64 Any)))] + [Binary|DEFAULT (type_literal (array.Array (I64 Any)))] ) (def (swapped original replacement) @@ -432,7 +432,7 @@ (///.lifted meta.target)) [_ _ name] (evaluate! archive Text nameC) [_ handlerV] (<definer> archive (as Text name) - (let [raw_type (type <def_type>)] + (let [raw_type (type_literal <def_type>)] (case target_platform (^.or (pattern (static @.jvm)) (pattern (static @.js))) @@ -494,7 +494,7 @@ [[_ programA] (<| /////directive.lifted_analysis scope.with typeA.fresh - (typeA.expecting (type (-> (List Text) (IO Any)))) + (typeA.expecting (type_literal (-> (List Text) (IO Any)))) (analyse archive programC))] (/////directive.lifted_synthesis (synthesize archive programA)))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux index 772a680e6..354be5da3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux @@ -711,7 +711,7 @@ valueG putG))))])) -(type: Input +(type Input (Typed Synthesis)) (def input @@ -1032,7 +1032,7 @@ [synthesis.#F64_Fork] [synthesis.#Text_Fork])))) -(type: Mapping +(type Mapping (Dictionary Synthesis Variable)) (def (normalize_method_body mapping) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux index 20b1afabf..5032d0f0a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux @@ -42,7 +42,7 @@ 0) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> [_.Tag Register] (Expression Any) (Expression Any)))] [Operation /////generation.Operation] @@ -51,7 +51,7 @@ [Bundle /////generation.Bundle] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation (Expression Any)))) (def .public unit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux index 6dde26d12..5e96d3ec3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux @@ -57,7 +57,7 @@ )))))))))) (with_template [<arity> <type> <term>] - [(type: .public <type> (Arity <arity>)) + [(type .public <type> (Arity <arity>)) (def .public <term> (arity <arity>))] [0 Nullary nullary] @@ -66,7 +66,7 @@ [3 Trinary trinary] ) -(type: .public (Variadic of) +(type .public (Variadic of) (-> (List of) of)) (def .public (variadic extension) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux index fc779ff8c..28c22f430 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux @@ -40,7 +40,7 @@ ["[0]" unit]]]]]]) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> [Register Text] Expression Statement))] [Operation /////generation.Operation] @@ -49,13 +49,13 @@ [Bundle /////generation.Bundle] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation Expression))) -(type: .public Phase! +(type .public Phase! (-> Phase Archive Synthesis (Operation Statement))) -(type: .public (Generator! i) +(type .public (Generator! i) (-> Phase! Phase Archive i (Operation Statement))) (def .public high diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux index 684c05c2e..8e171cfd2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type type) + [lux (.except Type) [data [collection ["[0]" sequence]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux index b31f0233b..6bf5d7dec 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type Label type) + [lux (.except Type Label) [abstract ["[0]" monad (.only do)]] [control diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux index 86965220b..81c42a003 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type Label type) + [lux (.except Type Label) [data [collection ["[0]" list]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux index d60aad8a3..d8ba5543d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type type) + [lux (.except Type) [abstract ["[0]" monad]] [control diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux index e8ce71290..1daa92777 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type type) + [lux (.except Type) [abstract ["[0]" monad (.only do)]] [data diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux index faff66f47..f592a3aba 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type type) + [lux (.except Type) [data [collection ["[0]" list (.use "[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux index fc28510ff..a182ed733 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux @@ -63,17 +63,17 @@ ["[0]" registry (.only Registry)] ["[0]" unit]]]]]]]) -(type: .public Byte_Code +(type .public Byte_Code Binary) -(type: .public Definition +(type .public Definition [Text Byte_Code]) -(type: .public Anchor +(type .public Anchor [Label Register]) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> Anchor (Bytecode Any) Definition))] [Operation generation.Operation] @@ -83,10 +83,10 @@ [Extender generation.Extender] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation (Bytecode Any)))) -(type: .public Host +(type .public Host (generation.Host (Bytecode Any) Definition)) (def .public (class_name [module id]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux index 8421401c5..365da0d4d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Type Primitive type) + [lux (.except Type Primitive) [target [jvm ["_" bytecode (.only Bytecode)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux index e23a2c50d..20a32d95a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux @@ -40,7 +40,7 @@ ["[0]" unit]]]]]]) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> [Register Label] Expression Statement))] [Operation /////generation.Operation] @@ -49,13 +49,13 @@ [Bundle /////generation.Bundle] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation Expression))) -(type: .public Phase! +(type .public Phase! (-> Phase Archive Synthesis (Operation Statement))) -(type: .public (Generator! i) +(type .public (Generator! i) (-> Phase! Phase Archive i (Operation Statement))) (def .public unit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux index 27e557f1f..d8549fb2c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux @@ -39,7 +39,7 @@ ["[0]" artifact (.only Registry)]]]]]]) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> [Nat Label] Expression Statement))] [Operation /////generation.Operation] @@ -48,13 +48,13 @@ [Bundle /////generation.Bundle] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation Expression))) -(type: .public Phase! +(type .public Phase! (-> Phase Archive Synthesis (Operation Statement))) -(type: .public (Generator! i) +(type .public (Generator! i) (-> Phase! Phase Archive i (Operation Statement))) (def .public unit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux index 41fbd5f78..a9cf3bbaa 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux @@ -42,7 +42,7 @@ ["[0]" unit]]]]]]) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> Register (Expression Any) (Statement Any)))] [Operation /////generation.Operation] @@ -51,13 +51,13 @@ [Bundle /////generation.Bundle] ) -(type: .public Phase! +(type .public Phase! (-> Phase Archive Synthesis (Operation (Statement Any)))) -(type: .public (Generator! i) +(type .public (Generator! i) (-> Phase! Phase Archive i (Operation (Statement Any)))) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation (Expression Any)))) (def prefix diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux index 32bc797c5..9f27e9c70 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux @@ -25,13 +25,13 @@ ["[0]T" loop])) ... [Types] -(type: .public Translator +(type .public Translator (-> ls.Synthesis (Meta Expression))) -(type: .public Proc +(type .public Proc (-> Translator (List ls.Synthesis) (Meta Expression))) -(type: .public Bundle +(type .public Bundle (Dict Text Proc)) ... [Utils] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux index ea448fa0a..d4a118da0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux @@ -45,7 +45,7 @@ 0) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> _.SVar _.Expression _.Expression))] [Operation /////generation.Operation] @@ -54,7 +54,7 @@ [Bundle /////generation.Bundle] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation Expression))) (def .public unit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux index 62f559549..2ef7aa07e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux @@ -53,7 +53,7 @@ "m" (%.nat module) "a" (%.nat artifact))) -(type: .public (System expression) +(type .public (System expression) (Interface (is (-> Text expression) constant') diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux index f1af54d33..b1946cee6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux @@ -41,7 +41,7 @@ ["[0]" registry (.only Registry)]]]]]]) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> Register Expression Statement))] [Operation /////generation.Operation] @@ -50,13 +50,13 @@ [Bundle /////generation.Bundle] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation Expression))) -(type: .public Phase! +(type .public Phase! (-> Phase Archive Synthesis (Operation Statement))) -(type: .public (Generator! i) +(type .public (Generator! i) (-> Phase! Phase Archive i (Operation Statement))) (def .public unit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux index 746cf6aff..e923616e4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux @@ -43,7 +43,7 @@ 0) (with_template [<name> <base>] - [(type: .public <name> + [(type .public <name> (<base> Var Expression Expression))] [Operation /////generation.Operation] @@ -52,7 +52,7 @@ [Bundle /////generation.Bundle] ) -(type: .public (Generator i) +(type .public (Generator i) (-> Phase Archive i (Operation Expression))) (def .public unit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux index a2a43f7d5..507e0b5fa 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -348,7 +348,7 @@ (def .public pattern_matching_error "Invalid expression for pattern-matching.") -(type: .public Storage +(type .public Storage (Record [#bindings (Set Register) #dependencies (Set Variable)])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index e31a5ca84..42d9ed6ae 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -22,7 +22,7 @@ ["[0]" reference (.only) ["[0]" variable (.only Register Variable)]]]]) -(type: .public (Transform a) +(type .public (Transform a) (-> a (Maybe a))) (def .public (register_optimization offset) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index 29837c146..43d6faefb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -36,7 +36,7 @@ (-- register) register)) -(type: (Remover a) +(type (Remover a) (-> Register (-> a a))) (def (remove_local_from_path remove_local redundant) @@ -175,7 +175,7 @@ {/.#Extension name inputs} {/.#Extension name (list#each again inputs)}))) -(type: Redundancy +(type Redundancy (Dictionary Register Bit)) (def initial @@ -198,7 +198,7 @@ (-> Arity Redundancy) (product.right (..extended 0 (++ arity) ..initial))) -(type: (Optimization a) +(type (Optimization a) (-> [Redundancy a] (Try [Redundancy a]))) (def (list_optimization optimization) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux index 34b894a90..509994009 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux @@ -21,7 +21,7 @@ [module ["[0]" descriptor]]]]]) -(type: .public (Program expression directive) +(type .public (Program expression directive) (-> unit.ID expression directive)) (def .public name diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux index 840502786..36daec361 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux @@ -80,7 +80,7 @@ ... producing the locations only involved building them, without any need ... for pattern-matching and de-structuring. -(type: Char +(type Char Nat) (with_template [<extension> <diff> <name>] @@ -115,7 +115,7 @@ [!n/- "lux i64 -"] ) -(type: .public Aliases +(type .public Aliases (Dictionary Text Text)) (def .public no_aliases @@ -197,7 +197,7 @@ [{.#Left [[where offset source_code] (exception.error ..end_of_file current_module)]}])) -(type: (Parser a) +(type (Parser a) (-> Source (Either [Source Text] [Source a]))) (def !with_char+ diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux index 74a7e41a1..2740b6bce 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -41,10 +41,10 @@ ["[0]" reference (.only Reference) ["[0]" variable (.only Register Variable)]]]]]) -(type: .public Resolver +(type .public Resolver (Dictionary Variable Variable)) -(type: .public State +(type .public State (Record [#locals Nat ... https://en.wikipedia.org/wiki/Currying @@ -59,16 +59,16 @@ [#locals 0 #currying? false]) -(type: .public (Road value next) +(type .public (Road value next) (Record [#when value #then next])) -(type: .public (Fork value next) +(type .public (Fork value next) [(Road value next) (List (Road value next))]) -(type: .public (Path' s) +(type .public (Path' s) (Variant {#Pop} {#Bind Register} @@ -81,18 +81,18 @@ {#Alt (Path' s) (Path' s)} {#Then s})) -(type: .public (Abstraction' s) +(type .public (Abstraction' s) (Record [#environment (Environment s) #arity Arity #body s])) -(type: .public (Apply' s) +(type .public (Apply' s) (Record [#function s #arguments (List s)])) -(type: .public (Branch s) +(type .public (Branch s) (Variant {#Exec s s} {#Let s Register s} @@ -100,29 +100,29 @@ {#Get (List Member) s} {#Case s (Path' s)})) -(type: .public (Scope s) +(type .public (Scope s) (Record [#start Register #inits (List s) #iteration s])) -(type: .public (Loop s) +(type .public (Loop s) (Variant {#Scope (Scope s)} {#Again (List s)})) -(type: .public (Function s) +(type .public (Function s) (Variant {#Abstraction (Abstraction' s)} {#Apply (Apply' s)})) -(type: .public (Control s) +(type .public (Control s) (Variant {#Branch (Branch s)} {#Loop (Loop s)} {#Function (Function s)})) -(type: .public Synthesis +(type .public Synthesis (Rec Synthesis (Variant {#Simple Simple} @@ -132,7 +132,7 @@ {#Extension (Extension Synthesis)}))) (with_template [<special> <general>] - [(type: .public <special> + [(type .public <special> (<general> ..State Analysis Synthesis))] [State+ extension.State] @@ -142,7 +142,7 @@ [Bundle extension.Bundle] ) -(type: .public Path +(type .public Path (Path' Synthesis)) (def .public path/pop @@ -202,10 +202,10 @@ [path/seq ..#Seq] ) -(type: .public Abstraction +(type .public Abstraction (Abstraction' Synthesis)) -(type: .public Apply +(type .public Apply (Apply' Synthesis)) (def .public unit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux index 179a48ca8..f599f4d90 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux @@ -12,7 +12,7 @@ ["[1][0]" side (.only Side)] ["[1][0]" member (.only Member)]]) -(type: .public Access +(type .public Access (Variant {#Side Side} {#Member Member})) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux index 2618b1421..667775b7d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -13,7 +13,7 @@ [number ["[0]" nat]]]]]) -(type: .public Member +(type .public Member (Record [#lefts Nat #right? Bit])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux index 0e1f79079..0f8ef1625 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -13,7 +13,7 @@ [number ["[0]" nat]]]]]) -(type: .public Side +(type .public Side (Record [#lefts Nat #right? Bit])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux index ce183bf7a..32a921934 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -19,7 +19,7 @@ ["i" int] ["f" frac]]]]]) -(type: .public Simple +(type .public Simple (Variant {#Bit Bit} {#I64 I64} diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux index 4bdbb734f..b762d8c85 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux @@ -38,7 +38,7 @@ [/// [version (.only Version)]]]) -(type: .public Output +(type .public Output (Sequence [artifact.ID (Maybe Text) Binary])) (exception: .public (unknown_document [module descriptor.Module @@ -65,7 +65,7 @@ [module_is_only_reserved] ) -(type: .public (Entry a) +(type .public (Entry a) (Record [#module (Module a) #output Output @@ -213,10 +213,10 @@ (dictionary.entries +resolver)))) abstraction))) - (type: Reservation + (type Reservation [descriptor.Module module.ID]) - (type: Frozen + (type Frozen [Version module.ID (List Reservation)]) (def reader diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux index 77a4410d1..f458691b5 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux @@ -14,10 +14,10 @@ ["[0]" / ["[1][0]" category (.only Category)]]) -(type: .public ID +(type .public ID Nat) -(type: .public Artifact +(type .public Artifact (Record [#id ID #category Category diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux index 43ae87386..a8317290c 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux @@ -16,7 +16,7 @@ [///// [arity (.only Arity)]]) -(type: .public Definition +(type .public Definition [Text (Maybe [Arity [Nat Nat]])]) (def .public definition_equivalence @@ -30,7 +30,7 @@ )) )) -(type: .public Category +(type .public Category (Variant {#Anonymous} {#Definition Definition} diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux index 76822e0e1..6fbde6c03 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux @@ -5,14 +5,14 @@ [descriptor (.only Descriptor)] [document (.only Document)]]) -(type: .public ID +(type .public ID Nat) (def .public runtime ID 0) -(type: .public (Module a) +(type .public (Module a) (Record [#id ID #descriptor Descriptor diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux index b3fc0fb09..c67c50d15 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -21,14 +21,14 @@ [world [file (.only Path)]]]]) -(type: .public Module +(type .public Module Text) (def .public runtime Module "") -(type: .public Descriptor +(type .public Descriptor (Record [#name Module #file Path diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux index beb776044..086b11c12 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux @@ -20,7 +20,7 @@ [//// ["[0]" version (.only Version)]]) -(type: .public Signature +(type .public Signature (Record [#name Symbol #version Version])) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux index 175dda1d4..82d29c16b 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux @@ -17,7 +17,7 @@ ["[0]" module] ["[0]" artifact]]) -(type: .public ID +(type .public ID (Record [#module module.ID #artifact artifact.ID])) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux index 8b3dbdcfc..0a9b6028f 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux @@ -23,14 +23,14 @@ ["[0]" descriptor (.only Descriptor)] ["[0]" document (.only Document)]]]]) -(type: .public Ancestry +(type .public Ancestry (Set descriptor.Module)) (def fresh Ancestry (set.empty text.hash)) -(type: .public Graph +(type .public Graph (Dictionary descriptor.Module Ancestry)) (def empty @@ -41,7 +41,7 @@ (-> Graph (List descriptor.Module)) dictionary.keys) -(type: .public Dependency +(type .public Dependency (Record [#module descriptor.Module #imports Ancestry])) @@ -81,7 +81,7 @@ (maybe.else ..fresh))] (set.member? target_ancestry source))) -(type: .public (Order a) +(type .public (Order a) (List [descriptor.Module [module.ID (archive.Entry a)]])) (def .public (load_order key archive) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux index afa78e37d..885a3f5d4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux @@ -31,10 +31,10 @@ ["[0]" module (.only) ["[0]" descriptor (.only Descriptor)]]]]]) -(type: .public Cache +(type .public Cache [Bit descriptor.Module module.ID (module.Module Any) Registry]) -(type: .public Purge +(type .public Purge (Dictionary descriptor.Module module.ID)) ... TODO: Make the monad parameterizable. diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux index 3c502b3c7..685467d32 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux @@ -33,22 +33,22 @@ ["[0]" / ["[1][0]" compiler (.only Compiler)]]) -(type: .public Host_Dependency +(type .public Host_Dependency Path) -(type: .public Library +(type .public Library Path) -(type: .public Source +(type .public Source Path) -(type: .public Target +(type .public Target Path) -(type: .public Module +(type .public Module descriptor.Module) -(type: .public Compilation +(type .public Compilation (Record [#host_dependencies (List Host_Dependency) #libraries (List Library) @@ -58,13 +58,13 @@ #module Module #configuration Configuration])) -(type: .public Interpretation +(type .public Interpretation ..Compilation) -(type: .public Export +(type .public Export [(List Source) Target]) -(type: .public Service +(type .public Service (Variant {#Compilation Compilation} {#Interpretation Interpretation} diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux index 7e3a4a569..3f29a43a4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux @@ -18,7 +18,7 @@ [meta ["[0]" symbol]]]]) -(type: .public Compiler +(type .public Compiler (Record [#definition Symbol #parameters (List Text)])) diff --git a/stdlib/source/library/lux/tool/compiler/meta/context.lux b/stdlib/source/library/lux/tool/compiler/meta/context.lux index 17258fa87..126533891 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/context.lux @@ -5,10 +5,10 @@ [world [file (.only Path)]]]]) -(type: .public Extension +(type .public Extension Text) -(type: .public Context +(type .public Context (Record [#host Target #host_module_extension Extension diff --git a/stdlib/source/library/lux/tool/compiler/meta/import.lux b/stdlib/source/library/lux/tool/compiler/meta/import.lux index 562904334..b18de6f44 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/import.lux @@ -27,7 +27,7 @@ ["[0]" file]]]]) (def Action - (type (All (_ a) (Async (Try a))))) + (type_literal (All (_ a) (Async (Try a))))) (exception: .public useless_tar_entry) @@ -37,7 +37,7 @@ "Module" (%.text module) "Library" (%.text library))) -(type: .public Import +(type .public Import (Dictionary file.Path Binary)) (def (import_library system library import) diff --git a/stdlib/source/library/lux/tool/compiler/meta/io.lux b/stdlib/source/library/lux/tool/compiler/meta/io.lux index 9274c9c1c..a7eb7545b 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io.lux @@ -6,10 +6,10 @@ [world [file (.only Path System)]]]]) -(type: .public Context +(type .public Context Path) -(type: .public Code +(type .public Code Text) (def .public (safe system) diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux index 2ee82990e..2c7b14da6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux @@ -89,13 +89,13 @@ (archive.archived archive)))] (in (has .#modules modules (fresh_analysis_state host configuration))))) -(type: Definitions (Dictionary Text Any)) -(type: Analysers (Dictionary Text analysis.Handler)) -(type: Synthesizers (Dictionary Text synthesis.Handler)) -(type: Generators (Dictionary Text generation.Handler)) -(type: Directives (Dictionary Text directive.Handler)) +(type Definitions (Dictionary Text Any)) +(type Analysers (Dictionary Text analysis.Handler)) +(type Synthesizers (Dictionary Text synthesis.Handler)) +(type Generators (Dictionary Text generation.Handler)) +(type Directives (Dictionary Text directive.Handler)) -(type: Bundles +(type Bundles [Analysers Synthesizers Generators diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux index 9909f8a5d..83cec862d 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux @@ -40,7 +40,7 @@ (exception.report "Module" (%.text module))) -(type: .public Extension +(type .public Extension Text) (def .public lux_extension @@ -137,7 +137,7 @@ {try.#Failure _} (async#in (exception.except ..cannot_read_module [module]))))) -(type: .public Enumeration +(type .public Enumeration (Dictionary file.Path Binary)) (def (context_listing fs context directory enumeration) @@ -159,7 +159,7 @@ (at ! conjoint)))) (def Action - (type (All (_ a) (Async (Try a))))) + (type_literal (All (_ a) (Async (Try a))))) (def (canonical fs context) (-> (file.System Async) Context (Action Context)) diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux index 59d28df77..a7e8a095c 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux @@ -23,14 +23,14 @@ ["[0]" module (.only) ["[0]" descriptor]]]]) -(type: .public Packager +(type .public Packager (-> (Dictionary file.Path Binary) Archive (Maybe unit.ID) (Try (Either Binary (List [Text Binary]))))) -(type: .public Order +(type .public Order (List [module.ID (List artifact.ID)])) (def .public order diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux index a574aab07..48ba3ea69 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux @@ -45,7 +45,7 @@ [generation (.only Context)]]]]]]) ... TODO: Delete ASAP -(type: (Action ! a) +(type (Action ! a) (! (Try a))) (def (then pre post) diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux index f27b3a5e3..a0b4df481 100644 --- a/stdlib/source/library/lux/tool/compiler/phase.lux +++ b/stdlib/source/library/lux/tool/compiler/phase.lux @@ -20,7 +20,7 @@ [meta [archive (.only Archive)]]]) -(type: .public (Operation s o) +(type .public (Operation s o) (state.+State Try s o)) (def .public functor @@ -53,10 +53,10 @@ {try.#Failure error} {try.#Failure error}))))) -(type: .public (Phase s i o) +(type .public (Phase s i o) (-> Archive i (Operation s o))) -(type: .public Wrapper +(type .public Wrapper (All (_ s i o) (-> (Phase s i o) Any))) (def .public (result' state operation) diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux index 116d4bf62..9f4b502c8 100644 --- a/stdlib/source/library/lux/tool/compiler/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/reference.lux @@ -19,10 +19,10 @@ ["[0]" / ["[1][0]" variable (.only Variable)]]) -(type: .public Constant +(type .public Constant Symbol) -(type: .public Reference +(type .public Reference (Variant {#Variable Variable} {#Constant Constant})) diff --git a/stdlib/source/library/lux/tool/compiler/reference/variable.lux b/stdlib/source/library/lux/tool/compiler/reference/variable.lux index bb93abe4b..30f7b449d 100644 --- a/stdlib/source/library/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/reference/variable.lux @@ -16,10 +16,10 @@ ["n" nat] ["i" int]]]]]) -(type: .public Register +(type .public Register Nat) -(type: .public Variable +(type .public Variable (Variant {#Local Register} {#Foreign Register})) diff --git a/stdlib/source/library/lux/tool/compiler/version.lux b/stdlib/source/library/lux/tool/compiler/version.lux index 2fd579803..fa67df166 100644 --- a/stdlib/source/library/lux/tool/compiler/version.lux +++ b/stdlib/source/library/lux/tool/compiler/version.lux @@ -8,7 +8,7 @@ [number ["n" nat]]]]]) -(type: .public Version +(type .public Version Nat) (def range |