diff options
Diffstat (limited to 'stdlib/source/lux/language/compiler')
41 files changed, 486 insertions, 377 deletions
diff --git a/stdlib/source/lux/language/compiler/analysis.lux b/stdlib/source/lux/language/compiler/analysis.lux index c8dd643de..6956cd0b4 100644 --- a/stdlib/source/lux/language/compiler/analysis.lux +++ b/stdlib/source/lux/language/compiler/analysis.lux @@ -1,10 +1,11 @@ (.module: - [lux (#- nat int rev)] - (lux (data [product] - [error] - [text ("text/" Equivalence<Text>)] - (collection [list ("list/" Fold<List>)])) - [function]) + [lux (#- nat int rev) + [data + [product] + [error] + [text ("text/" Equivalence<Text>)] + [collection [list ("list/" Fold<List>)]]] + [function]] [///reference (#+ Register Variable Reference)] [//]) diff --git a/stdlib/source/lux/language/compiler/analysis/case.lux b/stdlib/source/lux/language/compiler/analysis/case.lux index 6644fdabe..d1ef6ece1 100644 --- a/stdlib/source/lux/language/compiler/analysis/case.lux +++ b/stdlib/source/lux/language/compiler/analysis/case.lux @@ -1,17 +1,21 @@ (.module: - [lux (#- case)] - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [product] - [error] - [maybe] - text/format - (collection [list ("list/" Fold<List> Monoid<List> Functor<List>)])) - [macro] - (macro [code])) - (//// [type] - (type ["tc" check]) - [scope]) + [lux (#- case) + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + [product] + [error] + [maybe] + [text + format] + [collection [list ("list/" Fold<List> Monoid<List> Functor<List>)]]] + ["." macro + [code]]] + [//// + ["." type + ["tc" check]] + [scope]] [///] [// (#+ Pattern Analysis Operation Compiler)] [//type] diff --git a/stdlib/source/lux/language/compiler/analysis/case/coverage.lux b/stdlib/source/lux/language/compiler/analysis/case/coverage.lux index c01a7303a..bce8512e5 100644 --- a/stdlib/source/lux/language/compiler/analysis/case/coverage.lux +++ b/stdlib/source/lux/language/compiler/analysis/case/coverage.lux @@ -1,15 +1,18 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)] - equivalence) - (data [bool ("bool/" Equivalence<Bool>)] - [number] - ["e" error ("error/" Monad<Error>)] - [maybe] - text/format - (collection [list ("list/" Fold<List>)] - ["dict" dictionary (#+ Dictionary)]))) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)] + equivalence] + [data + [bool ("bool/" Equivalence<Bool>)] + [number] + ["e" error ("error/" Monad<Error>)] + [maybe] + [text format] + [collection + [list ("list/" Fold<List>)] + ["dict" dictionary (#+ Dictionary)]]]] [//// ("operation/" Monad<Operation>)] [/// (#+ Pattern Variant Operation)]) diff --git a/stdlib/source/lux/language/compiler/analysis/expression.lux b/stdlib/source/lux/language/compiler/analysis/expression.lux index f9a44f2f2..f6ec5d11a 100644 --- a/stdlib/source/lux/language/compiler/analysis/expression.lux +++ b/stdlib/source/lux/language/compiler/analysis/expression.lux @@ -1,14 +1,18 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data ["e" error] - [product] - text/format) - [macro]) - [//// (#+ Eval)] - ## (//// [".L" macro] - ## [".L" extension]) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + ["e" error] + [product] + [text + format]] + [macro]] + [//// (#+ Eval) + ## [".L" macro] + ## [".L" extension] + ] [///] [// (#+ Analysis Operation Compiler)] [//type] diff --git a/stdlib/source/lux/language/compiler/analysis/function.lux b/stdlib/source/lux/language/compiler/analysis/function.lux index 833e32eaf..95eacc47e 100644 --- a/stdlib/source/lux/language/compiler/analysis/function.lux +++ b/stdlib/source/lux/language/compiler/analysis/function.lux @@ -1,16 +1,19 @@ (.module: - [lux (#- function)] - (lux (control monad - ["ex" exception (#+ exception:)]) - (data [maybe] - [text] - text/format - (collection [list ("list/" Fold<List> Monoid<List> Monad<List>)])) - [macro] - (macro [code]) - (language [type] - (type ["tc" check]) - [".L" scope])) + [lux (#- function) + [control + monad + ["ex" exception (#+ exception:)]] + [data + [maybe] + ["." text + format] + [collection [list ("list/" Fold<List> Monoid<List> Monad<List>)]]] + ["." macro + [code]] + [language + ["." type + ["tc" check]] + [".L" scope]]] [///] [// (#+ Analysis Compiler)] [//type] diff --git a/stdlib/source/lux/language/compiler/analysis/inference.lux b/stdlib/source/lux/language/compiler/analysis/inference.lux index 187b6bb5c..1539e1a0d 100644 --- a/stdlib/source/lux/language/compiler/analysis/inference.lux +++ b/stdlib/source/lux/language/compiler/analysis/inference.lux @@ -1,14 +1,16 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [maybe] - [text] - text/format - (collection [list ("list/" Functor<List>)])) - [macro]) - (//// [type] - (type ["tc" check])) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + [maybe] + ["." text + format] + [collection [list ("list/" Functor<List>)]]] + [macro]] + [//// ["." type + ["tc" check]]] [/// ("operation/" Monad<Operation>)] [// (#+ Tag Analysis Operation Compiler)] [//type]) diff --git a/stdlib/source/lux/language/compiler/analysis/primitive.lux b/stdlib/source/lux/language/compiler/analysis/primitive.lux index 5fa4c1ba1..cbfef367f 100644 --- a/stdlib/source/lux/language/compiler/analysis/primitive.lux +++ b/stdlib/source/lux/language/compiler/analysis/primitive.lux @@ -1,9 +1,9 @@ (.module: - [lux (#- nat int rev)] - (lux (control monad) - [macro]) - [// (#+ Analysis)] - (// [".A" type])) + [lux (#- nat int rev) + [control monad] + [macro]] + [// (#+ Analysis) + [".A" type]]) ## [Analysers] (do-template [<name> <type> <tag>] diff --git a/stdlib/source/lux/language/compiler/analysis/reference.lux b/stdlib/source/lux/language/compiler/analysis/reference.lux index 4e73c410f..cdffd6870 100644 --- a/stdlib/source/lux/language/compiler/analysis/reference.lux +++ b/stdlib/source/lux/language/compiler/analysis/reference.lux @@ -1,12 +1,14 @@ (.module: - lux - (lux (control monad - ["ex" exception (#+ exception:)]) - [macro] - (macro [code]) - (language (type ["tc" check])) - (data [text ("text/" Equivalence<Text>)] - text/format)) + [lux #* + [control + monad + ["ex" exception (#+ exception:)]] + ["." macro + [code]] + [language [type ["tc" check]]] + [data + [text ("text/" Equivalence<Text>) + format]]] [///] [// (#+ Analysis Operation)] [//type] diff --git a/stdlib/source/lux/language/compiler/analysis/structure.lux b/stdlib/source/lux/language/compiler/analysis/structure.lux index 53ccecd50..e30d22bad 100644 --- a/stdlib/source/lux/language/compiler/analysis/structure.lux +++ b/stdlib/source/lux/language/compiler/analysis/structure.lux @@ -1,18 +1,21 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [ident] - [number] - [product] - [maybe] - (collection [list ("list/" Functor<List>)] - ["dict" dictionary (#+ Dictionary)]) - text/format) - [macro] - (macro [code])) - (//// [type] - (type ["tc" check])) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + [ident] + [number] + [product] + [maybe] + [text format] + [collection [list ("list/" Functor<List>)] + ["dict" dictionary (#+ Dictionary)]]] + ["." macro + [code]]] + [//// + ["." type + ["tc" check]]] [///] [// (#+ Tag Analysis Operation Compiler)] [//type] diff --git a/stdlib/source/lux/language/compiler/analysis/type.lux b/stdlib/source/lux/language/compiler/analysis/type.lux index 821da5557..0c73dedab 100644 --- a/stdlib/source/lux/language/compiler/analysis/type.lux +++ b/stdlib/source/lux/language/compiler/analysis/type.lux @@ -1,9 +1,9 @@ (.module: - lux - (lux (control [monad (#+ do)]) - (data [error]) - [macro] - (language (type ["tc" check]))) + [lux #* + [control [monad (#+ do)]] + [data [error]] + [macro] + [language [type ["tc" check]]]] [///] [// (#+ Operation)]) diff --git a/stdlib/source/lux/language/compiler/default/cache.lux b/stdlib/source/lux/language/compiler/default/cache.lux index 42b13ba86..f41cd0792 100644 --- a/stdlib/source/lux/language/compiler/default/cache.lux +++ b/stdlib/source/lux/language/compiler/default/cache.lux @@ -1,6 +1,6 @@ (.module: - lux - (lux (data (format [binary (#+ Binary)])))) + [lux #* + [data [format [binary (#+ Binary)]]]]) (def: definition (Binary Definition) diff --git a/stdlib/source/lux/language/compiler/default/repl/type.lux b/stdlib/source/lux/language/compiler/default/repl/type.lux index 30131d159..a9342ab6a 100644 --- a/stdlib/source/lux/language/compiler/default/repl/type.lux +++ b/stdlib/source/lux/language/compiler/default/repl/type.lux @@ -1,22 +1,27 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)] - ["p" parser] - pipe) - (data [error (#+ Error)] - text/format - (format [xml (#+ XML)] - [json (#+ JSON)]) - (collection [list])) - (time [instant (#+ Instant)] - [duration (#+ Duration)] - [date (#+ Date)]) - [function] - [macro] - (macro [code] - [poly (#+ Poly)]) - (language [type]))) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)] + ["p" parser] + pipe] + [data + [error (#+ Error)] + [text + format] + [format + [xml (#+ XML)] + [json (#+ JSON)]] + [collection [list]]] + [time + [instant (#+ Instant)] + [duration (#+ Duration)] + [date (#+ Date)]] + [function] + ["." macro + [code] + [poly (#+ Poly)]] + [language [type]]]) (exception: #export (cannot-represent-value {type Type}) (ex.report ["Type" (%type type)])) diff --git a/stdlib/source/lux/language/compiler/extension.lux b/stdlib/source/lux/language/compiler/extension.lux index 91b48dfb7..478c90564 100644 --- a/stdlib/source/lux/language/compiler/extension.lux +++ b/stdlib/source/lux/language/compiler/extension.lux @@ -1,10 +1,12 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [error (#+ Error)] - [text] - (collection ["dict" dictionary (#+ Dictionary)]))) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + [error (#+ Error)] + [text] + [collection ["dict" dictionary (#+ Dictionary)]]]] [// (#+ Operation Compiler)]) (type: #export (Extension i) diff --git a/stdlib/source/lux/language/compiler/extension/analysis.lux b/stdlib/source/lux/language/compiler/extension/analysis.lux index a34dcae77..ba37b4578 100644 --- a/stdlib/source/lux/language/compiler/extension/analysis.lux +++ b/stdlib/source/lux/language/compiler/extension/analysis.lux @@ -1,8 +1,10 @@ (.module: - lux - (lux (data [text] - (collection [list ("list/" Functor<List>)] - ["dict" dictionary (#+ Dictionary)]))) + [lux #* + [data + [text] + [collection + [list ("list/" Functor<List>)] + ["dict" dictionary (#+ Dictionary)]]]] [///analysis (#+ Analysis State)] [///synthesis (#+ Synthesis)] [//] diff --git a/stdlib/source/lux/language/compiler/extension/analysis/common.lux b/stdlib/source/lux/language/compiler/extension/analysis/common.lux index c099a9648..66189cec8 100644 --- a/stdlib/source/lux/language/compiler/extension/analysis/common.lux +++ b/stdlib/source/lux/language/compiler/extension/analysis/common.lux @@ -1,22 +1,26 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)] - [thread (#+ Box)]) - (concurrency [atom (#+ Atom)]) - (data [text] - text/format - (collection [list ("list/" Functor<List>)] - [array] - ["dict" dictionary (#+ Dictionary)])) - [language] - (language (type ["tc" check])) - [io (#+ IO)]) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)] + [thread (#+ Box)]] + [concurrency [atom (#+ Atom)]] + [data + ["." text + format] + [collection + [list ("list/" Functor<List>)] + [array] + ["dict" dictionary (#+ Dictionary)]]] + ["." language + [type ["tc" check]]] + [io (#+ IO)]] [////] - (//// [analysis (#+ Analysis)] - (analysis [".A" type] - [".A" case] - [".A" function])) + [//// + [analysis (#+ Analysis) + [".A" type] + [".A" case] + [".A" function]]] [///] [///bundle]) diff --git a/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux b/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux index 1985706c2..e13b32c08 100644 --- a/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux +++ b/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux @@ -1,29 +1,33 @@ (.module: - [lux (#- char int)] - (lux (control [monad (#+ do)] - ["p" parser] - ["ex" exception (#+ exception:)]) - (data ["e" error] - [maybe] - [product] - [bool ("bool/" Equivalence<Bool>)] - [text ("text/" Equivalence<Text>)] - (text format - ["l" lexer]) - (collection [list ("list/" Fold<List> Functor<List> Monoid<List>)] - [array] - ["dict" dictionary (#+ Dictionary)])) - [macro ("macro/" Monad<Meta>)] - (macro [code] - ["s" syntax]) - [language] - (language [type] - (type ["tc" check])) - [host]) + [lux (#- char int) + [control + [monad (#+ do)] + ["p" parser] + ["ex" exception (#+ exception:)]] + [data + ["e" error] + [maybe] + [product] + [bool ("bool/" Equivalence<Bool>)] + [text ("text/" Equivalence<Text>) + format + ["l" lexer]] + [collection + [list ("list/" Fold<List> Functor<List> Monoid<List>)] + [array] + ["dict" dictionary (#+ Dictionary)]]] + [macro ("macro/" Monad<Meta>) + [code] + ["s" syntax]] + ["." language + ["." type + ["tc" check]]] + [host]] ["/" //common] - (//// [".L" analysis (#+ Analysis)] - (analysis [".A" type] - [".A" inference])) + [//// + [".L" analysis (#+ Analysis) + [".A" type] + [".A" inference]]] [///] ) diff --git a/stdlib/source/lux/language/compiler/extension/bundle.lux b/stdlib/source/lux/language/compiler/extension/bundle.lux index 57bae70ed..315d05523 100644 --- a/stdlib/source/lux/language/compiler/extension/bundle.lux +++ b/stdlib/source/lux/language/compiler/extension/bundle.lux @@ -1,11 +1,14 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [text] - text/format - (collection [list ("list/" Functor<List>)] - ["dict" dictionary (#+ Dictionary)]))) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + ["." text + format] + [collection + [list ("list/" Functor<List>)] + ["dict" dictionary (#+ Dictionary)]]]] [//]) (exception: #export (incorrect-arity {name Text} {arity Nat} {args Nat}) diff --git a/stdlib/source/lux/language/compiler/extension/synthesis.lux b/stdlib/source/lux/language/compiler/extension/synthesis.lux index db1671c93..d907808a8 100644 --- a/stdlib/source/lux/language/compiler/extension/synthesis.lux +++ b/stdlib/source/lux/language/compiler/extension/synthesis.lux @@ -1,7 +1,8 @@ (.module: - lux - (lux (data [text] - (collection ["dict" dictionary (#+ Dictionary)]))) + [lux #* + [data + [text] + [collection ["dict" dictionary (#+ Dictionary)]]]] [//]) (def: #export defaults diff --git a/stdlib/source/lux/language/compiler/extension/translation.lux b/stdlib/source/lux/language/compiler/extension/translation.lux index 345333a8a..3a43e0dcb 100644 --- a/stdlib/source/lux/language/compiler/extension/translation.lux +++ b/stdlib/source/lux/language/compiler/extension/translation.lux @@ -1,7 +1,8 @@ (.module: - lux - (lux (data [text] - (collection ["dict" dictionary (#+ Dictionary)]))) + [lux #* + [data + [text] + [collection ["dict" dictionary (#+ Dictionary)]]]] [//]) (def: #export defaults diff --git a/stdlib/source/lux/language/compiler/meta/archive.lux b/stdlib/source/lux/language/compiler/meta/archive.lux index 4acb0b895..4a981007a 100644 --- a/stdlib/source/lux/language/compiler/meta/archive.lux +++ b/stdlib/source/lux/language/compiler/meta/archive.lux @@ -1,16 +1,18 @@ (.module: - lux - (lux (control ["ex" exception (#+ exception:)] - [equivalence (#+ Equivalence)] - [monad (#+ do)]) - (data [error (#+ Error)] - [ident] - [text] - text/format - (collection ["dict" dictionary (#+ Dictionary)])) - (language [type (#+ :share)]) - (type abstract) - (world [file (#+ File)])) + [lux #* + [control + ["ex" exception (#+ exception:)] + [equivalence (#+ Equivalence)] + [monad (#+ do)]] + [data + [error (#+ Error)] + [ident] + ["." text + format] + [collection ["dict" dictionary (#+ Dictionary)]]] + [language [type (#+ :share)]] + [type abstract] + [world [file (#+ File)]]] [//// (#+ Version)]) ## Key diff --git a/stdlib/source/lux/language/compiler/meta/cache.lux b/stdlib/source/lux/language/compiler/meta/cache.lux index e2de04813..753a66e89 100644 --- a/stdlib/source/lux/language/compiler/meta/cache.lux +++ b/stdlib/source/lux/language/compiler/meta/cache.lux @@ -1,19 +1,22 @@ (.module: - [lux (#- Module)] - (lux (control [monad (#+ Monad do)] - ["ex" exception (#+ exception:)] - pipe) - (data [bool ("bool/" Equivalence<Bool>)] - [maybe] - [error] - [product] - (format [binary (#+ Binary)]) - [text] - text/format - (collection [list ("list/" Functor<List> Fold<List>)] - ["dict" dictionary (#+ Dictionary)] - [set (#+ Set)])) - (world [file (#+ File System)])) + [lux (#- Module) + [control + [monad (#+ Monad do)] + ["ex" exception (#+ exception:)] + pipe] + [data + [bool ("bool/" Equivalence<Bool>)] + [maybe] + [error] + [product] + [format [binary (#+ Binary)]] + ["." text + format] + [collection + [list ("list/" Functor<List> Fold<List>)] + ["dict" dictionary (#+ Dictionary)] + [set (#+ Set)]]] + [world [file (#+ File System)]]] [//io (#+ Context Module)] [//io/context] [//io/archive] diff --git a/stdlib/source/lux/language/compiler/meta/cache/dependency.lux b/stdlib/source/lux/language/compiler/meta/cache/dependency.lux index be61f963f..b12a7e9fb 100644 --- a/stdlib/source/lux/language/compiler/meta/cache/dependency.lux +++ b/stdlib/source/lux/language/compiler/meta/cache/dependency.lux @@ -1,8 +1,10 @@ (.module: - [lux (#- Module)] - (lux (data [text] - (collection [list ("list/" Functor<List> Fold<List>)] - ["dict" dictionary (#+ Dictionary)]))) + [lux (#- Module) + [data + [text] + [collection + [list ("list/" Functor<List> Fold<List>)] + ["dict" dictionary (#+ Dictionary)]]]] [///io (#+ Module)] [///archive (#+ Archive)]) diff --git a/stdlib/source/lux/language/compiler/meta/io.lux b/stdlib/source/lux/language/compiler/meta/io.lux index e3d218b4c..3ba31fa82 100644 --- a/stdlib/source/lux/language/compiler/meta/io.lux +++ b/stdlib/source/lux/language/compiler/meta/io.lux @@ -1,13 +1,16 @@ (.module: - [lux (#- Module)] - (lux (control monad - ["ex" exception (#+ exception:)]) - (data [error] - [text] - (text format - [encoding])) - (world [file (#+ File System)] - [blob (#+ Blob)]))) + [lux (#- Module) + [control + monad + ["ex" exception (#+ exception:)]] + [data + [error] + ["." text + format + [encoding]]] + [world + [file (#+ File System)] + [blob (#+ Blob)]]]) (type: #export Context File) diff --git a/stdlib/source/lux/language/compiler/meta/io/archive.lux b/stdlib/source/lux/language/compiler/meta/io/archive.lux index 55216039f..e69f6eaf4 100644 --- a/stdlib/source/lux/language/compiler/meta/io/archive.lux +++ b/stdlib/source/lux/language/compiler/meta/io/archive.lux @@ -1,12 +1,15 @@ (.module: - [lux (#- Module)] - (lux (control monad - ["ex" exception (#+ exception:)]) - (data [error] - [text] - text/format) - (world [file (#+ File System)] - [blob (#+ Blob)])) + [lux (#- Module) + [control + monad + ["ex" exception (#+ exception:)]] + [data + [error] + ["." text + format]] + [world + [file (#+ File System)] + [blob (#+ Blob)]]] [/////host] [// (#+ Module)]) diff --git a/stdlib/source/lux/language/compiler/meta/io/context.lux b/stdlib/source/lux/language/compiler/meta/io/context.lux index 928784951..4658858ff 100644 --- a/stdlib/source/lux/language/compiler/meta/io/context.lux +++ b/stdlib/source/lux/language/compiler/meta/io/context.lux @@ -1,12 +1,16 @@ (.module: - [lux (#- Module Code)] - (lux (control monad - ["ex" exception (#+ Exception exception:)]) - (data [error] - (text format - [encoding])) - (world [file (#+ File System)] - [blob (#+ Blob)])) + [lux (#- Module Code) + [control + monad + ["ex" exception (#+ Exception exception:)]] + [data + [error] + [text + format + [encoding]]] + [world + [file (#+ File System)] + [blob (#+ Blob)]]] [/////host] [// (#+ Context Module)]) diff --git a/stdlib/source/lux/language/compiler/synthesis.lux b/stdlib/source/lux/language/compiler/synthesis.lux index 3a16d60a1..2e359d2ea 100644 --- a/stdlib/source/lux/language/compiler/synthesis.lux +++ b/stdlib/source/lux/language/compiler/synthesis.lux @@ -1,8 +1,9 @@ (.module: - [lux (#- i64 Scope)] - (lux (control [monad (#+ do)]) - (data [error (#+ Error)] - (collection ["dict" dictionary (#+ Dictionary)]))) + [lux (#- i64 Scope) + [control [monad (#+ do)]] + [data + [error (#+ Error)] + [collection ["dict" dictionary (#+ Dictionary)]]]] [///reference (#+ Register Variable Reference)] [// (#+ Operation Compiler)] [//analysis (#+ Environment Arity Analysis)]) diff --git a/stdlib/source/lux/language/compiler/synthesis/case.lux b/stdlib/source/lux/language/compiler/synthesis/case.lux index 10c41d428..7dd8b3157 100644 --- a/stdlib/source/lux/language/compiler/synthesis/case.lux +++ b/stdlib/source/lux/language/compiler/synthesis/case.lux @@ -1,14 +1,16 @@ (.module: - lux - (lux (control [equivalence (#+ Equivalence)] - pipe - [monad (#+ do)]) - (data [product] - [bool ("bool/" Equivalence<Bool>)] - [text ("text/" Equivalence<Text>)] - text/format - [number ("frac/" Equivalence<Frac>)] - (collection [list ("list/" Fold<List> Monoid<List>)]))) + [lux #* + [control + [equivalence (#+ Equivalence)] + pipe + [monad (#+ do)]] + [data + [product] + [bool ("bool/" Equivalence<Bool>)] + [text ("text/" Equivalence<Text>) + format] + [number ("frac/" Equivalence<Frac>)] + [collection [list ("list/" Fold<List> Monoid<List>)]]]] [///reference] [///compiler (#+ Operation) ("operation/" Monad<Operation>)] [///analysis (#+ Pattern Match Analysis)] diff --git a/stdlib/source/lux/language/compiler/synthesis/expression.lux b/stdlib/source/lux/language/compiler/synthesis/expression.lux index 33c64109d..ffc22d89a 100644 --- a/stdlib/source/lux/language/compiler/synthesis/expression.lux +++ b/stdlib/source/lux/language/compiler/synthesis/expression.lux @@ -1,10 +1,13 @@ (.module: - [lux (#- primitive)] - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [maybe] - (collection [list ("list/" Functor<List>)] - ["dict" dictionary (#+ Dictionary)]))) + [lux (#- primitive) + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + [maybe] + [collection + [list ("list/" Functor<List>)] + ["dict" dictionary (#+ Dictionary)]]]] [///reference] [///compiler ("operation/" Monad<Operation>)] [///analysis (#+ Analysis)] diff --git a/stdlib/source/lux/language/compiler/synthesis/function.lux b/stdlib/source/lux/language/compiler/synthesis/function.lux index 40e8f30c3..2b9cffd19 100644 --- a/stdlib/source/lux/language/compiler/synthesis/function.lux +++ b/stdlib/source/lux/language/compiler/synthesis/function.lux @@ -1,13 +1,16 @@ (.module: - [lux (#- function)] - (lux (control [monad (#+ do)] - [state] - pipe - ["ex" exception (#+ exception:)]) - (data [maybe ("maybe/" Monad<Maybe>)] - [error] - (collection [list ("list/" Functor<List> Monoid<List> Fold<List>)] - ["dict" dictionary (#+ Dictionary)]))) + [lux (#- function) + [control + [monad (#+ do)] + [state] + pipe + ["ex" exception (#+ exception:)]] + [data + [maybe ("maybe/" Monad<Maybe>)] + [error] + [collection + [list ("list/" Functor<List> Monoid<List> Fold<List>)] + ["dict" dictionary (#+ Dictionary)]]]] [///reference (#+ Variable)] [///compiler (#+ Operation)] [///analysis (#+ Environment Arity Analysis)] diff --git a/stdlib/source/lux/language/compiler/synthesis/loop.lux b/stdlib/source/lux/language/compiler/synthesis/loop.lux index 1a017b893..05af31a83 100644 --- a/stdlib/source/lux/language/compiler/synthesis/loop.lux +++ b/stdlib/source/lux/language/compiler/synthesis/loop.lux @@ -1,11 +1,14 @@ (.module: - [lux (#- loop)] - (lux (control [monad (#+ do)] - ["p" parser]) - (data [maybe ("maybe/" Monad<Maybe>)] - (collection [list ("list/" Functor<List>)])) - (macro [code] - [syntax])) + [lux (#- loop) + [control + [monad (#+ do)] + ["p" parser]] + [data + [maybe ("maybe/" Monad<Maybe>)] + [collection [list ("list/" Functor<List>)]]] + [macro + [code] + [syntax]]] [///] [///reference (#+ Register Variable)] [///analysis (#+ Environment)] diff --git a/stdlib/source/lux/language/compiler/translation.lux b/stdlib/source/lux/language/compiler/translation.lux index 19b7045ac..01dc584e6 100644 --- a/stdlib/source/lux/language/compiler/translation.lux +++ b/stdlib/source/lux/language/compiler/translation.lux @@ -1,14 +1,17 @@ (.module: - lux - (lux (control ["ex" exception (#+ exception:)] - [monad (#+ do)]) - (data [maybe ("maybe/" Functor<Maybe>)] - [error (#+ Error)] - [text] - text/format - (collection [row (#+ Row)] - ["dict" dictionary (#+ Dictionary)])) - (world [file (#+ File)])) + [lux #* + [control + ["ex" exception (#+ exception:)] + [monad (#+ do)]] + [data + [maybe ("maybe/" Functor<Maybe>)] + [error (#+ Error)] + ["." text + format] + [collection + [row (#+ Row)] + ["dict" dictionary (#+ Dictionary)]]] + [world [file (#+ File)]]] [// (#+ Operation Compiler)] [//synthesis (#+ Synthesis)]) diff --git a/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux index d075c1138..4460a3102 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux @@ -1,16 +1,20 @@ (.module: - [lux (#- case let if)] - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [number] - [text] - text/format - (collection [list ("list/" Functor<List> Fold<List>)] - [set (#+ Set)]))) - (///// [reference (#+ Register)] - (host ["_" scheme (#+ Expression Computation Var)]) - [compiler ("operation/" Monad<Operation>)] - (compiler [synthesis (#+ Synthesis Path)])) + [lux (#- case let if) + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + [number] + ["." text + format] + [collection + [list ("list/" Functor<List> Fold<List>)] + [set (#+ Set)]]]] + [///// + [reference (#+ Register)] + [host ["_" scheme (#+ Expression Computation Var)]] + [compiler ("operation/" Monad<Operation>) + [synthesis (#+ Synthesis Path)]]] [//runtime (#+ Operation Translator)] [//reference]) diff --git a/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux index 60fd99ea8..464f2c27d 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux @@ -1,9 +1,10 @@ (.module: - lux - (lux (control [monad (#+ do)])) - (///// [compiler] - (compiler [synthesis] - [extension])) + [lux #* + [control [monad (#+ do)]]] + [///// + ["." compiler + [synthesis] + [extension]]] [//runtime (#+ Translator)] [//primitive] [//structure] diff --git a/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux index 770d365cf..a54d67425 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux @@ -1,14 +1,18 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data [maybe] - text/format - (collection ["dict" dictionary (#+ Dictionary)]))) - (///// [reference (#+ Register Variable)] - (host ["_" scheme (#+ Computation)]) - [compiler ("operation/" Monad<Operation>)] - (compiler [synthesis (#+ Synthesis)])) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + [maybe] + [text + format] + [collection ["dict" dictionary (#+ Dictionary)]]]] + [///// + [reference (#+ Register Variable)] + [host ["_" scheme (#+ Computation)]] + [compiler ("operation/" Monad<Operation>) + [synthesis (#+ Synthesis)]]] [//runtime (#+ Operation Translator)] [/common] ## [/host] diff --git a/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux index 79f39e9d4..377fed8f5 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux @@ -1,21 +1,25 @@ (.module: - lux - (lux (control [monad (#+ do)] - ["ex" exception (#+ exception:)]) - (data ["e" error] - [product] - [text] - text/format - [number (#+ hex)] - (collection [list ("list/" Functor<List>)] - ["dict" dictionary (#+ Dictionary)])) - [macro (#+ with-gensyms)] - (macro [code] - ["s" syntax (#+ syntax:)]) - [host]) - (////// (host ["_" scheme (#+ Expression Computation)]) - [compiler] - (compiler [synthesis (#+ Synthesis)])) + [lux #* + [control + [monad (#+ do)] + ["ex" exception (#+ exception:)]] + [data + ["e" error] + [product] + ["." text + format] + [number (#+ hex)] + [collection + [list ("list/" Functor<List>)] + ["dict" dictionary (#+ Dictionary)]]] + [macro (#+ with-gensyms) + [code] + ["s" syntax (#+ syntax:)]] + [host]] + [////// + [host ["_" scheme (#+ Expression Computation)]] + ["." compiler + [synthesis (#+ Synthesis)]]] [///runtime (#+ Operation Translator)]) ## [Types] diff --git a/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux index acd639bdf..6afb04799 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux @@ -1,16 +1,20 @@ (.module: - [lux (#- function)] - (lux (control [monad (#+ do)] - pipe) - (data [product] - text/format - (collection [list ("list/" Functor<List>)]))) - (///// [reference (#+ Register Variable)] - [name] - (host ["_" scheme (#+ Expression Computation Var)]) - [compiler ("operation/" Monad<Operation>)] - (compiler [analysis (#+ Variant Tuple Environment Arity Abstraction Application Analysis)] - [synthesis (#+ Synthesis)])) + [lux (#- function) + [control + [monad (#+ do)] + pipe] + [data + [product] + [text + format] + [collection [list ("list/" Functor<List>)]]]] + [///// + [reference (#+ Register Variable)] + [name] + [host ["_" scheme (#+ Expression Computation Var)]] + [compiler ("operation/" Monad<Operation>) + [analysis (#+ Variant Tuple Environment Arity Abstraction Application Analysis)] + [synthesis (#+ Synthesis)]]] [///] [//runtime (#+ Operation Translator)] [//primitive] diff --git a/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux index 4fb90a51e..227a2eda9 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux @@ -1,14 +1,18 @@ (.module: - [lux (#- Scope)] - (lux (control [monad (#+ do)]) - (data [product] - [text] - text/format - (collection [list ("list/" Functor<List>)])) - [macro]) - (///// (host ["_" scheme (#+ Computation Var)]) - [compiler] - (compiler [synthesis (#+ Scope Synthesis)])) + [lux (#- Scope) + [control + [monad (#+ do)]] + [data + [product] + ["." text + format] + [collection + [list ("list/" Functor<List>)]]] + [macro]] + [///// + [host ["_" scheme (#+ Computation Var)]] + ["." compiler + [synthesis (#+ Scope Synthesis)]]] [///] [//runtime (#+ Operation Translator)] [//reference]) diff --git a/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux index 2546fd41c..fea12c6c3 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux @@ -1,8 +1,9 @@ (.module: [lux (#- i64)] [/// (#+ State)] - (///// [compiler ("operation/" Monad<Operation>)] - (host ["_" scheme (#+ Expression)])) + [///// + [compiler ("operation/" Monad<Operation>)] + [host ["_" scheme (#+ Expression)]]] [//runtime (#+ Operation)]) (def: #export bool diff --git a/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux index 3babc137d..51dd2f515 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux @@ -1,13 +1,17 @@ (.module: - lux - (lux (control pipe) - (data text/format)) - (///// [reference (#+ Register Variable Reference)] - [name] - (host ["_" scheme (#+ Expression Var)]) - [compiler ("operation/" Monad<Operation>)] - (compiler [analysis (#+ Variant Tuple)] - [synthesis (#+ Synthesis)])) + [lux #* + [control + pipe] + [data + [text + format]]] + [///// + [reference (#+ Register Variable Reference)] + [name] + [host ["_" scheme (#+ Expression Var)]] + [compiler ("operation/" Monad<Operation>) + [analysis (#+ Variant Tuple)] + [synthesis (#+ Synthesis)]]] [//runtime (#+ Operation Translator)] [//primitive]) diff --git a/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux index f068478d2..d2a72d140 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux @@ -1,19 +1,24 @@ (.module: - lux - (lux (control ["p" parser ("parser/" Monad<Parser>)] - [monad (#+ do)]) - (data [number (#+ hex)] - text/format - (collection [list ("list/" Monad<List>)])) - [function] - (macro [code] - ["s" syntax (#+ syntax:)])) + [lux #* + [control + ["p" parser ("parser/" Monad<Parser>)] + [monad (#+ do)]] + [data + [number (#+ hex)] + [text + format] + [collection [list ("list/" Monad<List>)]]] + [function] + [macro + [code] + ["s" syntax (#+ syntax:)]]] [/// (#+ State)] - (///// [name] - (host ["_" scheme (#+ Expression Computation Var)]) - [compiler] - (compiler [analysis (#+ Variant)] - [synthesis]))) + [///// + [name] + [host ["_" scheme (#+ Expression Computation Var)]] + ["." compiler + [analysis (#+ Variant)] + [synthesis]]]) (type: #export Operation (compiler.Operation (State Var Expression))) diff --git a/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux b/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux index 4db023b38..ea5440d67 100644 --- a/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux +++ b/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux @@ -1,10 +1,12 @@ (.module: - lux - (lux (control [monad (#+ do)])) - (///// (host ["_" scheme (#+ Expression)]) - [compiler] - (compiler [analysis (#+ Variant Tuple)] - [synthesis (#+ Synthesis)])) + [lux #* + [control [monad (#+ do)]]] + [///// + [host + ["_" scheme (#+ Expression)]] + ["." compiler + [analysis (#+ Variant Tuple)] + [synthesis (#+ Synthesis)]]] [//runtime (#+ Operation Translator)] [//primitive]) |