diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/meta')
18 files changed, 48 insertions, 48 deletions
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) |