aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library')
-rw-r--r--stdlib/source/library/lux/control/security/policy.lux12
-rw-r--r--stdlib/source/library/lux/ffi.lux2
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lua.lux5
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux5
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux23
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/primitive.lux28
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/primitive.lux30
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua.lux8
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux28
-rw-r--r--stdlib/source/library/lux/meta/target/c++.lux114
-rw-r--r--stdlib/source/library/lux/meta/target/lua.lux26
11 files changed, 222 insertions, 59 deletions
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index 517d60638..9d8059b01 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -13,10 +13,12 @@
value
(type .public (Can_Upgrade brand label value)
- (-> value (Policy brand value label)))
+ (-> value
+ (Policy brand value label)))
(type .public (Can_Downgrade brand label value)
- (-> (Policy brand value label) value))
+ (-> (Policy brand value label)
+ value))
(type .public (Privilege brand label)
(Record
@@ -51,9 +53,11 @@
(context ..privilege))
(def (of_policy constructor)
- (-> Type Type)
+ (-> Type
+ Type)
(type_literal (All (_ brand label)
- (constructor (All (_ value) (Policy brand value label))))))
+ (constructor (All (_ value)
+ (Policy brand value label))))))
(def .public functor
(, (..of_policy Functor))
diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux
index 0ad5a846f..261e555ba 100644
--- a/stdlib/source/library/lux/ffi.lux
+++ b/stdlib/source/library/lux/ffi.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except Symbol Alias Global Declaration global function type_of undefined)
+ [lux (.except Symbol Alias Global Declaration global function type_of undefined alias)
[abstract
["[0]" monad (.only do)]]
[control
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lua.lux
index 06a60ef41..092ca0575 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lua.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lua.lux
@@ -23,10 +23,9 @@
[///
["[0]" extension]
[//
+ ["[0]" phase]
["[0]" analysis (.only Analysis Operation Phase Handler Bundle)
- ["[1]/[0]" type]]
- [///
- ["[0]" phase]]]]])
+ ["[1]/[0]" type]]]]])
(def Nil
(for @.lua ffi.Nil
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux
index 31f782b48..e9a458146 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/common.lux
@@ -40,11 +40,10 @@
["[1][0]" loop]
["[1][0]" function]]]
[//
+ ["[0]" phase (.use "[1]#[0]" monad)]
["[0]" translation]
["[0]" synthesis (.only %synthesis)
- ["?[1]" \\parser (.only Parser)]]
- [///
- ["[0]" phase (.use "[1]#[0]" monad)]]]])
+ ["?[1]" \\parser (.only Parser)]]]])
(def .public (custom [parser handler])
(All (_ s)
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux
index b69079a05..d27a45487 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/lua/host.lux
@@ -27,11 +27,10 @@
["[1][0]" runtime (.only Operation Phase Handler Bundle
with_vars)]]]
["/[1]" //
+ ["[0]" phase]
["[0]" translation]
[synthesis
- ["<s>" \\parser (.only Parser)]]
- ["//[1]" ///
- ["[1][0]" phase]]]]])
+ ["<s>" \\parser (.only Parser)]]]]])
(def array::new
(Unary Expression)
@@ -67,7 +66,7 @@
(custom
[(all <>.and <s>.text <s>.any)
(function (_ phase archive [fieldS objectS])
- (do ////////phase.monad
+ (do phase.monad
[objectG (phase archive objectS)]
(in (_.the fieldS objectG))))]))
@@ -76,7 +75,7 @@
(custom
[(all <>.and <s>.text <s>.any (<>.some <s>.any))
(function (_ phase archive [methodS objectS inputsS])
- (do [! ////////phase.monad]
+ (do [! phase.monad]
[objectG (phase archive objectS)
inputsG (monad.each ! (phase archive) inputsS)]
(in (_.do methodS inputsG objectG))))]))
@@ -103,7 +102,7 @@
(custom
[<s>.any
(function (_ phase archive inputS)
- (do [! ////////phase.monad]
+ (do [! phase.monad]
[inputG (phase archive inputS)]
(in (<| (_.apply (list inputG))
(_.closure (list $input))
@@ -115,7 +114,7 @@
(custom
[<s>.any
(function (_ phase archive inputS)
- (do [! ////////phase.monad]
+ (do [! phase.monad]
[inputG (phase archive inputS)]
(in (_.apply (list (_.apply (list inputG)
(_.var "table.unpack")))
@@ -131,13 +130,13 @@
(custom
[<s>.text
(function (_ phase archive name)
- (of ////////phase.monad in (_.var name)))]))
+ (of phase.monad in (_.var name)))]))
(def lua::apply
(custom
[(all <>.and <s>.any (<>.some <s>.any))
(function (_ phase archive [abstractionS inputsS])
- (do [! ////////phase.monad]
+ (do [! phase.monad]
[abstractionG (phase archive abstractionS)
inputsG (monad.each ! (phase archive) inputsS)]
(in (_.apply inputsG abstractionG))))]))
@@ -146,7 +145,7 @@
(custom
[(all <>.and <s>.any <s>.any)
(function (_ phase archive [powerS baseS])
- (do [! ////////phase.monad]
+ (do [! phase.monad]
[powerG (phase archive powerS)
baseG (phase archive baseS)]
(in (_.^ powerG baseG))))]))
@@ -155,14 +154,14 @@
(custom
[<s>.text
(function (_ phase archive module)
- (of ////////phase.monad in
+ (of phase.monad in
(_.require/1 (_.string module))))]))
(def lua::function
(custom
[(all <>.and <s>.i64 <s>.any)
(function (_ phase archive [arity abstractionS])
- (do [! ////////phase.monad]
+ (do [! phase.monad]
[abstractionG (phase archive abstractionS)
.let [variable (is (-> Text (Operation Var))
(|>> translation.symbol
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/primitive.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/primitive.lux
new file mode 100644
index 000000000..6deddbdd5
--- /dev/null
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/c++/primitive.lux
@@ -0,0 +1,28 @@
+(.require
+ [library
+ [lux (.except i64)
+ [meta
+ [target
+ ["_" c++ (.only Literal Expression)]]]]])
+
+(def .public bit
+ (-> Bit
+ Literal)
+ _.bool)
+
+(def .public i64
+ (-> (I64 Any)
+ Expression)
+ (|>> .int
+ _.int
+ _.int64_t))
+
+(def .public f64
+ (-> Frac
+ Literal)
+ _.double)
+
+(def .public text
+ (-> Text
+ Literal)
+ _.u32string)
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/primitive.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/primitive.lux
index 5c9677bb7..db64e3fa0 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/primitive.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/primitive.lux
@@ -17,23 +17,23 @@
["_" bytecode (.only Bytecode)]
["[0]" type]
[encoding
- ["[0]" signed]]]]]]]
- ["[0]" //
- ["[1][0]" runtime]])
+ ["[0]" signed]]]]]]])
(def $Boolean (type.class "java.lang.Boolean" (list)))
(def $Long (type.class "java.lang.Long" (list)))
(def $Double (type.class "java.lang.Double" (list)))
(def .public (bit value)
- (-> Bit (Bytecode Any))
+ (-> Bit
+ (Bytecode Any))
(_.getstatic $Boolean (if value "TRUE" "FALSE") $Boolean))
(def wrap_i64
(_.invokestatic $Long "valueOf" (type.method [(list) (list type.long) $Long (list)])))
(def .public (i64 value)
- (-> (I64 Any) (Bytecode Any))
+ (-> (I64 Any)
+ (Bytecode Any))
(when (.int value)
(^.with_template [<int> <instruction>]
[<int>
@@ -83,14 +83,21 @@
(import java/lang/Double
"[1]::[0]"
- ("static" doubleToRawLongBits "manual" [double] int))
+ ("static" doubleToRawLongBits [double] long))
+
+(def double_bits
+ (-> Frac
+ Int)
+ (|>> java/lang/Double::doubleToRawLongBits
+ ffi.of_long))
(def d0_bits
Int
- (java/lang/Double::doubleToRawLongBits +0.0))
+ (double_bits +0.0))
(def .public (f64 value)
- (-> Frac (Bytecode Any))
+ (-> Frac
+ (Bytecode Any))
(when value
(^.with_template [<int> <instruction>]
[<int>
@@ -122,10 +129,11 @@
[+5.0 _.iconst_5])
_
- (let [constantI (if (i.= ..d0_bits
- (java/lang/Double::doubleToRawLongBits (as java/lang/Double value)))
+ (let [constantI (if (|> value
+ ..double_bits
+ (i.= ..d0_bits))
_.dconst_0
- (_.double value))]
+ (_.double (as java/lang/Double value)))]
(do _.monad
[_ constantI]
..wrap_f64))))
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua.lux
index b39309d74..3f428775f 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua.lux
@@ -27,9 +27,9 @@
["[1]/[0]" common]]]]
["/[1]" //
[analysis (.only)]
+ ["[0]" phase (.use "[1]#[0]" monad)]
["[0]" synthesis]
- ["//[1]" ///
- ["[1][0]" phase (.use "[1]#[0]" monad)]
+ [///
[reference (.only)
[variable (.only)]]]]]]])
@@ -41,7 +41,7 @@
(when synthesis
(^.with_template [<tag> <translator>]
[(<tag> @ value)
- (//////phase#in (<translator> value))])
+ (phase#in (<translator> value))])
([synthesis.bit /primitive.bit]
[synthesis.i64 /primitive.i64]
[synthesis.f64 /primitive.f64]
@@ -75,7 +75,7 @@
(/loop.scope ///extension/common.statement expression archive scope)
(synthesis.loop/again @ updates)
- (//////phase.except ..cannot_recur_as_an_expression [])
+ (phase.except ..cannot_recur_as_an_expression [])
(synthesis.function/abstraction @ abstraction)
(/function.function ///extension/common.statement expression archive abstraction)
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux
index 2ff224e3b..78741fe06 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/runtime.lux
@@ -250,14 +250,26 @@
(runtime
(lux//try risky)
- (with_vars [success value]
- (all _.then
- (_.let (list success value) (|> risky (_.apply (list ..unit))
- _.return (_.closure (list))
- list _.apply (|> (_.var "pcall"))))
- (_.if success
- (_.return (..right value))
- (_.return (..left value))))))
+ (let [closure (|> risky
+ (_.apply (list ..unit))
+ _.return
+ (_.closure (list)))
+ $debug (_.var "debug")
+ $xpcall (_.var "xpcall")]
+ (with_vars [success value]
+ (_.if (_.and $debug $xpcall)
+ (all _.then
+ (_.let (list success value) (_.apply (list closure (_.the "traceback" $debug))
+ $xpcall))
+ (_.if success
+ (_.return (..right value))
+ (_.return (..left value))))
+ (all _.then
+ (_.let (list success value) (_.apply (list closure)
+ (_.var "pcall")))
+ (_.if success
+ (_.return (..right value))
+ (_.return (..left value))))))))
(runtime
(lux//program_args raw)
diff --git a/stdlib/source/library/lux/meta/target/c++.lux b/stdlib/source/library/lux/meta/target/c++.lux
new file mode 100644
index 000000000..b8c2414f4
--- /dev/null
+++ b/stdlib/source/library/lux/meta/target/c++.lux
@@ -0,0 +1,114 @@
+(.require
+ [library
+ [lux (.except Code Type int)
+ [control
+ ["|" pipe]]
+ [data
+ ["[0]" text (.only)
+ ["%" \\format]]
+ [collection
+ ["[0]" list (.use "[1]#[0]" functor)]]]
+ [math
+ [number
+ ["f" frac]]]
+ [meta
+ [macro
+ ["[0]" template]]
+ [type
+ ["[0]" nominal]]]]])
+
+(nominal.def .public (Code of)
+ Text
+
+ (def .public code
+ (-> (Code Any)
+ Text)
+ (|>> nominal.representation))
+
+ (with_template [<type> <super>+]
+ [(with_expansions [<of> (template.symbol [<type> "'"])]
+ (nominal.def (<of> of)
+ Any)
+ (`` (type .public <type>
+ (|> Any <of> (,, (template.spliced <super>+))))))]
+
+ [Type [Code]]
+ [Expression [Code]]
+ [Computation [Expression' Code]]
+ )
+
+ (with_template [<type> <super>+]
+ [(with_expansions [<brand> (template.symbol [<type> "'"])]
+ (nominal.def <brand> Any)
+ (`` (type .public <type> (|> <brand> (,, (template.spliced <super>+))))))]
+
+ [Literal [Computation' Expression' Code]]
+ )
+
+ (def .public bool
+ (-> Bit
+ Literal)
+ (|>> (|.when
+ .false "false"
+ .true "true")
+ nominal.abstraction))
+
+ (def .public double
+ (-> Frac
+ Literal)
+ (|>> (|.cond [(f.= f.positive_infinity)]
+ [(|.new "(+1.0/0.0)" [])]
+
+ [(f.= f.negative_infinity)]
+ [(|.new "(-1.0/0.0)" [])]
+
+ [(f.= f.not_a_number)]
+ [(|.new "(0.0/0.0)" [])]
+
+ ... else
+ [%.frac])
+ nominal.abstraction))
+
+ (def .public (cast type term)
+ (-> Type Expression
+ Computation)
+ (nominal.abstraction
+ (%.format "(" (nominal.representation type) ")"
+ " " (nominal.representation term))))
+
+ (def .public int
+ (-> Int
+ Literal)
+ (|>> %.int
+ nominal.abstraction))
+
+ (def .public (on parameters function)
+ (-> (List Expression) Expression
+ Expression)
+ (nominal.abstraction
+ (%.format (nominal.representation function)
+ "("
+ (|> parameters
+ (list#each (|>> nominal.representation))
+ (text.interposed ", "))
+ ")")))
+
+ ... https://en.cppreference.com/w/cpp/types/integer
+ (with_template [<name>]
+ [(def .public (<name> it)
+ (-> Expression
+ Expression)
+ (..on (list it)
+ (nominal.abstraction (template.text [<name>]))))]
+
+ [int64_t]
+ )
+
+ ... https://en.cppreference.com/w/cpp/string/basic_string
+ (def .public u32string
+ (-> Text
+ Literal)
+ (|>> %.text
+ (%.format "U")
+ nominal.abstraction))
+ )
diff --git a/stdlib/source/library/lux/meta/target/lua.lux b/stdlib/source/library/lux/meta/target/lua.lux
index 84a566839..bc5ead9aa 100644
--- a/stdlib/source/library/lux/meta/target/lua.lux
+++ b/stdlib/source/library/lux/meta/target/lua.lux
@@ -6,7 +6,7 @@
[hash (.only Hash)]
["[0]" enum]]
[control
- ["[0]" pipe]]
+ ["|" pipe]]
[data
["[0]" text (.only)
["%" \\format (.only format)]]
@@ -91,7 +91,7 @@
(def .public boolean
(-> Bit Literal)
- (|>> (pipe.when
+ (|>> (|.when
#0 "false"
#1 "true")
abstraction))
@@ -108,17 +108,17 @@
(def .public float
(-> Frac Literal)
- (|>> (pipe.cond [(f.= f.positive_infinity)]
- [(pipe.new "(1.0/0.0)" [])]
-
- [(f.= f.negative_infinity)]
- [(pipe.new "(-1.0/0.0)" [])]
-
- [(f.= f.not_a_number)]
- [(pipe.new "(0.0/0.0)" [])]
-
- ... else
- [%.frac (text.replaced "+" "")])
+ (|>> (|.cond [(f.= f.positive_infinity)]
+ [(|.new "(1.0/0.0)" [])]
+
+ [(f.= f.negative_infinity)]
+ [(|.new "(-1.0/0.0)" [])]
+
+ [(f.= f.not_a_number)]
+ [(|.new "(0.0/0.0)" [])]
+
+ ... else
+ [%.frac (text.replaced "+" "")])
abstraction))
(def safe