aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/lux/tool/compiler/default/evaluation.lux2
-rw-r--r--stdlib/source/lux/tool/compiler/default/init.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/default/platform.lux2
-rw-r--r--stdlib/source/lux/tool/compiler/default/syntax.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/meta/io/context.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/case.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/case/coverage.lux7
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/function.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/inference.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/module.lux7
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/primitive.lux2
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/reference.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/scope.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/structure.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/type.lux5
-rw-r--r--stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux7
-rw-r--r--stdlib/source/lux/tool/compiler/phase/extension/analysis/host.jvm.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/extension/statement.lux5
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/js/case.lux4
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux23
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/python/case.lux4
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux20
-rw-r--r--stdlib/source/lux/tool/compiler/phase/macro.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/statement.lux3
-rw-r--r--stdlib/source/lux/tool/compiler/phase/synthesis.lux3
-rw-r--r--stdlib/source/lux/world/console.lux5
-rw-r--r--stdlib/source/program/compositor.lux7
-rw-r--r--stdlib/source/program/compositor/cli.lux4
29 files changed, 81 insertions, 65 deletions
diff --git a/stdlib/source/lux/tool/compiler/default/evaluation.lux b/stdlib/source/lux/tool/compiler/default/evaluation.lux
index 5122237a8..55b20805f 100644
--- a/stdlib/source/lux/tool/compiler/default/evaluation.lux
+++ b/stdlib/source/lux/tool/compiler/default/evaluation.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- [control
+ [abstract
[monad (#+ do)]]
[data
["." error]
diff --git a/stdlib/source/lux/tool/compiler/default/init.lux b/stdlib/source/lux/tool/compiler/default/init.lux
index 10476cfc5..8cea72d0e 100644
--- a/stdlib/source/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/lux/tool/compiler/default/init.lux
@@ -1,8 +1,9 @@
(.module:
[lux (#- Module)
[type (#+ :share)]
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
["ex" exception (#+ exception:)]]
[data
["." product]
diff --git a/stdlib/source/lux/tool/compiler/default/platform.lux b/stdlib/source/lux/tool/compiler/default/platform.lux
index 61b27dacf..164a81730 100644
--- a/stdlib/source/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/lux/tool/compiler/default/platform.lux
@@ -1,7 +1,7 @@
(.module:
[lux (#- Module)
[type (#+ :share)]
- [control
+ [abstract
["." monad (#+ Monad do)]]
[data
["." bit]
diff --git a/stdlib/source/lux/tool/compiler/default/syntax.lux b/stdlib/source/lux/tool/compiler/default/syntax.lux
index 512c19246..c15b68f1c 100644
--- a/stdlib/source/lux/tool/compiler/default/syntax.lux
+++ b/stdlib/source/lux/tool/compiler/default/syntax.lux
@@ -26,8 +26,9 @@
## location, which is helpful for documentation and debugging.
(.module:
[lux #*
+ [abstract
+ monad]
[control
- monad
["ex" exception (#+ exception:)]]
[data
["." error (#+ Error)]
diff --git a/stdlib/source/lux/tool/compiler/meta/io/context.lux b/stdlib/source/lux/tool/compiler/meta/io/context.lux
index c9f52cc76..e64a5d7b8 100644
--- a/stdlib/source/lux/tool/compiler/meta/io/context.lux
+++ b/stdlib/source/lux/tool/compiler/meta/io/context.lux
@@ -1,7 +1,8 @@
(.module:
[lux (#- Module Code)
+ [abstract
+ [monad (#+ Monad do)]]
[control
- [monad (#+ Monad do)]
["ex" exception (#+ Exception exception:)]
[security
["!" capability]]]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis.lux b/stdlib/source/lux/tool/compiler/phase/analysis.lux
index f12ab301e..d21effc00 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis.lux
@@ -1,7 +1,8 @@
(.module:
[lux #*
+ [abstract
+ [monad (#+ do)]]
[control
- [monad (#+ do)]
["ex" exception (#+ exception:)]]
[data
["." error]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/case.lux b/stdlib/source/lux/tool/compiler/phase/analysis/case.lux
index a2864e784..2aa4a57ca 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/case.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/case.lux
@@ -1,7 +1,8 @@
(.module:
[lux (#- case)
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
["ex" exception (#+ exception:)]]
[data
["." product]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/case/coverage.lux b/stdlib/source/lux/tool/compiler/phase/analysis/case/coverage.lux
index cb7cc07ef..e2d355881 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/case/coverage.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/case/coverage.lux
@@ -1,9 +1,10 @@
(.module:
[lux #*
+ [abstract
+ equivalence
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
- ["ex" exception (#+ exception:)]
- equivalence]
+ ["ex" exception (#+ exception:)]]
[data
["." bit ("#;." equivalence)]
["." error (#+ Error) ("#;." monad)]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/function.lux b/stdlib/source/lux/tool/compiler/phase/analysis/function.lux
index 690ee2658..15842dcee 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/function.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/function.lux
@@ -1,7 +1,8 @@
(.module:
[lux (#- function)
+ [abstract
+ monad]
[control
- monad
["ex" exception (#+ exception:)]]
[data
["." maybe]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux b/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux
index 57b9ed357..6f9cc4039 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux
@@ -1,7 +1,8 @@
(.module:
[lux #*
+ [abstract
+ [monad (#+ do)]]
[control
- [monad (#+ do)]
["ex" exception (#+ exception:)]]
[data
["." maybe]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/module.lux b/stdlib/source/lux/tool/compiler/phase/analysis/module.lux
index db02af343..c93d096c8 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/module.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/module.lux
@@ -1,9 +1,10 @@
(.module:
[lux #*
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
- ["ex" exception (#+ exception:)]
- pipe]
+ pipe
+ ["ex" exception (#+ exception:)]]
[data
["." text ("#@." equivalence)
format]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/primitive.lux b/stdlib/source/lux/tool/compiler/phase/analysis/primitive.lux
index b42065f8f..766dc6616 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/primitive.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/primitive.lux
@@ -1,6 +1,6 @@
(.module:
[lux (#- nat int rev)
- [control
+ [abstract
monad]]
["." // #_
["#." type]
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/reference.lux b/stdlib/source/lux/tool/compiler/phase/analysis/reference.lux
index dd5fd08e6..79d2c9ebd 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/reference.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/reference.lux
@@ -1,7 +1,8 @@
(.module:
[lux #*
+ [abstract
+ monad]
[control
- monad
["ex" exception (#+ exception:)]]
["." macro]
[data
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/scope.lux b/stdlib/source/lux/tool/compiler/phase/analysis/scope.lux
index 8383ae615..abf8f2a04 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/scope.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/scope.lux
@@ -1,7 +1,8 @@
(.module:
[lux #*
+ [abstract
+ monad]
[control
- monad
["ex" exception (#+ exception:)]]
[data
["." text ("#;." equivalence)
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/structure.lux b/stdlib/source/lux/tool/compiler/phase/analysis/structure.lux
index da8f0dee4..3ee1def4d 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/structure.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/structure.lux
@@ -1,7 +1,8 @@
(.module:
[lux #*
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
["ex" exception (#+ exception:)]
["." state]]
[data
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/type.lux b/stdlib/source/lux/tool/compiler/phase/analysis/type.lux
index 5a7db6516..522e3f450 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/type.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/type.lux
@@ -1,10 +1,11 @@
(.module:
[lux #*
- [control
+ [abstract
[monad (#+ do)]]
+ [control
+ ["." function]]
[data
["." error]]
- ["." function]
[type
["." check (#+ Check)]]
["." macro]]
diff --git a/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux b/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux
index 9940273cc..71ecd5d8a 100644
--- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux
+++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux
@@ -1,7 +1,9 @@
(.module:
[lux #*
- [control
+ [abstract
["." monad (#+ do)]]
+ [control
+ [io (#+ IO)]]
[data
["." text
format]
@@ -10,8 +12,7 @@
["." dictionary (#+ Dictionary)]]]
[type
["." check]]
- ["." macro]
- [io (#+ IO)]]
+ ["." macro]]
["." ///
["#." bundle]
["#/" //
diff --git a/stdlib/source/lux/tool/compiler/phase/extension/analysis/host.jvm.lux b/stdlib/source/lux/tool/compiler/phase/extension/analysis/host.jvm.lux
index abace9a94..82df857b9 100644
--- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/host.jvm.lux
+++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/host.jvm.lux
@@ -1,7 +1,8 @@
(.module:
[lux (#- char int)
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
["p" parser]
["ex" exception (#+ exception:)]
pipe]
diff --git a/stdlib/source/lux/tool/compiler/phase/extension/statement.lux b/stdlib/source/lux/tool/compiler/phase/extension/statement.lux
index ecba5d158..f5c52bfc4 100644
--- a/stdlib/source/lux/tool/compiler/phase/extension/statement.lux
+++ b/stdlib/source/lux/tool/compiler/phase/extension/statement.lux
@@ -1,8 +1,9 @@
(.module:
[lux #*
- [io (#+ IO)]
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
+ [io (#+ IO)]
["p" parser]]
[data
["." error]
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/js/case.lux b/stdlib/source/lux/tool/compiler/phase/generation/js/case.lux
index 86c7197ec..f426dd6ff 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/js/case.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/js/case.lux
@@ -46,7 +46,7 @@
(wrap (list@fold (function (_ [idx tail?] source)
(.let [method (.if tail?
//runtime.product//right
- //runtime.product//left)]
+ //runtime.tuple//left)]
(method source (_.i32 (.int idx)))))
valueO
pathP))))
@@ -168,7 +168,7 @@
(^template [<pm> <getter> <prep>]
(^ (<pm> idx))
(////@wrap (|> idx <prep> .int _.i32 (<getter> ..peek-cursor) push-cursor!)))
- ([/////synthesis.member/left //runtime.product//left (<|)]
+ ([/////synthesis.member/left //runtime.tuple//left (<|)]
[/////synthesis.member/right //runtime.product//right inc])
(^ (/////synthesis.!bind-top register thenP))
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux b/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux
index 4fba47218..43dcbe716 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux
@@ -177,19 +177,16 @@
@lux//program-args
))
-(runtime: (product//left product index)
- (with-vars [index-min-length]
+(runtime: (tuple//left tuple lefts)
+ (with-vars [index-right]
($_ _.then
- (_.define index-min-length (_.+ (_.i32 +1) index))
- (_.if (_.< (..length product)
- index-min-length)
- ## No need for recursion.
- (_.return (_.at index product))
- ## Needs recursion.
- (_.return (product//left (last-element product)
- (_.- (..length product)
- index-min-length)))
- ))))
+ (_.define index-right (..last-index tuple))
+ (_.if (_.> lefts index-right)
+ ## No need for recursion
+ (_.return (_.at lefts tuple))
+ ## Needs recursion
+ (_.return (tuple//left (_.at index-right tuple)
+ (_.- index-right lefts)))))))
(runtime: (product//right product index)
(with-vars [index-min-length]
@@ -234,7 +231,7 @@
(def: runtime//structure
Statement
($_ _.then
- @product//left
+ @tuple//left
@product//right
@sum//get
))
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux
index 359cfdb3b..6e4988b9b 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux
@@ -50,7 +50,7 @@
(wrap (list@fold (function (_ [idx tail?] source)
(.let [method (.if tail?
//runtime.product//right
- //runtime.product//left)]
+ //runtime.tuple//left)]
(method source (_.int (.int idx)))))
valueO
pathP))))
@@ -162,7 +162,7 @@
(^template [<pm> <getter> <prep>]
(^ (<pm> idx))
(////@wrap (|> idx <prep> .int _.int (<getter> ..peek-cursor) push-cursor!)))
- ([/////synthesis.member/left //runtime.product//left (<|)]
+ ([/////synthesis.member/left //runtime.tuple//left (<|)]
[/////synthesis.member/right //runtime.product//right inc])
(^ (/////synthesis.!bind-top register thenP))
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux
index d095e9fe2..c4a1a6da2 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux
@@ -180,19 +180,17 @@
@io//exit!
@io//current-time!))
-(runtime: (product//left product index)
- (with-vars [index-min-length]
+(runtime: (tuple//left tuple lefts)
+ (with-vars [index-right]
($_ _.then
- (_.set (list index-min-length) (_.+ (_.int +1) index))
- (_.if (_.> index-min-length (_.len/1 product))
+ (_.set (list index-right) (_.- (_.int +1)
+ (_.len/1 tuple)))
+ (_.if (_.> lefts index-right)
## No need for recursion
- (_.return (_.nth index product))
+ (_.return (_.nth lefts tuple))
## Needs recursion
- (_.return (product//left (_.nth (_.- (_.int +1)
- (_.len/1 product))
- product)
- (_.- (_.len/1 product)
- index-min-length)))))))
+ (_.return (tuple//left (_.nth index-right tuple)
+ (_.- index-right lefts)))))))
(runtime: (product//right product index)
(with-vars [index-min-length]
@@ -238,7 +236,7 @@
(def: runtime//adt
(Statement Any)
($_ _.then
- @product//left
+ @tuple//left
@product//right
@sum//get))
diff --git a/stdlib/source/lux/tool/compiler/phase/macro.lux b/stdlib/source/lux/tool/compiler/phase/macro.lux
index a8428a1ac..dbc201ca3 100644
--- a/stdlib/source/lux/tool/compiler/phase/macro.lux
+++ b/stdlib/source/lux/tool/compiler/phase/macro.lux
@@ -1,7 +1,8 @@
(.module:
[lux #*
+ [abstract
+ [monad (#+ do)]]
[control
- [monad (#+ do)]
["." exception (#+ exception:)]]
[data
["." error (#+ Error)]
diff --git a/stdlib/source/lux/tool/compiler/phase/statement.lux b/stdlib/source/lux/tool/compiler/phase/statement.lux
index 1ab3d41ef..1660fdf01 100644
--- a/stdlib/source/lux/tool/compiler/phase/statement.lux
+++ b/stdlib/source/lux/tool/compiler/phase/statement.lux
@@ -1,7 +1,8 @@
(.module:
[lux #*
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
["." exception (#+ exception:)]]
[data
[text
diff --git a/stdlib/source/lux/tool/compiler/phase/synthesis.lux b/stdlib/source/lux/tool/compiler/phase/synthesis.lux
index 3da088ccf..0e01c0f68 100644
--- a/stdlib/source/lux/tool/compiler/phase/synthesis.lux
+++ b/stdlib/source/lux/tool/compiler/phase/synthesis.lux
@@ -1,7 +1,8 @@
(.module:
[lux (#- primitive)
+ [abstract
+ ["." monad (#+ do)]]
[control
- ["." monad (#+ do)]
[pipe (#+ case>)]]
[data
["." maybe]
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux
index 0e996cb5a..a5a0c7b06 100644
--- a/stdlib/source/lux/world/console.lux
+++ b/stdlib/source/lux/world/console.lux
@@ -1,8 +1,10 @@
(.module:
[lux #*
+ [abstract
+ [monad (#+ do)]]
[control
- [monad (#+ do)]
["ex" exception (#+ exception:)]
+ ["." io (#+ IO io)]
[concurrency
["." promise (#+ Promise)]]
[security
@@ -11,7 +13,6 @@
["." error (#+ Error)]
["." text
format]]
- ["." io (#+ IO io)]
[host (#+ import:)]
[tool
[compiler
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index 727941fde..a92aea013 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -1,10 +1,11 @@
(.module:
[lux #*
[type (#+ :share)]
- [cli (#+ program:)]
- ["." io (#+ IO io)]
+ [abstract
+ [monad (#+ do)]]
[control
- [monad (#+ do)]
+ [cli (#+ program:)]
+ ["." io (#+ IO io)]
[security
["!" capability]]]
[data
diff --git a/stdlib/source/program/compositor/cli.lux b/stdlib/source/program/compositor/cli.lux
index 5c8e697a1..8df1cc839 100644
--- a/stdlib/source/program/compositor/cli.lux
+++ b/stdlib/source/program/compositor/cli.lux
@@ -1,8 +1,8 @@
(.module:
[lux #*
[control
- ["p" parser]]
- ["." cli (#+ CLI)]
+ ["p" parser]
+ ["." cli (#+ CLI)]]
[world
[file (#+ Path)]]]
## [///