Can now use nested directories as compilation targets.

LuxLang · Oct 28, 2023 · 9f32a08 · 9f32a08
1 parent c223894
commit 9f32a08
Show file tree

Hide file tree

Showing 29 changed files with 533 additions and 287 deletions.
diff --git a/.gitignore b/.gitignore
@@ -14,7 +14,7 @@ aedifex.jar
 /lux-lein/RELEASE
 /lux-lein/target
 
-/stdlib/target_*
+/stdlib/target/*
 
 /lux-jvm/RELEASE
 /lux-jvm/target

diff --git a/documentation/bookmark/crime.md b/documentation/bookmark/crime.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [How Counterfeit Money Actually Works | How Crime Works | Insider](https://www.youtube.com/watch?v=FGAVpJfG1yQ)
+
diff --git a/documentation/bookmark/database/pagination.md b/documentation/bookmark/database/pagination.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Pagination with Relative Cursors](https://shopify.engineering/pagination-relative-cursors)
+
diff --git a/documentation/bookmark/math/probability.md b/documentation/bookmark/math/probability.md
@@ -1,4 +1,5 @@
 # Reference
 
+0. [How to Learn Probability Distributions](https://www.youtube.com/watch?v=mBCiKUzwdMs)
 0. [Probability theory does not extend logic](https://metarationality.com/probability-and-logic)
 
diff --git a/documentation/bookmark/play/game/grid/hexagonal.md b/documentation/bookmark/play/game/grid/hexagonal.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Hexagonal Grids](https://www.redblobgames.com/grids/hexagons/)
+
diff --git a/documentation/bookmark/tool/version_control/git.md b/documentation/bookmark/tool/version_control/git.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Retcon: Read-write history](https://retcon.app/)
+
diff --git a/lux-js/commands.md b/lux-js/commands.md
@@ -1,11 +1,15 @@
 # Develop
 ```
 cd ~/lux/lux-js/ \
-&& lux clean \
+&& lux with js clean \
 && lux with js auto build
 
 cd ~/lux/lux-js/ \
-&& lux clean \
+&& lux with stable clean \
+&& lux with stable auto build
+
+cd ~/lux/lux-js/ \
+&& lux with jvm clean \
 && lux with jvm auto build
 ```
 

diff --git a/lux-js/project.lux b/lux-js/project.lux
@@ -26,6 +26,9 @@
  "js"
  ["lux" ["com.github.luxlang" "lux-js" "0.9.0-SNAPSHOT" "js"]]
 
+ "stable"
+ ["lux" ["com.github.luxlang" "lux-js" "0.8.0" "js"]]
+
  "jvm"
  ["lux" ["com.github.luxlang" "lux-jvm" "0.9.0-SNAPSHOT" "jar"]
   "dependencies" [["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]

diff --git a/lux-ruby/source/program.lux b/lux-ruby/source/program.lux
@@ -766,7 +766,7 @@
                                         custom)
                      @global (_.global global)]
                  (do try.monad
-                   [.let [definition (_.set (list @global) input)]
+                   [.let [definition (_.statement (_.set (list @global) input))]
                     value (value definition)]
                    (in [global value definition]))))
 

diff --git a/stdlib/project.lux b/stdlib/project.lux
@@ -52,7 +52,9 @@
  ... The following are alternative profiles to use in various situations.
  "jvm"
  [... "lux" specifies the dependency to fetch and use as the compiler.
-  "lux" ["com.github.luxlang" "lux-jvm" "0.8.0" "jar"]
+  "lux" ["com.github.luxlang" "lux-jvm" "0.9.0-SNAPSHOT" "jar"]
+  "dependencies" [["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]]
+  "target" "target/jvm"
   ... "dependencies" is an optional list of dependencies to fetch.
   ... The dependencies have the same shape as when specifying the compiler.
   ... When omitting the packaging format of the dependency, "tar" will be assumed.
@@ -64,24 +66,28 @@
 
  "js"
  ["lux" ["com.github.luxlang" "lux-js" "0.9.0-SNAPSHOT" "js"]
+  "target" "target/js"
   ... The OS command to use when running JS tests. The default is described below.
   ... "js" ["node" "--stack_size=8192"]
   ]
 
  "lua"
  ["lux" ["com.github.luxlang" "lux-lua" "0.9.0-SNAPSHOT" "jar"]
+  "target" "target/lua"
   ... The OS command to use when running Lua tests. The default is described below.
   ... "lua" ["lua"]
   ]
 
  "python"
  ["lux" ["com.github.luxlang" "lux-python" "0.9.0-SNAPSHOT" "jar"]
+  "target" "target/python"
   ... The OS command to use when running Python tests. The default is described below.
   ... "python" ["python3"]
   ]
 
  "ruby"
  ["lux" ["com.github.luxlang" "lux-ruby" "0.9.0-SNAPSHOT" "jar"]
+  "target" "target/ruby"
   ... The OS command to use when running Ruby tests. The default is described below.
   ... "ruby" ["ruby"]
   ]

diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux
@@ -38,6 +38,17 @@
         Bit))
   (text.starts_with? (its #label exception) error))
 
+(.the .public (failure? exception it)
+  (for_any (_ it of)
+    (-> (Exception it) (Try of)
+        Bit))
+  (.when it
+    {//.#Failure error}
+    (is? exception error)
+
+    success
+    false))
+
 (.the .public (when exception then try)
   (for_any (_ it of)
     (-> (Exception it) (-> Text of) (Try of)

diff --git a/stdlib/source/library/lux/ffi/export.rb.lux b/stdlib/source/library/lux/ffi/export.rb.lux
@@ -114,7 +114,7 @@
             [@self (translation.learn_custom name (list#mix set.has dependencies interim_artifacts))
              .let [[:input:/* :output:] (type.flat_function type)
                    code (if global?
-                          (/.set (list (/.manual name)) term)
+                          (/.statement (/.set (list (/.manual name)) term))
                           (when :input:/*
                             {.#End}
                             (/.function (/.manual name) (list)

diff --git a/...source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/common.lux b/...source/library/lux/meta/compiler/language/lux/phase/extension/translation/ruby/common.lux
@@ -149,7 +149,7 @@
                  (in (<| (as Expression)
                          (is Statement)
                          (all _.then
-                              (_.set (list @input) inputG)
+                              (_.statement (_.set (list @input) inputG))
                               (list#mix (function (_ [test then!] else!)
                                           (_.if test then! else!))
                                         else!

diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/when.lux
@@ -66,6 +66,7 @@
              (_.statement before)
              after))))
 
+... TODO: Find some way to do 'let' without paying the price of the closure.
 (the .public (let next archive it)
   (Translator (synthesis.Let synthesis.Term))
   (do [! phase.monad]
@@ -77,12 +78,13 @@
                           (list.partial context
                                         tail))
      body (next archive body)]
-    ... TODO: Find some way to do 'let' without paying the price of the closure.
+    ... (in (list#mix _., body (list.reversed bindings)))
     (in (_.apply (<| (_.closure (list))
                      (list#mix _.then
                                (_.return body)
                                (list.reversed bindings)))
-                 (list)))))
+                 (list)))
+    ))
 
 (the .public (let! statement expression archive [[register valueS] bodyS])
   (Translator! (synthesis.Let synthesis.Term))

diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/when.lux
@@ -57,6 +57,8 @@
   (|>> (///reference.foreign //reference.system) as_expected))
 
 ... TODO: Find some way to do 'let' without paying the price of the closure.
+... https://peps.python.org/pep-0572/
+... https://docs.python.org/3/whatsnew/3.8.html
 (the .public (let expression archive [[register valueS] bodyS])
   (Translator (synthesis.Let synthesis.Term))
   (do phase.monad

diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/function.lux
@@ -51,17 +51,17 @@
   (let [@self (_.global self)]
     (when inits
       {.#End}
-      [(_.set (list @self) function_definition)
+      [(_.statement (_.set (list @self) function_definition))
        @self]
 
       _
-      [(_.set (list @self) (_.lambda {.#None}
-                                     [(|> (list.enumeration inits)
-                                          (list#each (|>> product.left ..capture)))
-                                      (let [@self (_.local self)]
-                                        (all _.then
-                                             (_.set (list @self) function_definition)
-                                             (_.return @self)))]))
+      [(_.statement (_.set (list @self) (_.lambda {.#None}
+                                                  [(|> (list.enumeration inits)
+                                                       (list#each (|>> product.left ..capture)))
+                                                   (let [@self (_.local self)]
+                                                     (all _.then
+                                                          (_.statement (_.set (list @self) function_definition))
+                                                          (_.return @self)))])))
        (_.apply_lambda inits @self)])))
 
 (the input
@@ -87,18 +87,18 @@
 
                        _
                        (_.local function_name)))
-           initialize_self! (_.set (list (//when.register 0)) @self)
+           initialize_self! (_.statement (_.set (list (//when.register 0)) @self))
            initialize! (list#mix (.function (_ post pre!)
                                    (all _.then
                                         pre!
-                                        (_.set (list (..input post)) (_.item (|> post .integer _.int) @curried))))
+                                        (_.statement (_.set (list (..input post)) (_.item (|> post .integer _.int) @curried)))))
                                  initialize_self!
                                  (list.indices arity))
            [declaration instatiation] (with_closure closureO+ function_name
                                         (_.lambda {.#None}
                                                   [(list (_.variadic @curried))
                                                    (all _.then
-                                                        (_.set (list @num_args) (_.its "length" @curried))
+                                                        (_.statement (_.set (list @num_args) (_.its "length" @curried)))
                                                         (<| (_.if (|> @num_args (_.= arityO))
                                                               (<| (_.then initialize!)
                                                                   //loop.with_scope

diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/ruby/loop.lux
@@ -41,7 +41,7 @@
                       list.enumeration
                       (list#each (|>> product.left (n.+ offset) //when.register)))]
     (all _.then
-         (_.set variables (_.multi bindings))
+         (_.statement (_.set variables (_.multi bindings)))
          body)))
 
 (the symbol