aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library')
-rw-r--r--stdlib/source/library/lux/math/arithmetic/fixed_point.lux2
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++.lux104
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/runtime.lux34
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm.lux64
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/program.lux3
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux4
-rw-r--r--stdlib/source/library/lux/meta/compiler/meta/context.lux1
-rw-r--r--stdlib/source/library/lux/meta/compiler/target.lux1
-rw-r--r--stdlib/source/library/lux/meta/compiler/target/c++.lux6
9 files changed, 178 insertions, 41 deletions
diff --git a/stdlib/source/library/lux/math/arithmetic/fixed_point.lux b/stdlib/source/library/lux/math/arithmetic/fixed_point.lux
index 4498bce85..560068499 100644
--- a/stdlib/source/library/lux/math/arithmetic/fixed_point.lux
+++ b/stdlib/source/library/lux/math/arithmetic/fixed_point.lux
@@ -77,7 +77,7 @@
(I64 Any)))
(|> it
.i64
- (i.right_shifted (n.- (nominal.representation Point @) i64.width)))))
+ (i64.right_shifted (n.- (nominal.representation Point @) i64.width)))))
(def .public (fixed @ units sub_units)
(All (_ @)
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++.lux
new file mode 100644
index 000000000..519863128
--- /dev/null
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++.lux
@@ -0,0 +1,104 @@
+... This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+... If a copy of the MPL was not distributed with this file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
+(.require
+ [library
+ [lux (.except Synthesis)
+ [abstract
+ [monad (.only do)]]
+ [control
+ ["[0]" try]
+ ["[0]" exception (.only Exception)]]
+ [data
+ ["[0]" text (.use "[1]#[0]" equivalence)
+ ["%" \\format]]]
+ ["[0]" meta (.only)
+ [macro
+ ["^" pattern]]
+ [type
+ ["[0]" check]]
+ [compiler
+ [meta
+ ["[0]" archive (.only Archive)]
+ ["[0]" cache
+ [dependency
+ ["[1]/[0]" artifact]]]]]]]]
+ ["[0]" /
+ [runtime (.only Operation Phase Handler)]
+ ["[1][0]" primitive]
+ ["[1][0]" complex]
+ ... ["[1][0]" reference]
+ ... ["[1][0]" function]
+ ... ["[1][0]" when]
+ ... ["[1][0]" loop]
+ ["//[1]" ///
+ ["[0]" extension]
+ [//
+ ["[0]" phase (.use "[1]#[0]" monad)]
+ ["[0]" synthesis (.only Synthesis)]
+ ["[0]" translation]
+ [///
+ ["[0]" reference]]]]])
+
+(def .public (translation extender lux)
+ (-> extension.Extender Lux
+ Phase)
+ (function (phase archive it)
+ (when it
+ (^.with_template [<tag> <translator>]
+ [(<tag> @ it)
+ (phase#in (<translator> it))])
+ ([synthesis.bit /primitive.bit]
+ [synthesis.i64 /primitive.i64]
+ [synthesis.f64 /primitive.f64]
+ [synthesis.text /primitive.text])
+
+ (synthesis.variant @ it)
+ (/complex.variant phase archive it)
+
+ (synthesis.tuple @ it)
+ (/complex.tuple phase archive it)
+
+ ... [@ {synthesis.#Reference reference}]
+ ... (when reference
+ ... {reference.#Variable variable}
+ ... (/reference.variable archive variable)
+
+ ... {reference.#Constant constant}
+ ... (/reference.constant archive constant))
+
+ ... (synthesis.branch/when @ [valueS pathS])
+ ... (/when.when phase archive [valueS pathS])
+
+ ... (synthesis.branch/exec @ [this that])
+ ... (/when.exec phase archive [this that])
+
+ ... (synthesis.branch/let @ [inputS register bodyS])
+ ... (/when.let phase archive [inputS register bodyS])
+
+ ... (synthesis.branch/if @ [conditionS thenS elseS])
+ ... (/when.if phase archive [conditionS thenS elseS])
+
+ ... (synthesis.branch/get @ [path recordS])
+ ... (/when.get phase archive [path recordS])
+
+ ... (synthesis.loop/scope @ scope)
+ ... (/loop.scope phase archive scope)
+
+ ... (synthesis.loop/again @ updates)
+ ... (/loop.again phase archive updates)
+
+ ... (synthesis.function/abstraction @ abstraction)
+ ... (/function.abstraction phase archive abstraction)
+
+ ... (synthesis.function/apply @ application)
+ ... (/function.apply phase archive application)
+
+ ... [@ {synthesis.#Extension [name parameters]}]
+ ... (extension.application extender lux phase archive .Translation false name parameters
+ ... (|>>)
+ ... (function (_ _) {.#None}))
+
+ _
+ (undefined)
+ )))
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/runtime.lux
index 4e488a289..461b0ead8 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/runtime.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/runtime.lux
@@ -4,11 +4,17 @@
(.require
[library
[lux (.except Declaration Translation)
+ [abstract
+ ["[0]" monad (.only do)]]
[data
+ ["[0]" product]
[text
- ["%" \\format]]
+ ["%" \\format]
+ [encoding
+ ["[0]" utf8]]]
[collection
- ["[0]" list]]]
+ ["[0]" list]
+ ["[0]" sequence]]]
["[0]" meta (.use "[1]#[0]" functor)
["[0]" code]
[macro
@@ -20,10 +26,13 @@
["[0]" //
["[1][0]" type]]
[/////
+ ["[0]" phase]
["[0]" translation]
[///
[meta
- [archive (.only Archive)]]]])
+ [archive (.only Output Archive)
+ ["[0]" registry (.only Registry)]
+ ["[0]" unit]]]]])
(type .public Anchor
Any)
@@ -32,7 +41,7 @@
_.Expression)
(type .public Declaration
- _.Statement)
+ _.Declaration)
(with_template [<name> <base>]
[(type .public <name>
@@ -44,6 +53,9 @@
[Bundle translation.Bundle]
)
+(type .public Host
+ (translation.Host Value Declaration))
+
(type .public (Translation of)
(-> Phase Archive of
(Operation Value)))
@@ -156,3 +168,17 @@
_.Expression
(_.global [..namespace <unit>] (list)))
)
+
+(def artifact_id
+ 0)
+
+(def .public translation
+ (Operation [Registry Output])
+ (do phase.monad
+ [_ (translation.execute! ..declaration)
+ _ (translation.save! ..artifact_id {.#None} ..declaration)]
+ (in [(|> registry.empty
+ (registry.resource .true unit.none)
+ product.right)
+ (sequence.sequence [..artifact_id {.#None}
+ (of utf8.codec encoded (_.code ..declaration))])])))
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm.lux
index 15a4a8057..4e47ca19b 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm.lux
@@ -60,69 +60,69 @@
(def .public (translate extender lux)
(-> extension.Extender Lux
Phase)
- (function (phase archive synthesis)
- (when synthesis
+ (function (phase archive it)
+ (when it
(^.with_template [<tag> <translator>]
- [(<tag> @ value)
+ [(<tag> @ it)
(with_source_mapping @
- (phase#in (<translator> value)))])
+ (phase#in (<translator> it)))])
([synthesis.bit /primitive.bit]
[synthesis.i64 /primitive.i64]
[synthesis.f64 /primitive.f64]
[synthesis.text /primitive.text])
- (synthesis.variant @ variantS)
+ (synthesis.variant @ it)
(with_source_mapping @
- (/complex.variant phase archive variantS))
+ (/complex.variant phase archive it))
- (synthesis.tuple @ members)
+ (synthesis.tuple @ it)
(with_source_mapping @
- (/complex.tuple phase archive members))
+ (/complex.tuple phase archive it))
- [@ {synthesis.#Reference reference}]
+ [@ {synthesis.#Reference it}]
(with_source_mapping @
- (when reference
- {reference.#Variable variable}
- (/reference.variable archive variable)
+ (when it
+ {reference.#Variable it}
+ (/reference.variable archive it)
- {reference.#Constant constant}
- (/reference.constant archive constant)))
+ {reference.#Constant it}
+ (/reference.constant archive it)))
- (synthesis.branch/when @ [valueS pathS])
+ (synthesis.branch/when @ it)
(with_source_mapping @
- (/when.when phase archive [valueS pathS]))
+ (/when.when phase archive it))
- (synthesis.branch/exec @ [this that])
+ (synthesis.branch/exec @ it)
(with_source_mapping @
- (/when.exec phase archive [this that]))
+ (/when.exec phase archive it))
- (synthesis.branch/let @ [inputS register bodyS])
+ (synthesis.branch/let @ it)
(with_source_mapping @
- (/when.let phase archive [inputS register bodyS]))
+ (/when.let phase archive it))
- (synthesis.branch/if @ [conditionS thenS elseS])
+ (synthesis.branch/if @ it)
(with_source_mapping @
- (/when.if phase archive [conditionS thenS elseS]))
+ (/when.if phase archive it))
- (synthesis.branch/get @ [path recordS])
+ (synthesis.branch/get @ it)
(with_source_mapping @
- (/when.get phase archive [path recordS]))
+ (/when.get phase archive it))
- (synthesis.loop/scope @ scope)
+ (synthesis.loop/scope @ it)
(with_source_mapping @
- (/loop.scope phase archive scope))
+ (/loop.scope phase archive it))
- (synthesis.loop/again @ updates)
+ (synthesis.loop/again @ it)
(with_source_mapping @
- (/loop.again phase archive updates))
+ (/loop.again phase archive it))
- (synthesis.function/abstraction @ abstraction)
+ (synthesis.function/abstraction @ it)
(with_source_mapping @
- (/function.abstraction phase archive abstraction))
+ (/function.abstraction phase archive it))
- (synthesis.function/apply @ application)
+ (synthesis.function/apply @ it)
(with_source_mapping @
- (/function.apply phase archive application))
+ (/function.apply phase archive it))
[@ {synthesis.#Extension [name parameters]}]
(with_source_mapping @
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/program.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/program.lux
index 43d0cb6b6..80a700340 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/program.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/program.lux
@@ -146,7 +146,8 @@
//runtime.apply))
(def .public (program artifact_name context program)
- (-> (-> unit.ID Text) (Program (Bytecode Any) Definition))
+ (-> (-> unit.ID Text)
+ (Program (Bytecode Any) Definition))
(let [super_class (|> ..^Object type.reflection reflection.reflection name.internal)
main (method.method ..main::modifier "main"
false ..main::type
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux
index 1cd97d325..9c7a0aa24 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/reference.lux
@@ -8,7 +8,6 @@
[text
["%" \\format (.only format)]]]
[meta
- ["[0]" version]
[compiler
["@" target]]]]]
[////
@@ -54,8 +53,7 @@
(def .public (artifact [module artifact])
(-> unit.ID Text)
- (format "l" (%.nat version.latest)
- ..universe_label
+ (format ..universe_label
"m" (%.nat module)
"a" (%.nat artifact)))
diff --git a/stdlib/source/library/lux/meta/compiler/meta/context.lux b/stdlib/source/library/lux/meta/compiler/meta/context.lux
index ccd7fe4ea..d2c76f8dc 100644
--- a/stdlib/source/library/lux/meta/compiler/meta/context.lux
+++ b/stdlib/source/library/lux/meta/compiler/meta/context.lux
@@ -33,4 +33,5 @@
[lua @.lua ".lua" ".lua"]
[python @.python ".py" ".py"]
[ruby @.ruby ".rb" ".rb"]
+ [c++ @.c++ ".cpp" ".cpp"]
)
diff --git a/stdlib/source/library/lux/meta/compiler/target.lux b/stdlib/source/library/lux/meta/compiler/target.lux
index 82f1c4b53..ee3bbedc2 100644
--- a/stdlib/source/library/lux/meta/compiler/target.lux
+++ b/stdlib/source/library/lux/meta/compiler/target.lux
@@ -21,6 +21,7 @@
[lua "Lua"]
[python "Python"]
[ruby "Ruby"]
+ [c++ "C++"]
... Not available yet.
[common_lisp "Common Lisp"]
[php "PHP"]
diff --git a/stdlib/source/library/lux/meta/compiler/target/c++.lux b/stdlib/source/library/lux/meta/compiler/target/c++.lux
index d2cde8f5b..eda5a1440 100644
--- a/stdlib/source/library/lux/meta/compiler/target/c++.lux
+++ b/stdlib/source/library/lux/meta/compiler/target/c++.lux
@@ -43,6 +43,12 @@
(text#= (%> refererence)
(%> it)))))
+ (def .public manual
+ (All (_ of)
+ (-> Text
+ (Code of)))
+ (|>> <%))
+
(def .public code
(-> (Code Any)
Text)