aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--documentation/bookmark/analysis/static.md1
-rw-r--r--documentation/bookmark/audio.md1
-rw-r--r--documentation/bookmark/blockchain.md1
-rw-r--r--documentation/bookmark/coding_style.md7
-rw-r--r--documentation/bookmark/concurrency/clock.md5
-rw-r--r--documentation/bookmark/concurrency/lock_free_programming.md2
-rw-r--r--documentation/bookmark/documentation.md1
-rw-r--r--documentation/bookmark/game/engine.md3
-rw-r--r--documentation/bookmark/law/gdpr.md5
-rw-r--r--documentation/bookmark/math.md55
-rw-r--r--documentation/bookmark/optimization/simd__single_instruction_multiple_data.md (renamed from documentation/bookmark/optimization/simd.md)2
-rw-r--r--documentation/bookmark/programming_language/syntax.md1
-rw-r--r--documentation/bookmark/security/authentication.md2
-rw-r--r--stdlib/source/documentation/lux/meta/code.lux (renamed from stdlib/source/documentation/lux/macro/code.lux)0
-rw-r--r--stdlib/source/format/lux/data/text.lux8
-rw-r--r--stdlib/source/library/lux/abstract/interval.lux4
-rw-r--r--stdlib/source/library/lux/abstract/monad/indexed.lux3
-rw-r--r--stdlib/source/library/lux/control/concatenative.lux8
-rw-r--r--stdlib/source/library/lux/control/continuation.lux3
-rw-r--r--stdlib/source/library/lux/control/exception.lux11
-rw-r--r--stdlib/source/library/lux/control/function/contract.lux9
-rw-r--r--stdlib/source/library/lux/control/function/inline.lux8
-rw-r--r--stdlib/source/library/lux/control/function/mutual.lux8
-rw-r--r--stdlib/source/library/lux/control/io.lux8
-rw-r--r--stdlib/source/library/lux/control/lazy.lux8
-rw-r--r--stdlib/source/library/lux/control/pipe.lux9
-rw-r--r--stdlib/source/library/lux/control/remember.lux4
-rw-r--r--stdlib/source/library/lux/control/security/capability.lux8
-rw-r--r--stdlib/source/library/lux/data/collection/sequence.lux9
-rw-r--r--stdlib/source/library/lux/data/collection/stream.lux9
-rw-r--r--stdlib/source/library/lux/data/collection/tree.lux3
-rw-r--r--stdlib/source/library/lux/data/format/css/class.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css/font.lux8
-rw-r--r--stdlib/source/library/lux/data/format/css/id.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css/property.lux5
-rw-r--r--stdlib/source/library/lux/data/format/css/query.lux12
-rw-r--r--stdlib/source/library/lux/data/format/css/value.lux8
-rw-r--r--stdlib/source/library/lux/data/format/json.lux10
-rw-r--r--stdlib/source/library/lux/data/text/escape.lux4
-rw-r--r--stdlib/source/library/lux/data/text/regex.lux10
-rw-r--r--stdlib/source/library/lux/debug.lux8
-rw-r--r--stdlib/source/library/lux/documentation.lux8
-rw-r--r--stdlib/source/library/lux/extension.lux3
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux14
-rw-r--r--stdlib/source/library/lux/ffi.lux10
-rw-r--r--stdlib/source/library/lux/ffi.old.lux8
-rw-r--r--stdlib/source/library/lux/ffi.php.lux8
-rw-r--r--stdlib/source/library/lux/ffi.scm.lux8
-rw-r--r--stdlib/source/library/lux/ffi/export.js.lux66
-rw-r--r--stdlib/source/library/lux/ffi/export.jvm.lux3
-rw-r--r--stdlib/source/library/lux/ffi/export.lua.lux90
-rw-r--r--stdlib/source/library/lux/ffi/export.py.lux52
-rw-r--r--stdlib/source/library/lux/ffi/export.rb.lux70
-rw-r--r--stdlib/source/library/lux/macro.lux11
-rw-r--r--stdlib/source/library/lux/macro/context.lux10
-rw-r--r--stdlib/source/library/lux/macro/local.lux10
-rw-r--r--stdlib/source/library/lux/macro/syntax.lux10
-rw-r--r--stdlib/source/library/lux/macro/syntax/check.lux3
-rw-r--r--stdlib/source/library/lux/macro/syntax/declaration.lux2
-rw-r--r--stdlib/source/library/lux/macro/syntax/definition.lux8
-rw-r--r--stdlib/source/library/lux/macro/syntax/export.lux3
-rw-r--r--stdlib/source/library/lux/macro/syntax/input.lux2
-rw-r--r--stdlib/source/library/lux/macro/syntax/type/variable.lux2
-rw-r--r--stdlib/source/library/lux/macro/template.lux10
-rw-r--r--stdlib/source/library/lux/math.lux10
-rw-r--r--stdlib/source/library/lux/math/infix.lux9
-rw-r--r--stdlib/source/library/lux/math/modular.lux7
-rw-r--r--stdlib/source/library/lux/math/modulus.lux11
-rw-r--r--stdlib/source/library/lux/math/number/complex.lux9
-rw-r--r--stdlib/source/library/lux/math/number/ratio.lux3
-rw-r--r--stdlib/source/library/lux/meta.lux6
-rw-r--r--stdlib/source/library/lux/meta/code.lux (renamed from stdlib/source/library/lux/macro/code.lux)0
-rw-r--r--stdlib/source/library/lux/meta/configuration.lux10
-rw-r--r--stdlib/source/library/lux/meta/type.lux8
-rw-r--r--stdlib/source/library/lux/meta/type/dynamic.lux3
-rw-r--r--stdlib/source/library/lux/meta/type/implicit.lux9
-rw-r--r--stdlib/source/library/lux/meta/type/poly.lux9
-rw-r--r--stdlib/source/library/lux/meta/type/primitive.lux18
-rw-r--r--stdlib/source/library/lux/meta/type/quotient.lux3
-rw-r--r--stdlib/source/library/lux/meta/type/refinement.lux3
-rw-r--r--stdlib/source/library/lux/meta/type/resource.lux10
-rw-r--r--stdlib/source/library/lux/meta/type/unit.lux9
-rw-r--r--stdlib/source/library/lux/meta/type/unit/scale.lux10
-rw-r--r--stdlib/source/library/lux/meta/version.lux4
-rw-r--r--stdlib/source/library/lux/program.lux3
-rw-r--r--stdlib/source/library/lux/static.lux10
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/modifier.lux8
-rw-r--r--stdlib/source/library/lux/target/jvm/type/alias.lux9
-rw-r--r--stdlib/source/library/lux/target/lua.lux8
-rw-r--r--stdlib/source/library/lux/target/php.lux8
-rw-r--r--stdlib/source/library/lux/target/python.lux8
-rw-r--r--stdlib/source/library/lux/target/r.lux8
-rw-r--r--stdlib/source/library/lux/target/ruby.lux8
-rw-r--r--stdlib/source/library/lux/test.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux3
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux14
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/jvm.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/lux.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux3
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux6
-rw-r--r--stdlib/source/library/lux/world/net/http/client.lux9
-rw-r--r--stdlib/source/parser/lux/data/format/json.lux6
-rw-r--r--stdlib/source/parser/lux/data/text.lux5
-rw-r--r--stdlib/source/parser/lux/meta/code.lux (renamed from stdlib/source/parser/lux/macro/code.lux)5
-rw-r--r--stdlib/source/parser/lux/meta/type.lux7
-rw-r--r--stdlib/source/polytypic/lux/abstract/equivalence.lux3
-rw-r--r--stdlib/source/polytypic/lux/abstract/functor.lux3
-rw-r--r--stdlib/source/polytypic/lux/data/format/json.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux2
-rw-r--r--stdlib/source/program/aedifex/input.lux5
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux2
-rw-r--r--stdlib/source/program/aedifex/parser.lux2
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux6
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/parser.lux2
-rw-r--r--stdlib/source/test/lux.lux8
-rw-r--r--stdlib/source/test/lux/control/parser.lux3
-rw-r--r--stdlib/source/test/lux/control/remember.lux12
-rw-r--r--stdlib/source/test/lux/data/binary.lux4
-rw-r--r--stdlib/source/test/lux/data/format/json.lux4
-rw-r--r--stdlib/source/test/lux/data/text.lux11
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux10
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux9
-rw-r--r--stdlib/source/test/lux/debug.lux10
-rw-r--r--stdlib/source/test/lux/documentation.lux4
-rw-r--r--stdlib/source/test/lux/extension.lux91
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux8
-rw-r--r--stdlib/source/test/lux/ffi/export.jvm.lux6
-rw-r--r--stdlib/source/test/lux/macro.lux10
-rw-r--r--stdlib/source/test/lux/macro/local.lux10
-rw-r--r--stdlib/source/test/lux/macro/pattern.lux6
-rw-r--r--stdlib/source/test/lux/macro/syntax.lux8
-rw-r--r--stdlib/source/test/lux/macro/syntax/check.lux11
-rw-r--r--stdlib/source/test/lux/macro/syntax/declaration.lux7
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux18
-rw-r--r--stdlib/source/test/lux/macro/syntax/export.lux8
-rw-r--r--stdlib/source/test/lux/macro/syntax/input.lux17
-rw-r--r--stdlib/source/test/lux/macro/syntax/type/variable.lux7
-rw-r--r--stdlib/source/test/lux/macro/template.lux9
-rw-r--r--stdlib/source/test/lux/math/modulus.lux4
-rw-r--r--stdlib/source/test/lux/meta.lux2
-rw-r--r--stdlib/source/test/lux/meta/code.lux (renamed from stdlib/source/test/lux/macro/code.lux)0
-rw-r--r--stdlib/source/test/lux/meta/configuration.lux10
-rw-r--r--stdlib/source/test/lux/meta/location.lux7
-rw-r--r--stdlib/source/test/lux/meta/type.lux6
-rw-r--r--stdlib/source/test/lux/meta/type/primitive.lux10
-rw-r--r--stdlib/source/test/lux/meta/type/resource.lux10
-rw-r--r--stdlib/source/test/lux/meta/type/unit/scale.lux8
-rw-r--r--stdlib/source/test/lux/meta/version.lux10
-rw-r--r--stdlib/source/test/lux/program.lux9
-rw-r--r--stdlib/source/test/lux/static.lux7
-rw-r--r--stdlib/source/test/lux/target/jvm.lux6
-rw-r--r--stdlib/source/test/lux/target/python.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux9
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux3
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux3
191 files changed, 841 insertions, 754 deletions
diff --git a/documentation/bookmark/analysis/static.md b/documentation/bookmark/analysis/static.md
index 0300a44d1..daae87e7b 100644
--- a/documentation/bookmark/analysis/static.md
+++ b/documentation/bookmark/analysis/static.md
@@ -1,6 +1,7 @@
# Reference
0. []()
+0. [Souffle: Logic Defined Static Analysis.](https://souffle-lang.github.io/index.html)
0. [Fusing Industry and Academia at GitHub (Experience Report)](https://arxiv.org/abs/2206.09206)
0. [Software can literally be perfect](https://www.youtube.com/watch?v=Lf7ML_ErWvQ)
0. [Magmide](https://github.com/magmide/magmide)
diff --git a/documentation/bookmark/audio.md b/documentation/bookmark/audio.md
index fef45b127..f2e88a58d 100644
--- a/documentation/bookmark/audio.md
+++ b/documentation/bookmark/audio.md
@@ -1,5 +1,6 @@
# Reference
0. []()
+0. [Ambisonics](https://en.wikipedia.org/wiki/Ambisonics)
0. [JUCE: The leading framework for multi-platform audio applications](https://juce.com/)
diff --git a/documentation/bookmark/blockchain.md b/documentation/bookmark/blockchain.md
index 014e8cb8f..6dc4be393 100644
--- a/documentation/bookmark/blockchain.md
+++ b/documentation/bookmark/blockchain.md
@@ -1,5 +1,6 @@
# Reference
0. []()
+0. [OpenAttestation: Document Endorsement and Verification Framework](https://www.openattestation.com/)
0. [Crypto is crashing but the tech behind it could save luxury brands billions](https://edition.cnn.com/2022/06/26/business/aura-blockchain-luxury-counterfeit-hnk-spc-intl/index.html)
diff --git a/documentation/bookmark/coding_style.md b/documentation/bookmark/coding_style.md
new file mode 100644
index 000000000..6df265f00
--- /dev/null
+++ b/documentation/bookmark/coding_style.md
@@ -0,0 +1,7 @@
+# Reference
+
+0. []()
+0. [the gizmo's role in markup](https://t-ravis.com/post/doc/the_gizmos_role_in_markup/)
+0. [the hard problem: naming functions and other gizmos](https://t-ravis.com/post/doc/naming_functions_methods_and_other_gizmos/)
+0. [WHAT functions and WHY functions](https://t-ravis.com/post/doc/what_functions_and_why_functions/)
+
diff --git a/documentation/bookmark/concurrency/clock.md b/documentation/bookmark/concurrency/clock.md
new file mode 100644
index 000000000..b62ce80e8
--- /dev/null
+++ b/documentation/bookmark/concurrency/clock.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [A Tree Clock Data Structure for Causal Orderings in Concurrent Executions](https://dl.acm.org/doi/pdf/10.1145/3503222.3507734)
+
diff --git a/documentation/bookmark/concurrency/lock_free_programming.md b/documentation/bookmark/concurrency/lock_free_programming.md
index d904c8841..7a64aa21f 100644
--- a/documentation/bookmark/concurrency/lock_free_programming.md
+++ b/documentation/bookmark/concurrency/lock_free_programming.md
@@ -1,5 +1,7 @@
# Reference
+0. []()
+0. [Handling Concurrency Without Locks: How to not let concurrency cripple your system](https://hakibenita.com/django-concurrency)
0. [Nonblocking Algorithms and Scalable Multicore Programming: Exploring some alternatives to lock-based synchronization](https://queue.acm.org/detail.cfm?id=2492433)
0. [Design and Implementation of Highly Scalable Quantifiable Data Structures in C++ - CppCon 2021](https://www.youtube.com/watch?v=ECWsLj0pgbI)
0. [Building a Lock-free Multi-producer, Multi-consumer Queue for Tcmalloc - Matt Kulukundis - CppCon 21](https://www.youtube.com/watch?v=_qaKkHuHYE0)
diff --git a/documentation/bookmark/documentation.md b/documentation/bookmark/documentation.md
index 470a27b3e..ab65452ba 100644
--- a/documentation/bookmark/documentation.md
+++ b/documentation/bookmark/documentation.md
@@ -65,6 +65,7 @@
# Reference
0. []()
+0. [TimelineJS: Easy-to-make, beautiful timelines.](http://timeline.knightlab.com/)
0. [Introduction to the Zettelkasten Method](https://zettelkasten.de/introduction/)
0. [Building a community of open-source documentation contributors](https://news.ycombinator.com/newest?next=31705868&n=1171)
0. [Documentation in the Era of Concepts and Ranges - Christopher Di Bella & Sy Brand - CppCon 2021](https://www.youtube.com/watch?v=nm45t2fnUms)
diff --git a/documentation/bookmark/game/engine.md b/documentation/bookmark/game/engine.md
index 45d78ec5b..848857189 100644
--- a/documentation/bookmark/game/engine.md
+++ b/documentation/bookmark/game/engine.md
@@ -2,11 +2,14 @@
## General
+0. []()
+0. [MonoGame: One framework for creating powerful cross-platform games](https://www.monogame.net/)
0. [Heaps.io](https://heaps.io/index.html)
0. [The Machinery](https://ourmachinery.com/)
0. [Open 3D Engine](https://www.o3de.org/)
## Specialized
+0. []()
0. [RPG Paper Maker](http://rpg-paper-maker.com/)
diff --git a/documentation/bookmark/law/gdpr.md b/documentation/bookmark/law/gdpr.md
new file mode 100644
index 000000000..48035be6b
--- /dev/null
+++ b/documentation/bookmark/law/gdpr.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [Is my cookie illegal?: Twelve questions from developers to privacy experts.](https://volument.com/blog/is-my-cookie-illegal)
+
diff --git a/documentation/bookmark/math.md b/documentation/bookmark/math.md
index 113ec69a7..9c36118ed 100644
--- a/documentation/bookmark/math.md
+++ b/documentation/bookmark/math.md
@@ -1,66 +1,82 @@
# Logarithm
+0. []()
0. [Logarithm: The Complete Guide (Theory & Applications)](https://mathvault.ca/logarithm-theory/)
# Ball arithmetic
+0. []()
0. [Ball arithmetic](http://www.texmacs.org/joris/ball/ball.html)
# Arithmetic
+0. []()
0. [The Definitive Higher Math Guide on Integer Long Division (and Its Variants)](https://mathvault.ca/long-division/)
# Tensor calculus
+0. []()
0. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf)
# Geometry
+0. []()
0. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf)
0. [Symplectic Geometry for Engineers - Fundamentals](https://www.researchgate.net/publication/338124384_Symplectic_Geometry_for_Engineers_-_Fundamentals)
# Prime number
+0. []()
0. [The History of the Primality of One: A Selection of Sources](https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.pdf)
# Trigonometry
+0. []()
0. [Approximating the Sine Function](http://datagenetics.com/blog/july12019/index.html)
# Period
+0. []()
0. https://en.wikipedia.org/wiki/Ring_of_periods
0. [PERIODS](http://www.ihes.fr/~maxim/TEXTS/Periods.pdf)
# Proof theory
+0. []()
0. [Mathematical Components](https://math-comp.github.io/mcb/)
# Statistics
+0. []()
0. https://www.statisticsdonewrong.com/
# Topology
+0. []()
0. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365)
0. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology)
0. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html)
# Library
+0. []()
0. https://github.com/ZacharyPatten/Towel
# Polynomials
+0. []()
0. https://brainbomb.org/0-1-efficient-metholds-for-evaluting-polynomials/
0. https://en.wikipedia.org/wiki/Horner%27s_method
# Chaos Theory
+0. []()
0. http://ncase.me/attractors/
# Number Theory
+0. []()
+0. [Introduction to number theory (Berkeley Math 115)](https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8)
0. https://twitter.com/johncarlosbaez/status/1184492139897507840
0. https://en.wikipedia.org/wiki/Division_algebra
0. [Division algebras](https://www.youtube.com/watch?v=3BZyds_KFWM&list=PLNxhIPHaOTRZMO1VjJcs7_3dgyJ2qU1yZ)
@@ -70,8 +86,10 @@
## Hyperreal number
+0. []()
0. [Yes, You Can Manipulate Infinity—in Math](https://mindmatters.ai/2019/10/yes-you-can-manipulate-infinity-in-math/)
+0. []()
# Quaternions
0. [Quaternions: Part 1](https://liorsinai.github.io/mathematics/2021/11/05/quaternion-1-intro.html)
@@ -85,6 +103,7 @@
# _Compendium of resources_
+0. []()
0. [How to Learn Advanced Mathematics Without Heading to University - Part 1](https://www.quantstart.com/articles/How-to-Learn-Advanced-Mathematics-Without-Heading-to-University-Part-1/)
0. [How to Learn Advanced Mathematics Without Heading to University - Part 2](https://www.quantstart.com/articles/How-to-Learn-Advanced-Mathematics-Without-Heading-to-University-Part-2/)
0. [How to Learn Advanced Mathematics Without Heading to University - Part 3](https://www.quantstart.com/articles/How-to-Learn-Advanced-Mathematics-Without-Heading-to-University-Part-3/)
@@ -101,10 +120,12 @@
# Number systems
+0. []()
0. https://en.wikipedia.org/wiki/Negative_base
# Discrete mathematics
+0. []()
0. [Applied Discrete Structures](http://discretemath.org/ads-latex/ads.pdf)
0. [Notes on Discrete Mathematics](http://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf)
0. [The system of integer functions, an efficient version of discrete mathematical analysis](https://arxiv.org/abs/1710.00676)
@@ -113,14 +134,17 @@
# Probability
+0. []()
0. [Introduction to Probability at anadvanced leve](https://www.stat.berkeley.edu/~aditya/resources/AllLectures2018Fall201A.pdf)
# Domain Theory
+0. []()
0. [A Brief Intro to Domain Theory](https://www.alignmentforum.org/posts/4C4jha5SdReWgg7dF/a-brief-intro-to-domain-theory)
# Category Theory
+0. []()
0. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1)
0. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct)
0. [Categorical Query Language](https://www.categoricaldata.net/)
@@ -138,10 +162,12 @@
# Direct Logic
+0. []()
0. [Strong Types for Direct Logic](https://drive.google.com/file/d/1relKFB4aOMD2VZHM9qj3wWMXOq-q2AJr/view)
# Geometric Algebra | Clifford Algebra
+0. []()
0. [Symplectic Geometry meets Geometric Algebra in 2D](https://www.researchgate.net/publication/356781838_Symplectic_Geometry_meets_Geometric_Algebra_in_2D)
0. [Siggraph2019 Geometric Algebra](https://www.youtube.com/watch?v=tX4H_ctggYo)
0. [Dr Leo Dorst' Keynote talk at CGI2020](https://www.youtube.com/watch?v=T7xVTBpHMjA)
@@ -178,6 +204,7 @@
# Abstract Algebra
+0. []()
0. [A Brief Guide to A Few Algebraic Structures](https://argumatronic.com//posts/2019-06-21-algebra-cheatsheet.html)
0. [DUALITY FOR GROUPS](https://projecteuclid.org/download/pdf_1/euclid.bams/1183515045)
0. https://gowers.wordpress.com/2011/11/20/normal-subgroups-and-quotient-groups/
@@ -191,10 +218,12 @@
# Logic
+0. []()
0. http://openlogicproject.org/
# Calculus
+0. []()
0. [What is Jacobian? | The right way of thinking derivatives and integrals](https://www.youtube.com/watch?v=wCZ1VEmVjVo)
0. [The Fractional Derivative, what is it? | Introduction to Fractional Calculus](https://www.youtube.com/watch?v=A4sTAKN6yFA)
0. [Calculus on Manifolds](http://strangebeautiful.com/other-texts/spivak-calc-manifolds.pdf)
@@ -209,61 +238,74 @@
# Continuous Calculus
+0. []()
0. [Continuous Calculus](http://www-users.math.umn.edu/~olver/ln_/cc.pdf)
# Octonion
+0. []()
0. http://math.ucr.edu/home/baez/octonions/
# Differential Geometry
+0. []()
0. [differential geometry reconstructed: a unified systematic framework](http://www.geometry.org/tex/conc/dgstats.php)
0. [Differential geometry reconstructed: a unified systematic framework](http://www.topology.org/tex/conc/dg.html)
# Information Theory
+0. []()
0. [Functional Bits: Lambda Calculus based Algorithmic Information Theory](https://tromp.github.io/cl/LC.pdf)
# Graph Theory
+0. []()
0. [Graphs and Geometry](http://web.cs.elte.hu/~lovasz/bookxx/geomgraphbook/geombook2019.01.11.pdf)
0. [Graph-Based Algorithms for Boolean Function Manipulation](http://mtv.ece.ucsb.edu/courses/ece156B_14/randy_obdd86.pdf)
0. [better geometry through graph theory](http://ideolalia.com/2018/08/28/artifex.html)
# Division by Zero
+0. []()
0. [29. Dividing by zero to invert matrices](https://graphicallinearalgebra.net/2016/06/22/29-inverting-matrices-and-dividing-by-zero/)
0. https://www.hillelwayne.com/post/divide-by-zero/
0. https://www.1dividedby0.com/
# Partial Fractions
+0. []()
0. https://jaydaigle.net/blog/calculus/easier-partial-fractions/
# Non-commutative Algebra
+0. []()
0. [An Invitation to Noncommutative Algebra](https://arxiv.org/abs/1808.03172)
# Lambda Calculus
+0. []()
0. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c
# _Software Library_
+0. []()
0. https://github.com/arguiot/TheoremJS
0. https://github.com/arguiot/Descartes
# Set Theory
+0. []()
0. [Set Theory and Algebra in Computer Science: A Gentle Introduction to Mathematical Modeling](https://pdfs.semanticscholar.org/d106/6b6de601c1d7d5af25af3f7091bc7ad3ad51.pdf)
# Uncertainty Theory
+0. []()
0. http://faculty.math.tsinghua.edu.cn/~bliu/ut.pdf
0. [An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory](https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf)
# Computational Geometry
+0. []()
0. [CMPT 813: Computational Geometry (Fall 2011)](http://www.cs.sfu.ca/~binay/813.2011/)
0. https://www.johndcook.com/blog/2018/09/26/polygon-area/
0. http://s2geometry.io/devguide/s2cell_hierarchy.html
@@ -272,45 +314,54 @@
# Finitism
+0. []()
0. ["REAL" ANALYSIS Is A DEGENERATE CASE of DISCRETE ANALYSIS](http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf)
# Linear programming
+0. []()
0. https://en.wikibooks.org/wiki/GLPK
0. https://white.ucc.asn.au/2018/05/28/Optimizing-your-diet-with-JuMP.html
# Measure theory
+0. []()
0. [Resources for Learning Measure Theory](https://bcmullins.github.io/measure_theory_resources/)
# Combinatorics
+0. []()
0. [Advances in Combinatorics](https://www.advancesincombinatorics.com/)
0. http://andy.kitchen/combinations.html
0. [Combinatorial Algorithms](http://www2.denizyuret.com/bib/kreher/donald1999combinatorial/combinatorialA.pdf)
# Vector
+0. []()
0. [A Student's Guide to Vectors and Tensors (Student's Guides)](https://www.amazon.com/Students-Guide-Vectors-Tensors-Guides/dp/0521171903)
0. https://www.researchgate.net/publication/327989714_Coordinate_Free_Vector_Algebra_in_R2
# Knot theory
+0. []()
0. [KNOT THEORY and ITS APPLICATIONS](https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf)
0. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0)
0. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf)
# Axiom
+0. []()
0. [INTRODUCTION TO AXIOMATIC REASONING](http://www.math.harvard.edu/~mazur/papers/Axiomatic.pdf)
# Differential equations
+0. []()
0. [ELEMENTARY DIFFERENTIAL EQUATIONS](http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_FREE_DIFFEQ_I.PDF)
0. [Lecture Notes on Difference Equations](http://people.math.aau.dk/~matarne/11-imat/notes2011a.pdf)
# Algebraic geometry
+0. []()
0. [The Stacks project](https://stacks.math.columbia.edu/)
0. http://nautil.us/issue/69/patterns/the-math-that-takes-newton-into-the-quantum-world
0. [Algebraic Geometry](http://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/main.pdf)
@@ -318,20 +369,24 @@
# Physics
+0. []()
0. https://www.researchgate.net/publication/309533409_Beyond_Einstein_non-local_physics
0. https://www.theoretical-physics.com/dev/index.html
# Spherical trigonometry
+0. []()
0. https://en.wikipedia.org/wiki/Haversine_formula
# Hyperbolic geometry
+0. []()
0. [Intuitive Guide to Hyperbolic Functions](https://betterexplained.com/articles/hyperbolic-functions/)
0. [Hyperbolic Functions and Non-Hyperbolic Claims](https://elliptigon.com/hyperbolic-functions-explained/)
# **Temp Cache**
+0. []()
0. https://mathlets.org/mathlets/
0. [Quadratic splines are useful too](https://wordsandbuttons.online/quadric_splines_are_useful_too.html)
0. [Derivations of Applied Mathematics](http://www.derivations.org/)
diff --git a/documentation/bookmark/optimization/simd.md b/documentation/bookmark/optimization/simd__single_instruction_multiple_data.md
index fa90da369..a0cb71744 100644
--- a/documentation/bookmark/optimization/simd.md
+++ b/documentation/bookmark/optimization/simd__single_instruction_multiple_data.md
@@ -1,5 +1,7 @@
# Reference
+0. []()
+0. [10x Performance Improvement for Expression Evaluation Made Possible by Vectorized Execution and the Community](https://en.pingcap.com/blog/10x-performance-improvement-for-expression-evaluation-made-possible-by-vectorized-execution/)
0. [Closing the Performance Gap Between Lisp and C](https://zenodo.org/record/6335627#.YpzmCDnMJH5)
0. [Vectorization, dependencies and outer loop vectorization: if you can’t beat them, join them](https://johnysswlab.com/vectorization-dependencies-and-outer-loop-vectorization-if-you-cant-beat-them-join-them/)
diff --git a/documentation/bookmark/programming_language/syntax.md b/documentation/bookmark/programming_language/syntax.md
index 5d28ea88d..b472a2c6b 100644
--- a/documentation/bookmark/programming_language/syntax.md
+++ b/documentation/bookmark/programming_language/syntax.md
@@ -1,6 +1,7 @@
# Reference
0. []()
+0. [Wisp: Whitespace to Lisp](https://www.draketo.de/proj/wisp/)
0. [Composable and Compilable Macros: You Want it When?](https://www.cs.utah.edu/plt/publications/macromod.pdf)
0. [From Macros to Reusable Generative Programming](http://cs.brown.edu/~sk/Publications/Papers/Published/kfd-macro-to-gen-prog/)
0. [Not everything is an expression](https://codewords.recurse.com/issues/two/not-everything-is-an-expression)
diff --git a/documentation/bookmark/security/authentication.md b/documentation/bookmark/security/authentication.md
index 96284cf57..152f17b1b 100644
--- a/documentation/bookmark/security/authentication.md
+++ b/documentation/bookmark/security/authentication.md
@@ -1,5 +1,7 @@
# Reference
+0. []()
+0. [A07:2021 – Identification and Authentication Failures ](https://owasp.org/Top10/A07_2021-Identification_and_Authentication_Failures/)
0. [The future of authentication is both stateful and stateless](https://clerk.dev/blog/future-of-auth-stateless-and-stateful)
0. [Move beyond passwords](https://developer.apple.com/videos/play/wwdc2021/10106/)
0. [WebAuthn.io](https://webauthn.io/)
diff --git a/stdlib/source/documentation/lux/macro/code.lux b/stdlib/source/documentation/lux/meta/code.lux
index df50d5049..df50d5049 100644
--- a/stdlib/source/documentation/lux/macro/code.lux
+++ b/stdlib/source/documentation/lux/meta/code.lux
diff --git a/stdlib/source/format/lux/data/text.lux b/stdlib/source/format/lux/data/text.lux
index af6e502b6..6dda0729b 100644
--- a/stdlib/source/format/lux/data/text.lux
+++ b/stdlib/source/format/lux/data/text.lux
@@ -31,13 +31,13 @@
["[0]" ratio]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
[meta
["[0]" location]
["[0]" symbol]
- ["[0]" type]]]])
+ ["[0]" type]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(.type .public (Format a)
(-> a Text))
diff --git a/stdlib/source/library/lux/abstract/interval.lux b/stdlib/source/library/lux/abstract/interval.lux
index 913f29274..e5ed383fc 100644
--- a/stdlib/source/library/lux/abstract/interval.lux
+++ b/stdlib/source/library/lux/abstract/interval.lux
@@ -4,8 +4,8 @@
[lux (.except)]]
[//
[equivalence (.only Equivalence)]
- ["[0]" order]
- [enum (.only Enum)]])
+ [enum (.only Enum)]
+ ["[0]" order]])
(type .public (Interval a)
(Interface
diff --git a/stdlib/source/library/lux/abstract/monad/indexed.lux b/stdlib/source/library/lux/abstract/monad/indexed.lux
index 8d03d011e..cba3ac6e1 100644
--- a/stdlib/source/library/lux/abstract/monad/indexed.lux
+++ b/stdlib/source/library/lux/abstract/monad/indexed.lux
@@ -7,7 +7,8 @@
[collection
["[0]" list (.use "[1]#[0]" functor mix)]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]]
["[0]" //])
diff --git a/stdlib/source/library/lux/control/concatenative.lux b/stdlib/source/library/lux/control/concatenative.lux
index 3a24dedfc..795d387cb 100644
--- a/stdlib/source/library/lux/control/concatenative.lux
+++ b/stdlib/source/library/lux/control/concatenative.lux
@@ -13,9 +13,7 @@
["[0]" list (.use "[1]#[0]" mix functor)]]]
["[0]" macro (.only with_symbols)
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
[math
[number
["n" nat]
@@ -23,7 +21,9 @@
["r" rev]
["f" frac]]]
["[0]" meta (.only)
- ["[0]" type]]]]
+ ["[0]" type]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
[//
["<>" parser (.use "[1]#[0]" monad)]])
diff --git a/stdlib/source/library/lux/control/continuation.lux b/stdlib/source/library/lux/control/continuation.lux
index a9e62ac66..8a398b377 100644
--- a/stdlib/source/library/lux/control/continuation.lux
+++ b/stdlib/source/library/lux/control/continuation.lux
@@ -8,7 +8,8 @@
[control
["[0]" function]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser]]]]])
diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux
index cf45dfe13..073db8397 100644
--- a/stdlib/source/library/lux/control/exception.lux
+++ b/stdlib/source/library/lux/control/exception.lux
@@ -1,8 +1,6 @@
(.require
[library
[lux (.except except with)
- ["[0]" macro]
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -13,16 +11,17 @@
["[0]" text (.use "[1]#[0]" monoid)]
[collection
["[0]" list (.use "[1]#[0]" functor mix)]]]
- [macro
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]
+ ["[0]" macro (.only)
[syntax (.only syntax)
["|[0]|" input]
["[0]" type
["|[1]_[0]|" variable]]]]
[math
[number
- ["n" nat (.use "[1]#[0]" decimal)]]]]]
+ ["n" nat (.use "[1]#[0]" decimal)]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
[//
["//" try (.only Try)]])
diff --git a/stdlib/source/library/lux/control/function/contract.lux b/stdlib/source/library/lux/control/function/contract.lux
index df8702fed..bb6ef6731 100644
--- a/stdlib/source/library/lux/control/function/contract.lux
+++ b/stdlib/source/library/lux/control/function/contract.lux
@@ -7,12 +7,13 @@
[text
["%" \\format (.only format)]]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
- ["i" int]]]]])
+ ["i" int]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(with_template [<name>]
[(exception .public (<name> [condition Code])
diff --git a/stdlib/source/library/lux/control/function/inline.lux b/stdlib/source/library/lux/control/function/inline.lux
index 98d6e56c9..0564edc3d 100644
--- a/stdlib/source/library/lux/control/function/inline.lux
+++ b/stdlib/source/library/lux/control/function/inline.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -10,10 +9,11 @@
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
["[0]" macro (.only)
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]
[syntax (.only syntax)
- ["|[0]|" export]]]]])
+ ["|[0]|" export]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(def declaration
(Parser [Text (List Code)])
diff --git a/stdlib/source/library/lux/control/function/mutual.lux b/stdlib/source/library/lux/control/function/mutual.lux
index fb74ef01e..f00643060 100644
--- a/stdlib/source/library/lux/control/function/mutual.lux
+++ b/stdlib/source/library/lux/control/function/mutual.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except Definition let def macro)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -15,10 +14,11 @@
["[0]" list (.use "[1]#[0]" functor)]]]
["[0]" macro (.only)
["[0]" local]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]
[syntax (.only syntax)
- ["[0]" declaration (.only Declaration)]]]]]
+ ["[0]" declaration (.only Declaration)]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
["[0]" //])
(type Mutual
diff --git a/stdlib/source/library/lux/control/io.lux b/stdlib/source/library/lux/control/io.lux
index 13eda4b75..bd0e441e2 100644
--- a/stdlib/source/library/lux/control/io.lux
+++ b/stdlib/source/library/lux/control/io.lux
@@ -7,12 +7,12 @@
[monad (.only Monad do)]]
[macro (.only with_symbols)
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[meta
[type
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code
+ ["<[1]>" \\parser]]]]])
(primitive .public (IO a)
(-> Any a)
diff --git a/stdlib/source/library/lux/control/lazy.lux b/stdlib/source/library/lux/control/lazy.lux
index d2bf0531f..857fdccff 100644
--- a/stdlib/source/library/lux/control/lazy.lux
+++ b/stdlib/source/library/lux/control/lazy.lux
@@ -11,12 +11,12 @@
[concurrency
["[0]" atom]]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[meta
[type (.only sharing)
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code
+ ["<[1]>" \\parser]]]]])
(primitive .public (Lazy a)
(-> [] a)
diff --git a/stdlib/source/library/lux/control/pipe.lux b/stdlib/source/library/lux/control/pipe.lux
index 99e7a697c..cdd6589b8 100644
--- a/stdlib/source/library/lux/control/pipe.lux
+++ b/stdlib/source/library/lux/control/pipe.lux
@@ -11,13 +11,14 @@
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ [syntax (.only syntax)]]
[math
[number
["n" nat]
- ["i" int]]]]])
+ ["i" int]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(def body
(Parser (List Code))
diff --git a/stdlib/source/library/lux/control/remember.lux b/stdlib/source/library/lux/control/remember.lux
index bce726fb1..227a7bd4b 100644
--- a/stdlib/source/library/lux/control/remember.lux
+++ b/stdlib/source/library/lux/control/remember.lux
@@ -14,10 +14,10 @@
[time
["[0]" instant]
["[0]" date (.only Date) (.use "[1]#[0]" order)]]
- ["[0]" meta]
[macro
[syntax (.only syntax)]
- ["[0]" template]
+ ["[0]" template]]
+ ["[0]" meta (.only)
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]])
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 90a503c3a..2a8627855 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -16,13 +16,13 @@
[meta
[type
[primitive (.except)]]]
- ["[0]" meta]
["[0]" macro (.only)
- ["[0]" code (.only)
- ["<[1]>" \\parser]]
[syntax (.only syntax)
["|[0]|" export]
- ["|[0]|" declaration]]]]])
+ ["|[0]|" declaration]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(primitive .public (Capability brand input output)
(-> input output)
diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux
index 1f5186289..77873fa40 100644
--- a/stdlib/source/library/lux/data/collection/sequence.lux
+++ b/stdlib/source/library/lux/data/collection/sequence.lux
@@ -27,13 +27,14 @@
["[1]" \\unsafe (.only Array)]]]]
[macro
[syntax (.only syntax)]
- ["^" pattern]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["^" pattern]]
[math
[number
["n" nat]
- ["[0]" i64]]]]])
+ ["[0]" i64]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(type (Node a)
(Variant
diff --git a/stdlib/source/library/lux/data/collection/stream.lux b/stdlib/source/library/lux/data/collection/stream.lux
index 4e82cbe1e..3c41ccda0 100644
--- a/stdlib/source/library/lux/data/collection/stream.lux
+++ b/stdlib/source/library/lux/data/collection/stream.lux
@@ -12,12 +12,13 @@
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ [syntax (.only syntax)]]
[math
[number
- ["n" nat]]]]])
+ ["n" nat]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(type .public (Stream a)
(Cont [a (Stream a)]))
diff --git a/stdlib/source/library/lux/data/collection/tree.lux b/stdlib/source/library/lux/data/collection/tree.lux
index 64288458d..2e7c7b59d 100644
--- a/stdlib/source/library/lux/data/collection/tree.lux
+++ b/stdlib/source/library/lux/data/collection/tree.lux
@@ -12,7 +12,8 @@
[collection
["[0]" list (.use "[1]#[0]" monad mix)]]]
[macro
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]])
diff --git a/stdlib/source/library/lux/data/format/css/class.lux b/stdlib/source/library/lux/data/format/css/class.lux
index 95ecbb9dc..cf0d3423a 100644
--- a/stdlib/source/library/lux/data/format/css/class.lux
+++ b/stdlib/source/library/lux/data/format/css/class.lux
@@ -8,9 +8,9 @@
["[0]" text (.use "[1]#[0]" hash)
["%" \\format (.only format)]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code]]
+ [syntax (.only syntax)]]
[meta
+ ["[0]" code]
[type
[primitive (.except)]]]]])
diff --git a/stdlib/source/library/lux/data/format/css/font.lux b/stdlib/source/library/lux/data/format/css/font.lux
index 37d63c8c7..5d97d5382 100644
--- a/stdlib/source/library/lux/data/format/css/font.lux
+++ b/stdlib/source/library/lux/data/format/css/font.lux
@@ -1,11 +1,9 @@
(.require
[library
[lux (.except)
- [type
- abstract]
- [control
- [parser
- ["s" code]]]
+ [meta
+ [code
+ ["s" \\parser]]]
[world
[net (.only URL)]]]]
["[0]" //
diff --git a/stdlib/source/library/lux/data/format/css/id.lux b/stdlib/source/library/lux/data/format/css/id.lux
index d4ce16d6a..ee61013bf 100644
--- a/stdlib/source/library/lux/data/format/css/id.lux
+++ b/stdlib/source/library/lux/data/format/css/id.lux
@@ -8,9 +8,9 @@
["[0]" text (.use "[1]#[0]" hash)
["%" \\format (.only format)]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code]]
+ [syntax (.only syntax)]]
[meta
+ ["[0]" code]
[type
[primitive (.except)]]]]])
diff --git a/stdlib/source/library/lux/data/format/css/property.lux b/stdlib/source/library/lux/data/format/css/property.lux
index 089e117c2..1a3b8ee02 100644
--- a/stdlib/source/library/lux/data/format/css/property.lux
+++ b/stdlib/source/library/lux/data/format/css/property.lux
@@ -1,9 +1,6 @@
(.require
[library
[lux (.except All Location)
- [control
- [parser
- ["s" code]]]
[data
["[0]" text]]
[macro
@@ -11,6 +8,8 @@
["[0]" template]
["[0]" code]]
[meta
+ [code
+ ["s" \\parser]]
[type
[primitive (.except)]]]]]
[//
diff --git a/stdlib/source/library/lux/data/format/css/query.lux b/stdlib/source/library/lux/data/format/css/query.lux
index ec39e8425..d3edc6d31 100644
--- a/stdlib/source/library/lux/data/format/css/query.lux
+++ b/stdlib/source/library/lux/data/format/css/query.lux
@@ -1,17 +1,15 @@
(.require
[library
[lux (.except and or not)
- [control
- [parser
- ["s" code]]]
[data
- ["[0]" text
+ ["[0]" text (.only)
["%" \\format (.only format)]]]
[macro
- ["[0]" template]
- ["[0]" code]
- [syntax (.only syntax)]]
+ [syntax (.only syntax)]
+ ["[0]" template]]
[meta
+ ["[0]" code (.only syntax)
+ ["s" \\parser]]
[type
[primitive (.except)]]]]]
["[0]" //
diff --git a/stdlib/source/library/lux/data/format/css/value.lux b/stdlib/source/library/lux/data/format/css/value.lux
index 14d2a2cec..d4732c5da 100644
--- a/stdlib/source/library/lux/data/format/css/value.lux
+++ b/stdlib/source/library/lux/data/format/css/value.lux
@@ -12,9 +12,7 @@
["[0]" list (.use "[1]#[0]" functor)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
[number
["n" nat]
@@ -23,7 +21,9 @@
["f" frac]]]
[meta
[type
- [primitive (.except)]]]
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[world
[net (.only URL)]]]]
[//
diff --git a/stdlib/source/library/lux/data/format/json.lux b/stdlib/source/library/lux/data/format/json.lux
index 2bb8638fb..d419ac68f 100644
--- a/stdlib/source/library/lux/data/format/json.lux
+++ b/stdlib/source/library/lux/data/format/json.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except has)
- ["[0]" meta (.only monad)]
[abstract
[equivalence (.only Equivalence)]
[codec (.only Codec)]
@@ -24,13 +23,14 @@
["[0]" dictionary (.only Dictionary)]]]
[macro
[syntax (.only syntax)]
- ["^" pattern]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["^" pattern]]
[math
[number
["n" nat]
- ["f" frac (.use "[1]#[0]" decimal)]]]]])
+ ["f" frac (.use "[1]#[0]" decimal)]]]
+ ["[0]" meta (.only monad)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(with_template [<name> <type>]
[(type .public <name>
diff --git a/stdlib/source/library/lux/data/text/escape.lux b/stdlib/source/library/lux/data/text/escape.lux
index aff108c29..9963627fb 100644
--- a/stdlib/source/library/lux/data/text/escape.lux
+++ b/stdlib/source/library/lux/data/text/escape.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -14,7 +13,8 @@
["n" nat]]]
[macro
[syntax (.only syntax)]
- ["^" pattern]
+ ["^" pattern]]
+ ["[0]" meta (.only)
["[0]" code (.only)
["<[1]>" \\parser]]]]]
["[0]" // (.only Char)
diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux
index c9a8a5d68..39fb077d0 100644
--- a/stdlib/source/library/lux/data/text/regex.lux
+++ b/stdlib/source/library/lux/data/text/regex.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except pattern)
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -17,12 +16,13 @@
["[0]" list (.use "[1]#[0]" mix monad)]]]
[macro (.only with_symbols)
[syntax (.only syntax)]
- ["^" pattern]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["^" pattern]]
[math
[number (.only hex)
- ["n" nat (.use "[1]#[0]" decimal)]]]]]
+ ["n" nat (.use "[1]#[0]" decimal)]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
["[0]" // (.only)
["%" \\format (.only format)]])
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index 78160f4cd..217cb3947 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -25,9 +25,7 @@
[macro
["^" pattern]
["[0]" template]
- ["[0]" syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" syntax (.only syntax)]]
[math
[number
[ratio (.only Ratio)]
@@ -41,7 +39,9 @@
[day (.only Day)]]
[meta
["[0]" type (.only)
- ["<[1]>" \\parser (.only Parser)]]]]])
+ ["<[1]>" \\parser (.only Parser)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(with_expansions [<jvm> (these (import java/lang/String
"[1]::[0]")
diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux
index 3f7df3b4e..1aaf71e5c 100644
--- a/stdlib/source/library/lux/documentation.lux
+++ b/stdlib/source/library/lux/documentation.lux
@@ -21,14 +21,14 @@
["[0]" macro (.only)
[syntax (.only syntax)]
["^" pattern]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
[math
[number
["n" nat]]]
["[0]" meta (.only)
- ["[0]" type (.use "[1]#[0]" equivalence)]]
+ ["[0]" type (.use "[1]#[0]" equivalence)]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]
[tool
[compiler
[language
diff --git a/stdlib/source/library/lux/extension.lux b/stdlib/source/library/lux/extension.lux
index cfa13af9b..abd125701 100644
--- a/stdlib/source/library/lux/extension.lux
+++ b/stdlib/source/library/lux/extension.lux
@@ -10,7 +10,8 @@
[collection
["[0]" list (.use "[1]#[0]" functor)]]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<c>" \\parser (.only Parser)]]]
[tool
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index 69090b80f..405d5bf09 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -23,12 +23,15 @@
[syntax (.only syntax)]
["^" pattern]
["[0]" template]
- ["[0]" context]
- ["[0]" code (.only)
- ["<[1]>" \\parser(.only Parser)]]]
+ ["[0]" context]]
[math
[number
["n" nat]]]
+ [meta
+ ["[0]" type (.use "[1]#[0]" equivalence)
+ ["[0]" check]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser(.only Parser)]]]
[target
["[0]" jvm
[encoding
@@ -39,10 +42,7 @@
["[0]" descriptor]
["[0]" signature]
["[0]" reflection]
- ["[0]" parser]]]]
- [meta
- ["[0]" type (.use "[1]#[0]" equivalence)
- ["[0]" check]]]]])
+ ["[0]" parser]]]]]])
(def internal
(-> External Text)
diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux
index 44e4e685e..90681746d 100644
--- a/stdlib/source/library/lux/ffi.lux
+++ b/stdlib/source/library/lux/ffi.lux
@@ -17,14 +17,14 @@
["[0]" list (.use "[1]#[0]" monad mix)]]]
["[0]" macro (.only with_symbols)
[syntax (.only syntax)]
- ["[0]" template]
+ ["[0]" template]]
+ [meta
+ [type
+ [primitive (.except)]]
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]
["@" target (.only)
- ["[0]" js]]
- [meta
- [type
- [primitive (.except)]]]]])
+ ["[0]" js]]]])
(with_expansions [<constant> (for @.js "js constant"
@.python "python constant"
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux
index f713ebf1c..e35e7844d 100644
--- a/stdlib/source/library/lux/ffi.old.lux
+++ b/stdlib/source/library/lux/ffi.old.lux
@@ -21,11 +21,11 @@
["[0]" macro (.only with_symbols)
[syntax (.only syntax)]
["^" pattern]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
["[0]" meta (.only)
- ["[0]" type (.use "[1]#[0]" equivalence)]]]])
+ ["[0]" type (.use "[1]#[0]" equivalence)]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(with_template [<name> <op> <from> <to>]
[(def .public (<name> value)
diff --git a/stdlib/source/library/lux/ffi.php.lux b/stdlib/source/library/lux/ffi.php.lux
index a720cc6f1..42df739ad 100644
--- a/stdlib/source/library/lux/ffi.php.lux
+++ b/stdlib/source/library/lux/ffi.php.lux
@@ -16,12 +16,12 @@
["[0]" list (.use "[1]#[0]" functor)]]]
[macro (.only with_symbols)
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
["[0]" meta (.only)
[type
- abstract]]]])
+ abstract]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(primitive .public (Object brand) Any)
diff --git a/stdlib/source/library/lux/ffi.scm.lux b/stdlib/source/library/lux/ffi.scm.lux
index 679a9b58e..04d157393 100644
--- a/stdlib/source/library/lux/ffi.scm.lux
+++ b/stdlib/source/library/lux/ffi.scm.lux
@@ -16,12 +16,12 @@
["[0]" list (.use "[1]#[0]" functor)]]]
[macro (.only with_symbols)
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
["[0]" meta (.only)
[type
- abstract]]]])
+ abstract]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(primitive .public (Object brand) Any)
diff --git a/stdlib/source/library/lux/ffi/export.js.lux b/stdlib/source/library/lux/ffi/export.js.lux
index a887d9f84..2a0d25f6f 100644
--- a/stdlib/source/library/lux/ffi/export.js.lux
+++ b/stdlib/source/library/lux/ffi/export.js.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
[extension (.only declaration)]
- ["[0]" meta]
["[0]" static]
[abstract
["[0]" monad (.only do)]]
@@ -15,11 +14,12 @@
["[0]" list (.use "[1]#[0]" monad mix)]
["[0]" set]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[target
["/" js]]
[tool
@@ -51,39 +51,39 @@
random.nat)]
(declaration (<extension> self phase archive [name <code>.text
term <code>.any])
- (do [! phase.monad]
- [next declaration.analysis
- [_ term] (<| declaration.lifted_analysis
- type.inferring
- (next archive term))
+ (do [! phase.monad]
+ [next declaration.analysis
+ [_ term] (<| declaration.lifted_analysis
+ type.inferring
+ (next archive term))
- next declaration.synthesis
- term (declaration.lifted_synthesis
- (next archive term))
+ next declaration.synthesis
+ term (declaration.lifted_synthesis
+ (next archive term))
- dependencies (declaration.lifted_generation
- (dependency.dependencies archive term))
+ dependencies (declaration.lifted_generation
+ (dependency.dependencies archive term))
- next declaration.generation
- [interim_artifacts term] (declaration.lifted_generation
- (generation.with_interim_artifacts archive
- (next archive term)))
+ next declaration.generation
+ [interim_artifacts term] (declaration.lifted_generation
+ (generation.with_interim_artifacts archive
+ (next archive term)))
- _ (declaration.lifted_generation
- (do !
- [@self (generation.learn_custom name (list#mix set.has dependencies interim_artifacts))
- .let [$module (/.var "module")
- $exports (/.the "exports" $module)
- definition (/.define (/.var name) term)
- export (/.when (/.not (/.= (/.string "undefined") (/.type_of $module)))
- (/.set (/.the name $exports) (/.var name)))
- code (all /.then
- definition
- export)]
- _ (generation.execute! definition)
- _ (generation.save! @self {.#None} code)]
- (generation.log! (%.format "Export " (%.text name)))))]
- (in declaration.no_requirements)))
+ _ (declaration.lifted_generation
+ (do !
+ [@self (generation.learn_custom name (list#mix set.has dependencies interim_artifacts))
+ .let [$module (/.var "module")
+ $exports (/.the "exports" $module)
+ definition (/.define (/.var name) term)
+ export (/.when (/.not (/.= (/.string "undefined") (/.type_of $module)))
+ (/.set (/.the name $exports) (/.var name)))
+ code (all /.then
+ definition
+ export)]
+ _ (generation.execute! definition)
+ _ (generation.save! @self {.#None} code)]
+ (generation.log! (%.format "Export " (%.text name)))))]
+ (in declaration.no_requirements)))
(def .public export
(syntax (_ [exports (<>.many <code>.any)])
diff --git a/stdlib/source/library/lux/ffi/export.jvm.lux b/stdlib/source/library/lux/ffi/export.jvm.lux
index 6aebb2c13..876491f0a 100644
--- a/stdlib/source/library/lux/ffi/export.jvm.lux
+++ b/stdlib/source/library/lux/ffi/export.jvm.lux
@@ -7,7 +7,8 @@
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
[macro
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]]
["[0]" //])
diff --git a/stdlib/source/library/lux/ffi/export.lua.lux b/stdlib/source/library/lux/ffi/export.lua.lux
index c38eaf711..ef326c6ab 100644
--- a/stdlib/source/library/lux/ffi/export.lua.lux
+++ b/stdlib/source/library/lux/ffi/export.lua.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
[extension (.only declaration)]
- ["[0]" meta]
["[0]" static]
[abstract
["[0]" monad (.only do)]]
@@ -15,11 +14,12 @@
["[0]" list (.use "[1]#[0]" monad mix)]
["[0]" set]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[target
["/" lua]]
[tool
@@ -55,51 +55,51 @@
random.nat)]
(declaration (<extension> self phase archive [name <code>.text
term <code>.any])
- (do [! phase.monad]
- [next declaration.analysis
- [_ term] (<| declaration.lifted_analysis
- type.inferring
- (next archive term))
+ (do [! phase.monad]
+ [next declaration.analysis
+ [_ term] (<| declaration.lifted_analysis
+ type.inferring
+ (next archive term))
- next declaration.synthesis
- term (declaration.lifted_synthesis
- (next archive term))
+ next declaration.synthesis
+ term (declaration.lifted_synthesis
+ (next archive term))
- dependencies (declaration.lifted_generation
- (dependency.dependencies archive term))
+ dependencies (declaration.lifted_generation
+ (dependency.dependencies archive term))
- next declaration.generation
- [interim_artifacts term] (declaration.lifted_generation
- (generation.with_interim_artifacts archive
- (next archive term)))
+ next declaration.generation
+ [interim_artifacts term] (declaration.lifted_generation
+ (generation.with_interim_artifacts archive
+ (next archive term)))
- _ (declaration.lifted_generation
- (do !
- [@self (generation.learn_custom name (list#mix set.has dependencies interim_artifacts))
- .let [$exports (/.var "_REQUIREDNAME")
- $global (/.var "_G")
- exporting? (/.not (/.= /.nil $exports))
- no_exports? (/.= /.nil (/.item $exports $global))
- initialize_exports! (/.set (list (/.item $exports $global)) (/.table (list)))
- export_definition! (/.set (|> $global
- (/.item $exports)
- (/.item (/.string name))
- (list))
- (/.var name))
- export! (/.when exporting?
- (all /.then
- (/.when no_exports?
- initialize_exports!)
- export_definition!
- ))]
- _ (generation.execute! (all /.then
- (/.set (list (/.var name)) term)
- export!))
- _ (generation.save! @self {.#None} (all /.then
- (/.local/1 (/.var name) term)
- export!))]
- (generation.log! (%.format "Export " (%.text name)))))]
- (in declaration.no_requirements)))
+ _ (declaration.lifted_generation
+ (do !
+ [@self (generation.learn_custom name (list#mix set.has dependencies interim_artifacts))
+ .let [$exports (/.var "_REQUIREDNAME")
+ $global (/.var "_G")
+ exporting? (/.not (/.= /.nil $exports))
+ no_exports? (/.= /.nil (/.item $exports $global))
+ initialize_exports! (/.set (list (/.item $exports $global)) (/.table (list)))
+ export_definition! (/.set (|> $global
+ (/.item $exports)
+ (/.item (/.string name))
+ (list))
+ (/.var name))
+ export! (/.when exporting?
+ (all /.then
+ (/.when no_exports?
+ initialize_exports!)
+ export_definition!
+ ))]
+ _ (generation.execute! (all /.then
+ (/.set (list (/.var name)) term)
+ export!))
+ _ (generation.save! @self {.#None} (all /.then
+ (/.local/1 (/.var name) term)
+ export!))]
+ (generation.log! (%.format "Export " (%.text name)))))]
+ (in declaration.no_requirements)))
(def .public export
(syntax (_ [exports (<>.many <code>.any)])
diff --git a/stdlib/source/library/lux/ffi/export.py.lux b/stdlib/source/library/lux/ffi/export.py.lux
index be61ff11e..4c1fe2cc0 100644
--- a/stdlib/source/library/lux/ffi/export.py.lux
+++ b/stdlib/source/library/lux/ffi/export.py.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
[extension (.only declaration)]
- ["[0]" meta]
["[0]" static]
[abstract
["[0]" monad (.only do)]]
@@ -15,11 +14,12 @@
["[0]" list (.use "[1]#[0]" monad mix)]
["[0]" set]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[target
["/" python]]
[tool
@@ -51,32 +51,32 @@
random.nat)]
(declaration (<extension> self phase archive [name <code>.text
term <code>.any])
- (do [! phase.monad]
- [next declaration.analysis
- [_ term] (<| declaration.lifted_analysis
- type.inferring
- (next archive term))
+ (do [! phase.monad]
+ [next declaration.analysis
+ [_ term] (<| declaration.lifted_analysis
+ type.inferring
+ (next archive term))
- next declaration.synthesis
- term (declaration.lifted_synthesis
- (next archive term))
+ next declaration.synthesis
+ term (declaration.lifted_synthesis
+ (next archive term))
- dependencies (declaration.lifted_generation
- (dependency.dependencies archive term))
+ dependencies (declaration.lifted_generation
+ (dependency.dependencies archive term))
- next declaration.generation
- [interim_artifacts term] (declaration.lifted_generation
- (generation.with_interim_artifacts archive
- (next archive term)))
+ next declaration.generation
+ [interim_artifacts term] (declaration.lifted_generation
+ (generation.with_interim_artifacts archive
+ (next archive term)))
- _ (declaration.lifted_generation
- (do !
- [@self (generation.learn_custom name (list#mix set.has dependencies interim_artifacts))
- .let [code (/.set (list (/.item (/.string name) /.globals/0)) term)]
- _ (generation.execute! code)
- _ (generation.save! @self {.#None} code)]
- (generation.log! (%.format "Export " (%.text name)))))]
- (in declaration.no_requirements)))
+ _ (declaration.lifted_generation
+ (do !
+ [@self (generation.learn_custom name (list#mix set.has dependencies interim_artifacts))
+ .let [code (/.set (list (/.item (/.string name) /.globals/0)) term)]
+ _ (generation.execute! code)
+ _ (generation.save! @self {.#None} code)]
+ (generation.log! (%.format "Export " (%.text name)))))]
+ (in declaration.no_requirements)))
(def .public export
(syntax (_ [exports (<>.many <code>.any)])
diff --git a/stdlib/source/library/lux/ffi/export.rb.lux b/stdlib/source/library/lux/ffi/export.rb.lux
index b29982a1c..ff00305b6 100644
--- a/stdlib/source/library/lux/ffi/export.rb.lux
+++ b/stdlib/source/library/lux/ffi/export.rb.lux
@@ -2,7 +2,6 @@
[library
[lux (.except global)
[extension (.only declaration)]
- ["[0]" meta]
["[0]" static]
["[0]" type]
[abstract
@@ -17,11 +16,12 @@
["[0]" list (.use "[1]#[0]" monad mix)]
["[0]" set]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[target
["/" ruby]]
[tool
@@ -90,42 +90,42 @@
(declaration (<extension> self phase archive [global? <code>.bit
name <code>.text
term <code>.any])
- (do [! phase.monad]
- [next declaration.analysis
- [type term] (<| declaration.lifted_analysis
- analysis.inferring
- (next archive term))
+ (do [! phase.monad]
+ [next declaration.analysis
+ [type term] (<| declaration.lifted_analysis
+ analysis.inferring
+ (next archive term))
- next declaration.synthesis
- term (declaration.lifted_synthesis
- (next archive term))
+ next declaration.synthesis
+ term (declaration.lifted_synthesis
+ (next archive term))
- dependencies (declaration.lifted_generation
- (dependency.dependencies archive term))
+ dependencies (declaration.lifted_generation
+ (dependency.dependencies archive term))
- next declaration.generation
- [interim_artifacts term] (declaration.lifted_generation
- (generation.with_interim_artifacts archive
- (next archive term)))
+ next declaration.generation
+ [interim_artifacts term] (declaration.lifted_generation
+ (generation.with_interim_artifacts archive
+ (next archive term)))
- _ (declaration.lifted_generation
- (do !
- [@self (generation.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)
- (case :input:/*
- {.#End}
- (/.function (/.manual name) (list)
- (/.return term))
+ _ (declaration.lifted_generation
+ (do !
+ [@self (generation.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)
+ (case :input:/*
+ {.#End}
+ (/.function (/.manual name) (list)
+ (/.return term))
- _
- (/.statement (/.apply (list (/.string name) term) {.#None}
- (/.manual "define_method")))))]
- _ (generation.execute! code)
- _ (generation.save! @self {.#None} code)]
- (generation.log! (%.format "Export " (%.text name)))))]
- (in declaration.no_requirements)))
+ _
+ (/.statement (/.apply (list (/.string name) term) {.#None}
+ (/.manual "define_method")))))]
+ _ (generation.execute! code)
+ _ (generation.save! @self {.#None} code)]
+ (generation.log! (%.format "Export " (%.text name)))))]
+ (in declaration.no_requirements)))
(def .public export
(syntax (_ [exports (<>.many <code>.any)])
diff --git a/stdlib/source/library/lux/macro.lux b/stdlib/source/library/lux/macro.lux
index e14bf061b..612077261 100644
--- a/stdlib/source/library/lux/macro.lux
+++ b/stdlib/source/library/lux/macro.lux
@@ -11,12 +11,11 @@
[number
["[0]" nat]
["[0]" int]]]]]
- [/
- ["[0]" code]
- ["[0]" //
- ["[1]" meta (.only)
- ["[0]" location]
- ["[0]" symbol (.use "[1]#[0]" codec)]]]])
+ ["[0]" //
+ ["[1]" meta (.only)
+ ["[0]" code]
+ ["[0]" location]
+ ["[0]" symbol (.use "[1]#[0]" codec)]]])
(def .public (single_expansion syntax)
(-> Code (Meta (List Code)))
diff --git a/stdlib/source/library/lux/macro/context.lux b/stdlib/source/library/lux/macro/context.lux
index b85f94af8..e1a127bf9 100644
--- a/stdlib/source/library/lux/macro/context.lux
+++ b/stdlib/source/library/lux/macro/context.lux
@@ -14,15 +14,13 @@
[collection
["[0]" list (.only)
["[0]" property]]]]
- [macro
- ["[0]" code
- ["?[1]" \\parser]]]
["[0]" meta (.only)
- ["[0]" symbol (.use "[1]#[0]" codec)]]]]
+ ["[0]" symbol (.use "[1]#[0]" codec)]
+ ["[0]" code (.only)
+ ["?[1]" \\parser]]]]]
["[0]" // (.only)
[syntax (.only syntax)]
- ["^" pattern]
- ["[0]" code]])
+ ["^" pattern]])
(type .public Stack
List)
diff --git a/stdlib/source/library/lux/macro/local.lux b/stdlib/source/library/lux/macro/local.lux
index 29fa9820c..036da756f 100644
--- a/stdlib/source/library/lux/macro/local.lux
+++ b/stdlib/source/library/lux/macro/local.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except with let)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -13,11 +12,12 @@
["[0]" text]
[collection
["[0]" list (.use "[1]#[0]" functor)
- ["[0]" property]]]]]]
+ ["[0]" property]]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
["[0]" // (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]])
+ [syntax (.only syntax)]])
(exception .public (unknown_module [module Text])
(exception.report
diff --git a/stdlib/source/library/lux/macro/syntax.lux b/stdlib/source/library/lux/macro/syntax.lux
index 5f8242c85..8e9d32686 100644
--- a/stdlib/source/library/lux/macro/syntax.lux
+++ b/stdlib/source/library/lux/macro/syntax.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -10,10 +9,11 @@
[data
["[0]" text (.use "[1]#[0]" monoid)]
[collection
- ["[0]" list]]]]]
- ["[0]" // (.only with_symbols)
- ["[0]" code (.only)
- ["</>" \\parser (.only Parser)]]])
+ ["[0]" list]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["</>" \\parser (.only Parser)]]]]]
+ ["[0]" // (.only with_symbols)])
(def (self_documenting binding parser)
(All (_ a) (-> Code (Parser a) (Parser a)))
diff --git a/stdlib/source/library/lux/macro/syntax/check.lux b/stdlib/source/library/lux/macro/syntax/check.lux
index 7a4b6ac73..69621e1e2 100644
--- a/stdlib/source/library/lux/macro/syntax/check.lux
+++ b/stdlib/source/library/lux/macro/syntax/check.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["[0]" meta]
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
@@ -9,7 +8,7 @@
["<>" parser]]
[data
["[0]" product]]
- [macro
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]])
diff --git a/stdlib/source/library/lux/macro/syntax/declaration.lux b/stdlib/source/library/lux/macro/syntax/declaration.lux
index dbb86e1ce..a60ce50ad 100644
--- a/stdlib/source/library/lux/macro/syntax/declaration.lux
+++ b/stdlib/source/library/lux/macro/syntax/declaration.lux
@@ -10,7 +10,7 @@
["[0]" text]
[collection
["[0]" list (.use "[1]#[0]" functor)]]]
- [macro
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]])
diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux
index b93e0bd64..9c8551195 100644
--- a/stdlib/source/library/lux/macro/syntax/definition.lux
+++ b/stdlib/source/library/lux/macro/syntax/definition.lux
@@ -1,6 +1,7 @@
(.require
[library
[lux (.except Definition)
+ ["[0]" macro]
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
@@ -15,11 +16,10 @@
["%" \\format]]
[collection
["[0]" list]]]
- ["[0]" macro (.only)
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
["[0]" meta (.only)
- ["[0]" location]]]]
+ ["[0]" location]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
["[0]" // (.only)
["[1][0]" check (.only Check)]])
diff --git a/stdlib/source/library/lux/macro/syntax/export.lux b/stdlib/source/library/lux/macro/syntax/export.lux
index e47b09750..81400ed1f 100644
--- a/stdlib/source/library/lux/macro/syntax/export.lux
+++ b/stdlib/source/library/lux/macro/syntax/export.lux
@@ -6,7 +6,8 @@
[control
["<>" parser]]
[macro
- ["^" pattern]
+ ["^" pattern]]
+ [meta
["[0]" code
["<[1]>" \\parser (.only Parser)]]]]])
diff --git a/stdlib/source/library/lux/macro/syntax/input.lux b/stdlib/source/library/lux/macro/syntax/input.lux
index 1354a9a54..4461c7df9 100644
--- a/stdlib/source/library/lux/macro/syntax/input.lux
+++ b/stdlib/source/library/lux/macro/syntax/input.lux
@@ -9,7 +9,7 @@
["[0]" product]
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
- [macro
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]])
diff --git a/stdlib/source/library/lux/macro/syntax/type/variable.lux b/stdlib/source/library/lux/macro/syntax/type/variable.lux
index 2658572e6..363f85fc0 100644
--- a/stdlib/source/library/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/library/lux/macro/syntax/type/variable.lux
@@ -5,7 +5,7 @@
[equivalence (.only Equivalence)]]
[data
["[0]" text]]
- [macro
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]])
diff --git a/stdlib/source/library/lux/macro/template.lux b/stdlib/source/library/lux/macro/template.lux
index 68a37a237..cc82b10f3 100644
--- a/stdlib/source/library/lux/macro/template.lux
+++ b/stdlib/source/library/lux/macro/template.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except let local symbol macro)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -21,12 +20,13 @@
["[0]" nat (.use "[1]#[0]" decimal)]
["[0]" int (.use "[1]#[0]" decimal)]
["[0]" rev (.use "[1]#[0]" decimal)]
- ["[0]" frac (.use "[1]#[0]" decimal)]]]]]
+ ["[0]" frac (.use "[1]#[0]" decimal)]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
["[0]" // (.only)
[syntax (.only syntax)]
- ["[0]" local]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]])
+ ["[0]" local]])
(def .public spliced
(syntax (_ [parts (<code>.tuple (<>.some <code>.any))])
diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux
index d5b8f2629..d2c69aede 100644
--- a/stdlib/source/library/lux/math.lux
+++ b/stdlib/source/library/lux/math.lux
@@ -17,7 +17,10 @@
["[0]" list (.use "[1]#[0]" mix)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
+ ["[0]" template]]
+ [meta
+ [type
+ ["[0]" check]]
["[0]" code
["<[1]>" \\parser]]]
[tool
@@ -28,10 +31,7 @@
["[0]" analysis (.only Analysis Operation Phase)
["[0]" type]]]]
[meta
- [archive (.only Archive)]]]]
- [meta
- [type
- ["[0]" check]]]]]
+ [archive (.only Archive)]]]]]]
[/
["[0]" random]
[number
diff --git a/stdlib/source/library/lux/math/infix.lux b/stdlib/source/library/lux/math/infix.lux
index 01930c466..ee319a0e7 100644
--- a/stdlib/source/library/lux/math/infix.lux
+++ b/stdlib/source/library/lux/math/infix.lux
@@ -10,13 +10,14 @@
[collection
["[0]" list (.use "[1]#[0]" mix)]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ [syntax (.only syntax)]]
[math
[number
["n" nat]
- ["i" int]]]]])
+ ["i" int]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(type Infix
(Rec Infix
diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux
index b2ae0a5b3..b6f9afdc7 100644
--- a/stdlib/source/library/lux/math/modular.lux
+++ b/stdlib/source/library/lux/math/modular.lux
@@ -15,15 +15,14 @@
["[0]" product]
["[0]" text (.use "[1]#[0]" monoid)
["<[1]>" \\parser (.only Parser)]]]
- [macro
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
[math
[number
["i" int (.use "[1]#[0]" decimal)]]]
[meta
[type
- [primitive (.except)]]]]]
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
["[0]" //
["[1]" modulus (.only Modulus)]])
diff --git a/stdlib/source/library/lux/math/modulus.lux b/stdlib/source/library/lux/math/modulus.lux
index 333946b3d..46eb4e45e 100644
--- a/stdlib/source/library/lux/math/modulus.lux
+++ b/stdlib/source/library/lux/math/modulus.lux
@@ -1,22 +1,21 @@
(.require
[library
[lux (.except)
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
["[0]" try (.only Try)]
["[0]" exception (.only exception)]]
[macro
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
["i" int]]]
- [meta
+ ["[0]" meta (.only)
[type
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(exception .public zero_cannot_be_a_modulus)
diff --git a/stdlib/source/library/lux/math/number/complex.lux b/stdlib/source/library/lux/math/number/complex.lux
index d22ce8ad2..5e8161de3 100644
--- a/stdlib/source/library/lux/math/number/complex.lux
+++ b/stdlib/source/library/lux/math/number/complex.lux
@@ -10,13 +10,14 @@
[collection
["[0]" list (.use "[1]#[0]" functor)]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
["f" frac]
- ["[0]" int]]]]])
+ ["[0]" int]]]
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser]]]]])
(type .public Complex
(Record
diff --git a/stdlib/source/library/lux/math/number/ratio.lux b/stdlib/source/library/lux/math/number/ratio.lux
index 6deac08f0..d9c927d35 100644
--- a/stdlib/source/library/lux/math/number/ratio.lux
+++ b/stdlib/source/library/lux/math/number/ratio.lux
@@ -16,7 +16,8 @@
["[0]" product]
["[0]" text (.use "[1]#[0]" monoid)]]
[macro
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]]]
[//
diff --git a/stdlib/source/library/lux/meta.lux b/stdlib/source/library/lux/meta.lux
index 64d84a933..10f0056d7 100644
--- a/stdlib/source/library/lux/meta.lux
+++ b/stdlib/source/library/lux/meta.lux
@@ -15,14 +15,14 @@
["[0]" list (.use "[1]#[0]" monoid monad)
["[0]" property]]]]
[macro
- ["^" pattern]
- ["[0]" code]]
+ ["^" pattern]]
[math
[number
["n" nat]
["i" int]]]
[meta
- ["[0]" symbol (.use "[1]#[0]" codec equivalence)]]]]
+ ["[0]" symbol (.use "[1]#[0]" codec equivalence)]
+ ["[0]" code]]]]
[/
["[0]" location]])
diff --git a/stdlib/source/library/lux/macro/code.lux b/stdlib/source/library/lux/meta/code.lux
index dc182b124..dc182b124 100644
--- a/stdlib/source/library/lux/macro/code.lux
+++ b/stdlib/source/library/lux/meta/code.lux
diff --git a/stdlib/source/library/lux/meta/configuration.lux b/stdlib/source/library/lux/meta/configuration.lux
index d1858ca56..3ed5e3e6c 100644
--- a/stdlib/source/library/lux/meta/configuration.lux
+++ b/stdlib/source/library/lux/meta/configuration.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except for)
- ["[0]" meta]
[abstract
[equivalence (.only Equivalence)]
[monoid (.only Monoid)]
@@ -18,11 +17,12 @@
["[0]" list (.use "[1]#[0]" functor mix)
["/" property]]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
- [number (.only hex)]]]])
+ [number (.only hex)]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(type .public Configuration
(/.List Text))
diff --git a/stdlib/source/library/lux/meta/type.lux b/stdlib/source/library/lux/meta/type.lux
index 00afaddc0..b2c4173a8 100644
--- a/stdlib/source/library/lux/meta/type.lux
+++ b/stdlib/source/library/lux/meta/type.lux
@@ -17,15 +17,15 @@
["[0]" list (.use "[1]#[0]" monad monoid mix)]]]
["[0]" macro (.only)
[syntax (.only syntax)]
- ["^" pattern]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["^" pattern]]
[math
[number
["n" nat (.use "[1]#[0]" decimal)]]]
["[0]" meta (.only)
["[0]" location]
- ["[0]" symbol (.use "[1]#[0]" equivalence codec)]]]])
+ ["[0]" symbol (.use "[1]#[0]" equivalence codec)]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]])
(with_template [<name> <tag>]
[(def .public (<name> type)
diff --git a/stdlib/source/library/lux/meta/type/dynamic.lux b/stdlib/source/library/lux/meta/type/dynamic.lux
index 86ccf5753..90c0b3837 100644
--- a/stdlib/source/library/lux/meta/type/dynamic.lux
+++ b/stdlib/source/library/lux/meta/type/dynamic.lux
@@ -9,7 +9,8 @@
[text
["%" \\format]]]
[macro (.only with_symbols)
- ["[0]" syntax (.only syntax)]
+ ["[0]" syntax (.only syntax)]]
+ [meta
["[0]" code
["<[1]>" \\parser]]]]]
["[0]" // (.only)
diff --git a/stdlib/source/library/lux/meta/type/implicit.lux b/stdlib/source/library/lux/meta/type/implicit.lux
index 977467202..bdea9933d 100644
--- a/stdlib/source/library/lux/meta/type/implicit.lux
+++ b/stdlib/source/library/lux/meta/type/implicit.lux
@@ -16,12 +16,13 @@
["[0]" list (.use "[1]#[0]" monad mix)]
["[0]" dictionary (.only Dictionary)]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ [syntax (.only syntax)]]
[math
["[0]" number (.only)
- ["n" nat]]]]]
+ ["n" nat]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
["[0]" // (.use "[1]#[0]" equivalence)
["/[1]" //]
["[0]" check (.only Check)]])
diff --git a/stdlib/source/library/lux/meta/type/poly.lux b/stdlib/source/library/lux/meta/type/poly.lux
index 95d9f8ea7..da8fc8a07 100644
--- a/stdlib/source/library/lux/meta/type/poly.lux
+++ b/stdlib/source/library/lux/meta/type/poly.lux
@@ -14,12 +14,13 @@
["[0]" dictionary]]]
[macro (.only with_symbols)
[syntax (.only syntax)]
- ["^" pattern]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]]
+ ["^" pattern]]
[math
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
["[0]" // (.only)
["<[1]>" \\parser (.only Env)]
["/[1]" //]])
diff --git a/stdlib/source/library/lux/meta/type/primitive.lux b/stdlib/source/library/lux/meta/type/primitive.lux
index 50c288e1c..e58f13f56 100644
--- a/stdlib/source/library/lux/meta/type/primitive.lux
+++ b/stdlib/source/library/lux/meta/type/primitive.lux
@@ -13,12 +13,12 @@
["[0]" macro (.only)
["^" pattern]
["[0]" context]
- ["[0]" code (.only)
- ["<[1]>" \\parser (.only Parser)]]
[syntax (.only syntax)
["|[0]|" export]]]
[meta
- ["[0]" symbol (.use "[1]#[0]" codec)]]]]
+ ["[0]" symbol (.use "[1]#[0]" codec)]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]]
["[0]" //])
(type .public Frame
@@ -86,12 +86,12 @@
abstraction_declaration (` ((~ (code.local name)) (~+ type_varsC)))
representation_declaration (` ((~ g!Representation) (~+ type_varsC)))]]
(..declaration [name type_varsC abstraction_declaration representation_declaration]
- (` (.these (type (~ export_policy) (~ abstraction_declaration)
- (Primitive (~ (code.text (symbol#encoded [current_module name])))
- [(~+ type_varsC)]))
- (type (~ representation_declaration)
- (~ representation_type))
- (~+ primitives)))))))
+ (` (.these (type (~ export_policy) (~ abstraction_declaration)
+ (Primitive (~ (code.text (symbol#encoded [current_module name])))
+ [(~+ type_varsC)]))
+ (type (~ representation_declaration)
+ (~ representation_type))
+ (~+ primitives)))))))
(def selection
(Parser [(List Code) Code])
diff --git a/stdlib/source/library/lux/meta/type/quotient.lux b/stdlib/source/library/lux/meta/type/quotient.lux
index 72088cd46..6f9c48586 100644
--- a/stdlib/source/library/lux/meta/type/quotient.lux
+++ b/stdlib/source/library/lux/meta/type/quotient.lux
@@ -4,7 +4,8 @@
[abstract
[equivalence (only Equivalence)]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code
["<[1]>" \\parser]]]]]
["[0]" // (.only)
diff --git a/stdlib/source/library/lux/meta/type/refinement.lux b/stdlib/source/library/lux/meta/type/refinement.lux
index 24e0aa2e2..45c6d01e6 100644
--- a/stdlib/source/library/lux/meta/type/refinement.lux
+++ b/stdlib/source/library/lux/meta/type/refinement.lux
@@ -5,7 +5,8 @@
[function
[predicate (.only Predicate)]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code
["<[1]>" \\parser]]]]]
["[0]" // (.only)
diff --git a/stdlib/source/library/lux/meta/type/resource.lux b/stdlib/source/library/lux/meta/type/resource.lux
index bd9e71c08..44e9cf7a7 100644
--- a/stdlib/source/library/lux/meta/type/resource.lux
+++ b/stdlib/source/library/lux/meta/type/resource.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["[0]" meta]
[abstract
["[0]" monad (.only Monad do)
[indexed (.only IxMonad)]]]
@@ -17,12 +16,13 @@
["[0]" sequence (.only Sequence)]
["[0]" list (.use "[1]#[0]" functor mix)]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
+ [syntax (.only syntax)]]
[math
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ ["[0]" meta (.only)
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]]]]
[//
[primitive (.except)]])
diff --git a/stdlib/source/library/lux/meta/type/unit.lux b/stdlib/source/library/lux/meta/type/unit.lux
index 994e7ad11..a3fca0079 100644
--- a/stdlib/source/library/lux/meta/type/unit.lux
+++ b/stdlib/source/library/lux/meta/type/unit.lux
@@ -6,12 +6,13 @@
[order (.only Order)]
[enum (.only Enum)]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
- ["i" int]]]]]
+ ["i" int]]]
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser]]]]]
["[0]" // (.only)
[primitive (.except)]])
diff --git a/stdlib/source/library/lux/meta/type/unit/scale.lux b/stdlib/source/library/lux/meta/type/unit/scale.lux
index b7f598d13..f8ea57031 100644
--- a/stdlib/source/library/lux/meta/type/unit/scale.lux
+++ b/stdlib/source/library/lux/meta/type/unit/scale.lux
@@ -1,15 +1,15 @@
(.require
[library
[lux (.except type)
- [control]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
["i" int]
- ["[0]" ratio (.only Ratio)]]]]]
+ ["[0]" ratio (.only Ratio)]]]
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser]]]]]
["[0]" // (.only)
["/[1]" //]])
diff --git a/stdlib/source/library/lux/meta/version.lux b/stdlib/source/library/lux/meta/version.lux
index f7df8ac2f..7c3eaf426 100644
--- a/stdlib/source/library/lux/meta/version.lux
+++ b/stdlib/source/library/lux/meta/version.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except for)
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -12,7 +11,8 @@
[collection
["[0]" list (.use "[1]#[0]" mix)]]]
[macro
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ ["[0]" meta (.only)
["[0]" code (.only)
["<[1]>" \\parser]]]
[tool
diff --git a/stdlib/source/library/lux/program.lux b/stdlib/source/library/lux/program.lux
index 81b455cb1..c02d60c69 100644
--- a/stdlib/source/library/lux/program.lux
+++ b/stdlib/source/library/lux/program.lux
@@ -10,7 +10,8 @@
[concurrency
["[0]" thread]]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser]]]]]
["</>" \\parser])
diff --git a/stdlib/source/library/lux/static.lux b/stdlib/source/library/lux/static.lux
index a473f8288..5f4560e52 100644
--- a/stdlib/source/library/lux/static.lux
+++ b/stdlib/source/library/lux/static.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except nat int rev if cond)
- ["[0]" meta (.use "[1]#[0]" functor)]
[abstract
[monad (.only do)]]
[control
@@ -10,12 +9,13 @@
[collection
["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)]
- ["[0]" random (.only Random)]]]])
+ ["[0]" random (.only Random)]]
+ ["[0]" meta (.use "[1]#[0]" functor)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(with_template [<name> <type> <format>]
[(def .public <name>
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index 5d407ac59..267705aa7 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -29,9 +29,9 @@
["i" int]
["[0]" i32 (.only I32)]]]]]
["[0]" /
+ ["_" instruction (.only Primitive_Array_Type Instruction Estimator) (.use "[1]#[0]" monoid)]
["[1][0]" address (.only Address)]
["[1][0]" jump (.only Jump Big_Jump)]
- ["_" instruction (.only Primitive_Array_Type Instruction Estimator) (.use "[1]#[0]" monoid)]
["[1][0]" environment (.only Environment)
[limit
["/[0]" registry (.only Register Registry)]
diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux
index 9d135aa55..b12b167cc 100644
--- a/stdlib/source/library/lux/target/jvm/modifier.lux
+++ b/stdlib/source/library/lux/target/jvm/modifier.lux
@@ -11,15 +11,15 @@
["[0]" binary
["[1]F" \\format (.only Format)]]]
[macro (.only with_symbols)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" number (.only hex)
["[0]" i64]]]
[meta
[type
- [primitive (.except)]]]]]
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
["[0]" //
[encoding
["[1][0]" unsigned]]])
diff --git a/stdlib/source/library/lux/target/jvm/type/alias.lux b/stdlib/source/library/lux/target/jvm/type/alias.lux
index a7cb3625b..8d9ddc7f4 100644
--- a/stdlib/source/library/lux/target/jvm/type/alias.lux
+++ b/stdlib/source/library/lux/target/jvm/type/alias.lux
@@ -4,9 +4,9 @@
[abstract
["[0]" monad (.only do)]]
[control
+ ["<>" parser (.only)]
["[0]" maybe]
- ["[0]" try]
- ["<>" parser (.only)]]
+ ["[0]" try]]
[data
["[0]" text (.only)
["%" \\format (.only format)]
@@ -18,10 +18,7 @@
["[1][0]" descriptor]
["[1][0]" signature (.only Signature)]
["[1][0]" reflection]
- ["[1][0]" parser]
- ["/[1]" //
- [encoding
- ["[1][0]" name]]]])
+ ["[1][0]" parser]])
(type .public Aliasing
(Dictionary Text Text))
diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux
index 8f8a3ed42..440c3f4ce 100644
--- a/stdlib/source/library/lux/target/lua.lux
+++ b/stdlib/source/library/lux/target/lua.lux
@@ -15,9 +15,7 @@
["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
[number
["n" nat]
@@ -25,7 +23,9 @@
["f" frac]]]
[meta
[type
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
... Added the carriage return for better Windows compatibility.
(def \n+
diff --git a/stdlib/source/library/lux/target/php.lux b/stdlib/source/library/lux/target/php.lux
index 2e11466f9..747a55abf 100644
--- a/stdlib/source/library/lux/target/php.lux
+++ b/stdlib/source/library/lux/target/php.lux
@@ -15,16 +15,16 @@
["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
[number
["n" nat]
["f" frac]]]
[meta
[type
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(def input_separator ", ")
(def statement_suffix ";")
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 3237a638c..a297ad529 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -16,16 +16,16 @@
["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
[number
["n" nat]
["f" frac]]]
[meta
[type
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(.def input_separator
", ")
diff --git a/stdlib/source/library/lux/target/r.lux b/stdlib/source/library/lux/target/r.lux
index 4c6d87403..574dcb4bf 100644
--- a/stdlib/source/library/lux/target/r.lux
+++ b/stdlib/source/library/lux/target/r.lux
@@ -12,15 +12,15 @@
["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
[number
["f" frac]]]
[meta
[type
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(primitive .public (Code kind)
Text
diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux
index b2dee4ea6..aa92ae9b3 100644
--- a/stdlib/source/library/lux/target/ruby.lux
+++ b/stdlib/source/library/lux/target/ruby.lux
@@ -15,16 +15,16 @@
["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
[number
["n" nat]
["f" frac]]]
[meta
[type
- [primitive (.except)]]]]])
+ [primitive (.except)]]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]])
(def input_separator ", ")
(def statement_suffix ";")
diff --git a/stdlib/source/library/lux/test.lux b/stdlib/source/library/lux/test.lux
index 5f086c633..69db97f42 100644
--- a/stdlib/source/library/lux/test.lux
+++ b/stdlib/source/library/lux/test.lux
@@ -33,11 +33,11 @@
["n" nat]
["f" frac]]]
[macro
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ ["[0]" meta (.only)
+ ["[0]" symbol]
["[0]" code (.only)
["<[1]>" \\parser]]]
- ["[0]" meta (.only)
- ["[0]" symbol]]
[world
["[0]" environment]
["[0]" console]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
index c3ccd43e9..2d149643e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
@@ -18,9 +18,7 @@
[collection
["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
["n" nat]
@@ -29,7 +27,9 @@
["f" frac]]]
[meta
["[0]" location]
- ["[0]" configuration (.only Configuration)]]]]
+ ["[0]" configuration (.only Configuration)]
+ ["[0]" code
+ ["<[1]>" \\parser]]]]]
["[0]" /
["[1][0]" simple (.only Simple)]
["[1][0]" complex (.only Tuple Variant Complex)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
index 804b99019..adabb8621 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -11,12 +11,12 @@
[collection
["[0]" list]]]
[macro
- ["^" pattern]
- ["[0]" code]]
+ ["^" pattern]]
[math
[number
["n" nat]]]
["[0]" meta (.only)
+ ["[0]" code]
["[0]" location]]]]
["[0]" /
["[1][0]" simple]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 6f3c13d65..db181d050 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -17,9 +17,9 @@
[number
["n" nat]]]
[macro
- ["^" pattern]
- ["[0]" code]]
+ ["^" pattern]]
["[0]" meta (.only)
+ ["[0]" code]
["[0]" type (.only)
["[0]" check (.only Check)]]]]]
["[0]" /
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index c355ad0d1..4328de2b2 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -15,13 +15,12 @@
[collection
["[0]" list (.use "[1]#[0]" monad)]
["[0]" dictionary (.only Dictionary)]]]
- [macro
- ["[0]" code]]
[math
[number
["n" nat]]]
["[0]" meta (.only)
["[0]" symbol]
+ ["[0]" code]
["[0]" type (.only)
["[0]" check]]]]]
["[0]" //
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
index 580faf086..028f9ea0e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
@@ -11,12 +11,11 @@
["[0]" array]
["[0]" dictionary]
["[0]" list]]]
- [macro
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
[meta
["[0]" type (.only)
- ["[0]" check]]]
+ ["[0]" check]]
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]]
["@" target (.only)
["_" js]]]]
[//
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index cad6fe27b..42e4d3e3c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -26,13 +26,16 @@
["[0]" sequence]]]
[macro
["^" pattern]
- ["[0]" template]
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
[math
[number
["n" nat]
["[0]" i32]]]
+ ["[0]" meta (.only)
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
+ ["[0]" type (.only)
+ ["[0]" check (.only Check) (.use "[1]#[0]" monad)]]]
[target
["[0]" jvm
["[0]!" reflection]
@@ -55,10 +58,7 @@
["[0]" signature]
["[0]" parser]
["[0]" alias (.only Aliasing)]
- ["[0]T" lux (.only Mapping)]]]]
- ["[0]" meta (.only)
- ["[0]" type (.only)
- ["[0]" check (.only Check) (.use "[1]#[0]" monad)]]]]]
+ ["[0]T" lux (.only Mapping)]]]]]]
["[0]" //
["[1][0]" lux (.only custom)]
["/[1]" // (.only)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
index d62efd51f..914d3de39 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
@@ -11,10 +11,9 @@
["[0]" array]
["[0]" dictionary]
["[0]" list]]]
- [macro
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
[meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
["[0]" type (.only)
["[0]" check]]]
["@" target (.only)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index 37ba8abe9..a9932f619 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -15,13 +15,13 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" dictionary (.only Dictionary)]]]
[macro
- ["^" pattern]
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
+ ["^" pattern]]
[math
[number
["n" nat]]]
[meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
[type
["[0]" check]]]
["[0]" meta]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
index 3417bf78a..972bd8b90 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
@@ -11,10 +11,9 @@
["[0]" array (.only Array)]
["[0]" dictionary]
["[0]" list]]]
- [macro
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
[meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
["[0]" type (.only)
["[0]" check]]]
["@" target (.only)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
index 0712fe644..29b8d1015 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
@@ -11,10 +11,9 @@
["[0]" array]
["[0]" dictionary]
["[0]" list]]]
- [macro
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
[meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
["[0]" type (.only)
["[0]" check]]]
["@" target (.only)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
index 67f44e35a..a1e27d28e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
@@ -11,10 +11,9 @@
["[0]" array (.only Array)]
["[0]" dictionary]
["[0]" list]]]
- [macro
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
[meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
["[0]" type (.only)
["[0]" check]]]
["@" target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
index 965f580b1..0bd416eed 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
@@ -11,10 +11,9 @@
["[0]" array]
["[0]" dictionary]
["[0]" list]]]
- [macro
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
[meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
["[0]" type (.only)
["[0]" check]]]
["@" target (.only)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
index 5768379ce..0ea42268f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
@@ -11,10 +11,9 @@
["[0]" array (.only Array)]
["[0]" dictionary]
["[0]" list]]]
- [macro
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
[meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]
["[0]" type (.only)
["[0]" check]]]
["@" target (.only)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/jvm.lux
index f43c26adf..556a622be 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/jvm.lux
@@ -23,13 +23,14 @@
["[0]" set (.only Set)]]]
[macro
["^" pattern]
- ["[0]" template]
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
+ ["[0]" template]]
[math
[number
["n" nat]
["[0]" i32]]]
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]]
[target
[jvm
["_" bytecode (.only Bytecode) (.use "[1]#[0]" monad)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/lux.lux
index d2d4592e6..8b50853ac 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/declaration/lux.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["@" target]
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -22,12 +21,13 @@
["[0]" list (.use "[1]#[0]" functor mix)]
["[0]" set (.only Set)]]]
[macro
- ["^" pattern]
- ["[0]" code
- ["<[1]>" \\parser (.only Parser)]]]
+ ["^" pattern]]
[math
[number
["n" nat]]]
+ ["[0]" meta (.only)
+ ["[0]" code
+ ["<[1]>" \\parser (.only Parser)]]]
["[0]" type (.only sharing) (.use "[1]#[0]" equivalence)
["[0]" check]]]]
["[0]" /// (.only Extender)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
index 42c75531d..5667e47db 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except Location)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -16,12 +15,13 @@
["[0]" list (.use "[1]#[0]" functor monoid)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["[0]" i64]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["@" target
["_" common_lisp (.only Expression Computation Literal)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
index 501587da2..0f8d68aea 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
@@ -6,9 +6,9 @@
[data
[collection
["[0]" list (.use "[1]#[0]" functor)]]]
- ["[0]" meta]
["[0]" macro (.only with_symbols)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ ["[0]" meta (.only)
["[0]" code (.only)
["<[1]>" \\parser]]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
index 3eaadc3f5..cc2e746e4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except i64 left right)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -17,12 +16,13 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["[0]" i64]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[target
["_" js (.only Expression Var Computation Statement)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
index 16a7e67a3..08a3c9df8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
@@ -7,9 +7,9 @@
["[0]" sequence]]]
[target
[jvm
+ ["_" bytecode (.only Bytecode)]
["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
["[0]" field (.only Field)]
- ["_" bytecode (.only Bytecode)]
[type (.only Type)
[category (.only Value Class)]]
[constant
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
index 95b3fb619..4f0e6c222 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
@@ -11,8 +11,8 @@
["n" nat]]]
[target
[jvm
- ["[0]" field (.only Field)]
["_" bytecode (.only Bytecode) (.use "[1]#[0]" monad)]
+ ["[0]" field (.only Field)]
[type (.only Type)
[category (.only Class)]]
[constant
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
index 86965220b..438f9f68d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
@@ -9,9 +9,9 @@
["n" nat]]]
[target
[jvm
+ ["_" bytecode (.only Label Bytecode)]
["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
["[0]" method (.only Method)]
- ["_" bytecode (.only Label Bytecode)]
[constant
[pool (.only Resource)]]
["[0]" type (.only Type)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
index 1daa92777..f61d67d93 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
@@ -11,9 +11,9 @@
["n" nat]]]
[target
[jvm
+ ["_" bytecode (.only Bytecode)]
["[0]" field (.only Field)]
["[0]" method (.only Method)]
- ["_" bytecode (.only Bytecode)]
["[0]" constant (.only)
[pool (.only Resource)]]
[type (.only Type)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
index faff66f47..f38edc961 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
@@ -6,8 +6,8 @@
["[0]" list (.use "[1]#[0]" functor)]]]
[target
[jvm
- ["[0]" method (.only Method)]
["_" bytecode (.only Bytecode)]
+ ["[0]" method (.only Method)]
[constant
[pool (.only Resource)]]
["[0]" type (.only Type)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index c8d769e87..493b47a6e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -12,9 +12,9 @@
[concurrency
["[0]" atom (.only Atom atom)]]]
[data
+ ["[0]" product]
[binary (.only Binary)
["[0]" \\format]]
- ["[0]" product]
["[0]" text (.use "[1]#[0]" hash)
["%" \\format (.only format)]]
[collection
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index f7fb63f10..1c22af9cc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except Label Location left right)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -17,12 +16,13 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["[0]" i64]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["@" target (.only)
["_" lua (.only Expression Location Var Computation Literal Label Statement)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
index 1254f50bc..fa45c35b0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except Location)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -17,12 +16,13 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["[0]" i64]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["@" target (.only)
["_" php (.only Expression Label Constant Var Computation Literal Statement)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index dfef07d7c..93f0477c7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -16,15 +16,15 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["f" frac]
["[0]" i64]]]
["[0]" meta (.only)
- ["[0]" version]]
+ ["[0]" version]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["@" target (.only)
["_" python (.only Expression SVar Computation Literal Statement)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
index 089bdf2b9..b0d02c095 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except Location ++ i64)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -17,14 +16,15 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["n" nat]
["i" int (.use "[1]#[0]" interval)]
["[0]" i64]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["@" target (.only)
["_" r (.only SVar Expression)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
index 74261ccc3..a3d1fe4ab 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except i64 left right)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -17,13 +16,14 @@
["[0]" list (.use "[1]#[0]" functor mix)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["[0]" i64]
["[0]" int (.use "[1]#[0]" interval)]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["@" target (.only)
["_" ruby (.only Expression LVar Computation Literal Statement)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
index a99e83f84..cbf99339c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
@@ -12,7 +12,8 @@
["[0]" list (.use "[1]#[0]" functor)]
["dict" dictionary (.only Dictionary)]]]
["[0]" macro (.only with_symbols)
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser]]]
[target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
index 0b287568a..215e6af9a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except Location)
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -17,12 +16,13 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)
["[0]" i64]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["@" target (.only)
["_" scheme (.only Expression Computation Var)]]]]
["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index 7b31c9a0a..a3872dfa5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -43,11 +43,11 @@
["[0]" dictionary (.only Dictionary)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
+ ["[0]" template]]
+ [meta
+ ["[0]" symbol]
["[0]" code
["<[1]>" \\parser]]]
- [meta
- ["[0]" symbol]]
[math
[number
["n" nat]
diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux
index 52812a399..3cc84fdcf 100644
--- a/stdlib/source/library/lux/world/net/http/client.lux
+++ b/stdlib/source/library/lux/world/net/http/client.lux
@@ -19,13 +19,14 @@
["[0]" dictionary]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
[number
["n" nat]
- ["i" int]]]]]
+ ["i" int]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
["[0]" // (.only)
[// (.only URL)]])
diff --git a/stdlib/source/parser/lux/data/format/json.lux b/stdlib/source/parser/lux/data/format/json.lux
index c78f8132c..ddb73da8f 100644
--- a/stdlib/source/parser/lux/data/format/json.lux
+++ b/stdlib/source/parser/lux/data/format/json.lux
@@ -14,11 +14,11 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]
["[0]" dictionary (.only Dictionary)]]]
- [macro
- ["[0]" code]]
[math
[number
- ["[0]" frac]]]]]
+ ["[0]" frac]]]
+ [meta
+ ["[0]" code]]]]
[\\library
["[0]" / (.only JSON)]])
diff --git a/stdlib/source/parser/lux/data/text.lux b/stdlib/source/parser/lux/data/text.lux
index 3cd4076f5..a85ef474a 100644
--- a/stdlib/source/parser/lux/data/text.lux
+++ b/stdlib/source/parser/lux/data/text.lux
@@ -15,11 +15,12 @@
["[0]" list (.use "[1]#[0]" mix)]]]
[macro
["^" pattern]
- ["[0]" code]
["[0]" template]]
[math
[number
- ["n" nat (.use "[1]#[0]" decimal)]]]]])
+ ["n" nat (.use "[1]#[0]" decimal)]]]
+ [meta
+ ["[0]" code]]]])
(type .public Offset
Nat)
diff --git a/stdlib/source/parser/lux/macro/code.lux b/stdlib/source/parser/lux/meta/code.lux
index 85490e2d0..844c0e1c2 100644
--- a/stdlib/source/parser/lux/macro/code.lux
+++ b/stdlib/source/parser/lux/meta/code.lux
@@ -11,8 +11,6 @@
["[0]" text (.use "[1]#[0]" monoid)]
[collection
["[0]" list (.use "[1]#[0]" functor)]]]
- [macro
- ["[0]" code (.use "[1]#[0]" equivalence)]]
[math
[number
["[0]" nat]
@@ -20,7 +18,8 @@
["[0]" rev]
["[0]" frac]]]
[meta
- ["[0]" symbol]]]])
+ ["[0]" symbol]
+ ["[0]" code (.use "[1]#[0]" equivalence)]]]])
(def (un_paired pairs)
(All (_ a) (-> (List [a a]) (List a)))
diff --git a/stdlib/source/parser/lux/meta/type.lux b/stdlib/source/parser/lux/meta/type.lux
index 7c7090474..46f89fec7 100644
--- a/stdlib/source/parser/lux/meta/type.lux
+++ b/stdlib/source/parser/lux/meta/type.lux
@@ -15,11 +15,12 @@
["[0]" list (.use "[1]#[0]" functor)]
["[0]" dictionary (.only Dictionary)]]]
[macro
- ["^" pattern]
- ["[0]" code]]
+ ["^" pattern]]
[math
[number
- ["n" nat (.use "[1]#[0]" decimal)]]]]]
+ ["n" nat (.use "[1]#[0]" decimal)]]]
+ [meta
+ ["[0]" code]]]]
[\\library
["[0]" / (.use "[1]#[0]" equivalence)
["[0]" check]]])
diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux
index 983beea4d..0c83b9ab5 100644
--- a/stdlib/source/polytypic/lux/abstract/equivalence.lux
+++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux
@@ -19,8 +19,6 @@
["[0]" set]
["[0]" dictionary (.only Dictionary)]
["[0]" tree]]]
- [macro
- ["[0]" code]]
[math
[number
["[0]" nat (.use "[1]#[0]" decimal)]
@@ -34,6 +32,7 @@
["[0]" day]
["[0]" month]]
[meta
+ ["[0]" code]
["[0]" type (.only)
["<[1]>" \\parser]
["[0]" poly (.only polytypic)]
diff --git a/stdlib/source/polytypic/lux/abstract/functor.lux b/stdlib/source/polytypic/lux/abstract/functor.lux
index e10853519..db17e49ac 100644
--- a/stdlib/source/polytypic/lux/abstract/functor.lux
+++ b/stdlib/source/polytypic/lux/abstract/functor.lux
@@ -11,12 +11,11 @@
["%" \\format (.only format)]]
[collection
["[0]" list (.use "[1]#[0]" monad monoid)]]]
- [macro
- ["[0]" code]]
[math
[number
["n" nat]]]
[meta
+ ["[0]" code]
["[0]" type (.only)
["<[1]>" \\parser]
["[0]" poly (.only polytypic)]]]]]
diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux
index 229abb9c9..a8eee64d0 100644
--- a/stdlib/source/polytypic/lux/data/format/json.lux
+++ b/stdlib/source/polytypic/lux/data/format/json.lux
@@ -18,9 +18,7 @@
["[0]" sequence (.only sequence)]
["[0]" dictionary]]]
[macro
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number
["n" nat (.use "[1]#[0]" decimal)]
@@ -34,6 +32,8 @@
["[0]" day]
["[0]" month]]
[meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]
["[0]" type (.only)
["<[1]>" \\parser]
["[0]" unit]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 6fbeb5b07..d6032bc33 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -7,9 +7,9 @@
[control
["<>" parser]]
[data
+ ["[0]" product]
["[0]" text
["<[1]>" \\parser]]
- ["[0]" product]
[format
["[0]" xml (.only XML)
["<[1]>" \\parser (.only Parser)]]]]]]
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index 918c051b1..fc477f0a1 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -14,11 +14,10 @@
["[0]" utf8]]]
[collection
["[0]" list]]]
- [macro
+ [meta
+ ["[0]" location]
["[0]" code (.only)
["<[1]>" \\parser]]]
- [meta
- ["[0]" location]]
[tool
[compiler
[language
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index a8840bab7..3ddc320b2 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -5,9 +5,9 @@
[monad (.only do)]
[equivalence (.only Equivalence)]]
[control
+ ["<>" parser]
["[0]" pipe]
["[0]" try (.only Try)]
- ["<>" parser]
[concurrency
["[0]" async (.only Async)]]]
[data
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 5255067fd..cad4c3f40 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -13,7 +13,7 @@
["[0]" dictionary (.only Dictionary)]
[list
["[0]" property]]]]
- [macro
+ [meta
["[0]" code (.only)
["<[1]>" \\parser (.only Parser)]]]
[tool
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 018683d99..abeed68de 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -9,7 +9,7 @@
["[0]" try]]
[math
["r" random (.only Random)]]
- [macro
+ [meta
["[0]" code]]
[tool
[compiler
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index efdbd3ad2..ba552577b 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -1,6 +1,7 @@
(.require
[lux (.except)
["_" test (.only Test)]
+ ["[0]" ffi (.only import)]
[abstract
[monad (.only do)]]
[control
@@ -18,7 +19,6 @@
["[0]" list (.use "[1]#[0]" functor)]]]
[math
["r" random]]
- ["[0]" ffi (.only import)]
[tool
[compiler
["[0]" analysis]
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 2ef81472a..c81dffa89 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -11,12 +11,12 @@
[data
["[0]" text
["<[1]>" \\parser]]]
- [time
- ["[0]" instant (.use "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
- ["i" int]]]]]
+ ["i" int]]]
+ [time
+ ["[0]" instant (.use "[1]#[0]" equivalence)]]]]
[\\program
["[0]" /]]
["[0]" /
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 5e0a5b41c..17770c575 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -20,12 +20,12 @@
["<[1]>" \\parser]]]
[collection
["[0]" list]]]
- [macro
- ["[0]" code]]
[math
["[0]" random (.only Random)]
[number
["n" nat]]]
+ [meta
+ ["[0]" code]]
["[0]" time (.only)
["[0]" date]
["[0]" year]
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 9d88a0617..46e368dbf 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -20,12 +20,12 @@
["<[1]>" \\parser]]]
[collection
["[0]" list]]]
- [macro
- ["[0]" code]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]]]
+ [meta
+ ["[0]" code]]
["[0]" time (.only)
["[0]" date]
["[0]" year]
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index cd49c6417..01daa640e 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -18,7 +18,7 @@
["[0]" random (.only Random)]
[number
["n" nat]]]
- [macro
+ [meta
["[0]" code (.only)
["<[1]>" \\parser]]]]]
[//
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 04f893c8f..a7cb9cfa9 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -24,9 +24,7 @@
["[0]" macro (.only)
[syntax (.only syntax)]
["^" pattern]
- ["[0]" template]
- ["[0]" code (.use "[1]#[0]" equivalence)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
["[0]" math
["[0]" random (.use "[1]#[0]" functor)]
[number
@@ -38,7 +36,9 @@
["f" frac]
["[0]" i64]]]
["[0]" meta (.use "[1]#[0]" monad)
- ["[0]" location (.use "[1]#[0]" equivalence)]]]]
+ ["[0]" location (.use "[1]#[0]" equivalence)]
+ ["[0]" code (.use "[1]#[0]" equivalence)
+ ["<[1]>" \\parser]]]]]
... TODO: Must have 100% coverage on tests.
["[0]" /
["[1][0]" abstract]
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux
index aa083b543..738a8b739 100644
--- a/stdlib/source/test/lux/control/parser.lux
+++ b/stdlib/source/test/lux/control/parser.lux
@@ -21,7 +21,8 @@
[number
["n" nat]]]
[macro
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ [meta
["[0]" code (.only)
["<[1]>" \\parser]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index 44216d17d..8d6c21767 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/control/remember.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
[abstract
["[0]" monad (.only do)]]
[control
@@ -16,14 +15,15 @@
[math
[number (.only hex)]
["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+ ["[0]" macro (.only)
+ ["[0]" syntax (.only syntax)]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[time
["[0]" date (.only Date)]
["[0]" instant]
- ["[0]" duration]]
- ["[0]" macro (.only)
- ["[0]" syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]]]
+ ["[0]" duration]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 5bd685351..4fde0e1f9 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -32,8 +32,7 @@
[array
[\\unsafe (.only)]]]]
[macro
- ["^" pattern]
- ["[0]" code]]
+ ["^" pattern]]
[math
["[0]" random (.only Random)]
[number
@@ -43,6 +42,7 @@
["[0]" rev]
["[0]" frac]]]
[meta
+ ["[0]" code]
["[0]" symbol]
["[0]" type]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 75d616037..7177b268d 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -29,8 +29,7 @@
["[0]" list (.use "[1]#[0]" functor)]]]
["[0]" macro (.only)
["^" pattern]
- ["[0]" syntax (.only syntax)]
- ["[0]" code]]
+ ["[0]" syntax (.only syntax)]]
[math
["[0]" random (.only Random)]
[number
@@ -43,6 +42,7 @@
["[0]" duration
["[0]/[1]" \\test]]]
["[0]" meta (.only)
+ ["[0]" code]
[type
["[0]" unit]]]]]
["[0]" \\polytypic]
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index ca4866bc4..04c67ac15 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -34,9 +34,7 @@
["[1]" set]
["[1]/[0]" block]]]]
[macro
- ["^" pattern]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["^" pattern]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
["[0]" modulus]
@@ -50,7 +48,9 @@
[meta
["[0]" location]
["[0]" symbol]
- ["[0]" type]]
+ ["[0]" type]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
["[0]" time (.only)
["[0]" day]
["[0]" month]
@@ -62,9 +62,8 @@
["[1][0]" xml]
["[1][0]" json]]
[//
- [macro
- ["[1][0]" code]]
[meta
+ ["[1][0]" code]
["[1][0]" symbol]
["[1][0]" type]]]]
["[0]" /
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 86e2a645a..94808d95b 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -3,7 +3,6 @@
[lux (.except)
["_" test (.only Test)]
["[0]" debug]
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -17,13 +16,14 @@
["[0]" set (.only Set)]]]
[macro
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
["[0]" random (.only Random)]
[number (.only hex)
- ["n" nat]]]]]
+ ["n" nat]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" / (.only)
[//
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 5988210cd..4d480632b 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -12,12 +12,13 @@
["%" \\format (.only format)]
["<[1]>" \\parser (.only Parser)]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
[number (.only hex)]
- ["[0]" random]]]]
+ ["[0]" random]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index d85343bc9..245f5bdba 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -17,13 +17,14 @@
[json (.only JSON)]
[xml (.only XML)]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random (.only Random)]
[number
[ratio (.only Ratio)]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[time (.only Time)
[instant (.only Instant)]
[date (.only Date)]
@@ -37,12 +38,11 @@
[format
["[1][0]" json]
["[1][0]" xml]]]
- [macro
- ["[1][0]" code]]
[math
[number
["[1][0]" ratio]]]
[meta
+ ["[1][0]" code]
["[1][0]" location]
["[1][0]" symbol]
["[1][0]" type]]])
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index 8054dbbcc..bac10e185 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
[control
["[0]" try]
["[0]" exception]]
@@ -13,7 +12,8 @@
["md" markdown]]]
["[0]" macro (.only)
[syntax (.only syntax)]
- ["[0]" template]
+ ["[0]" template]]
+ ["[0]" meta (.only)
["[0]" code (.only)
["<[1]>" \\parser]]]]]
[\\library
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index 4ee1757d0..27a8a4cc8 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -31,13 +31,14 @@
["[0]" sequence]
["[0]" list (.use "[1]#[0]" functor)]]]
[macro
- ["[0]" template]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
["[0]" random]
[number
["n" nat]]]
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser]]]
[tool
[compiler
["[0]" phase]
@@ -135,48 +136,48 @@
... Declaration
(declaration (..my_declaration self phase archive [expression <code>.any])
- (do [! phase.monad]
- [analysis_phase declaration.analysis
- expressionA (<| declaration.lifted_analysis
- (type.expecting .Any)
- (analysis_phase archive expression))
-
- synthesis_phase declaration.synthesis
- expressionS (declaration.lifted_synthesis
- (synthesis_phase archive expressionA))
-
- generation_phase declaration.generation
- expressionG (declaration.lifted_generation
- (generation_phase archive expressionS))
-
- _ (declaration.lifted_generation
- (generation.with_new_context archive unit.none
- (do !
- [[module_id artifact_id] (generation.context archive)
- .let [commentary (format "Successfully installed declaration " (%.text self) "!")]
- _ (generation.save! artifact_id {.#None}
- (for @.jvm (let [$class (jvm/runtime.class_name [module_id artifact_id])]
- (<| [$class]
- (try.else (binary.empty 0))
- (try#each (binaryF.result class.format))
- (class.class version.v6_0 class.public
- (name.internal $class)
- {.#None}
- (name.internal "java.lang.Object")
- (list)
- (list)
- (list)
- sequence.empty)))
- @.js (js.comment commentary
- (js.statement (js.string commentary)))
- @.python (python.comment commentary
- (python.statement (python.string commentary)))
- @.lua (lua.comment commentary
- (lua.statement expressionG))
- @.ruby (ruby.comment commentary
- (ruby.statement (ruby.string commentary)))))]
- (generation.log! commentary))))]
- (in declaration.no_requirements)))
+ (do [! phase.monad]
+ [analysis_phase declaration.analysis
+ expressionA (<| declaration.lifted_analysis
+ (type.expecting .Any)
+ (analysis_phase archive expression))
+
+ synthesis_phase declaration.synthesis
+ expressionS (declaration.lifted_synthesis
+ (synthesis_phase archive expressionA))
+
+ generation_phase declaration.generation
+ expressionG (declaration.lifted_generation
+ (generation_phase archive expressionS))
+
+ _ (declaration.lifted_generation
+ (generation.with_new_context archive unit.none
+ (do !
+ [[module_id artifact_id] (generation.context archive)
+ .let [commentary (format "Successfully installed declaration " (%.text self) "!")]
+ _ (generation.save! artifact_id {.#None}
+ (for @.jvm (let [$class (jvm/runtime.class_name [module_id artifact_id])]
+ (<| [$class]
+ (try.else (binary.empty 0))
+ (try#each (binaryF.result class.format))
+ (class.class version.v6_0 class.public
+ (name.internal $class)
+ {.#None}
+ (name.internal "java.lang.Object")
+ (list)
+ (list)
+ (list)
+ sequence.empty)))
+ @.js (js.comment commentary
+ (js.statement (js.string commentary)))
+ @.python (python.comment commentary
+ (python.statement (python.string commentary)))
+ @.lua (lua.comment commentary
+ (lua.statement expressionG))
+ @.ruby (ruby.comment commentary
+ (ruby.statement (ruby.string commentary)))))]
+ (generation.log! commentary))))]
+ (in declaration.no_requirements)))
(`` ((~~ (static ..my_declaration)) (n.* 2 3)))
))
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index 13c9f2fcd..375de540a 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -19,9 +19,7 @@
["[0]" array (.only Array)]]]
["[0]" macro (.only)
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number (.only hex)
@@ -30,7 +28,9 @@
["i" int (.use "[1]#[0]" equivalence)]
["f" frac (.use "[1]#[0]" equivalence)]]]
["[0]" meta (.only)
- ["[0]" type (.use "[1]#[0]" equivalence)]]
+ ["[0]" type (.use "[1]#[0]" equivalence)]
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]
[target
["[0]" jvm
["[1]" type (.use "[1]#[0]" equivalence)]]]]]
diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux
index b4e827e14..8ad59d6ed 100644
--- a/stdlib/source/test/lux/ffi/export.jvm.lux
+++ b/stdlib/source/test/lux/ffi/export.jvm.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
["[0]" debug]
["[0]" static]
[abstract
@@ -12,14 +11,15 @@
["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format]]]
[macro
- ["[0]" code]
["[0]" template]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number (.only hex)
["[0]" i64]
["[0]" int (.use "[1]#[0]" equivalence)]
- ["[0]" frac (.use "[1]#[0]" equivalence)]]]]]
+ ["[0]" frac (.use "[1]#[0]" equivalence)]]]
+ ["[0]" meta (.only)
+ ["[0]" code]]]]
[\\library
["[0]" / (.only)
["/[1]" //]]])
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index 3f6e3fe92..555a47c03 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -21,15 +21,14 @@
["n" nat]]]
["[0]" meta (.only)
["[0]" location]
- ["[0]" symbol]]]]
+ ["[0]" symbol]
+ ["[0]" code (.use "[1]#[0]" equivalence)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" / (.only)
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.use "[1]#[0]" equivalence)
- ["<[1]>" \\parser]]]]
+ ["[0]" template]]]
["[0]" /
- ["[1][0]" code]
["[1][0]" local]
["[1][0]" syntax]
["[1][0]" template]
@@ -243,7 +242,6 @@
..test|expansion
- /code.test
/local.test
/syntax.test
/template.test
diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux
index 74d66e29c..eb904eed8 100644
--- a/stdlib/source/test/lux/macro/local.lux
+++ b/stdlib/source/test/lux/macro/local.lux
@@ -2,7 +2,6 @@
[library
[lux (.except with)
["_" test (.only Test)]
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -16,13 +15,14 @@
["[0]" list
["[0]" property]]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random (.only Random)]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/macro/pattern.lux b/stdlib/source/test/lux/macro/pattern.lux
index 8ebdf71db..7b9e161c1 100644
--- a/stdlib/source/test/lux/macro/pattern.lux
+++ b/stdlib/source/test/lux/macro/pattern.lux
@@ -6,14 +6,14 @@
[monad (.only do)]]
[data
["[0]" bit (.use "[1]#[0]" equivalence)]]
- [macro
- ["[0]" code]]
[math
["[0]" random (.only Random)]
[number
["n" nat]
["i" int]
- ["f" frac]]]]]
+ ["f" frac]]]
+ [meta
+ ["[0]" code]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux
index c973ed03c..84304452c 100644
--- a/stdlib/source/test/lux/macro/syntax.lux
+++ b/stdlib/source/test/lux/macro/syntax.lux
@@ -7,12 +7,12 @@
[math
["[0]" random]
[number
- ["n" nat]]]]]
- [\\library
- ["[0]" / (.only)
- [//
+ ["n" nat]]]
+ [meta
["[0]" code
["<[1]>" \\parser]]]]]
+ [\\library
+ ["[0]" /]]
["[0]" /
["[1][0]" check]
["[1][0]" declaration]
diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux
index b8e3aa34b..11fa981e6 100644
--- a/stdlib/source/test/lux/macro/syntax/check.lux
+++ b/stdlib/source/test/lux/macro/syntax/check.lux
@@ -11,19 +11,20 @@
["[0]" try]]
[math
["[0]" random (.only Random)]]
- [macro
+ [meta
["[0]" code (.use "[1]#[0]" equivalence)
["<[1]>" \\parser]]]]]
[\\library
["[0]" /]]
- ["$[0]" ///
- ["[1][0]" code]])
+ ["$[0]" ////
+ [meta
+ ["[1][0]" code]]])
(def .public random
(Random /.Check)
(all random.and
- $///code.random
- $///code.random
+ $////code.random
+ $////code.random
))
(def .public test
diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux
index b6c571170..d111576fc 100644
--- a/stdlib/source/test/lux/macro/syntax/declaration.lux
+++ b/stdlib/source/test/lux/macro/syntax/declaration.lux
@@ -14,9 +14,10 @@
["n" nat]]]]]
[\\library
["[0]" / (.only)
- [///
- ["[0]" code
- ["<[1]>" \\parser]]]]])
+ [////
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser]]]]]])
(def .public random
(Random /.Declaration)
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index eab4879a0..0ebf14286 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -10,26 +10,26 @@
["<>" parser]
["[0]" try]
["[0]" exception]]
- [macro
- ["[0]" code (.use "[1]#[0]" equivalence)
- ["<[1]>" \\parser]]]
[math
["[0]" random (.only Random)]]
[meta
- ["[0]" location]]]]
+ ["[0]" location]
+ ["[0]" code (.use "[1]#[0]" equivalence)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]]
["$[0]"//
["[1][0]" check]
- ["[1]/" //
- ["[1][0]" code]]])
+ ["[1]//" ///
+ [meta
+ ["[1][0]" code]]]])
(def .public random
(Random /.Definition)
(all random.and
(random.alphabetic 5)
(random.or $//check.random
- $///code.random)
+ $////code.random)
random.bit
))
@@ -64,8 +64,8 @@
(do random.monad
[expected ..random
- type $///code.random
- untyped_value $///code.random]
+ type $////code.random
+ untyped_value $////code.random]
(all _.and
(_.coverage [/.format /.parser]
(case (<code>.result (/.parser compiler)
diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux
index 3ef76a0bb..bace31485 100644
--- a/stdlib/source/test/lux/macro/syntax/export.lux
+++ b/stdlib/source/test/lux/macro/syntax/export.lux
@@ -7,13 +7,13 @@
[control
["[0]" maybe]
["[0]" try (.use "[1]#[0]" functor)]]
- [macro
- ["[0]" code (.use "[1]#[0]" equivalence)
- ["<[1]>" \\parser]]]
[math
["[0]" random (.only Random)]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ [meta
+ ["[0]" code (.use "[1]#[0]" equivalence)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux
index 7768f7c6b..2294518a9 100644
--- a/stdlib/source/test/lux/macro/syntax/input.lux
+++ b/stdlib/source/test/lux/macro/syntax/input.lux
@@ -14,20 +14,21 @@
[math
["[0]" random (.only Random)]
[number
- ["n" nat]]]]]
- [\\library
- ["[0]" / (.only)
- [///
+ ["n" nat]]]
+ [meta
["[0]" code
["<[1]>" \\parser]]]]]
- ["$[0]" ///
- ["[1][0]" code]])
+ [\\library
+ ["[0]" /]]
+ ["$[0]" ////
+ [meta
+ ["[1][0]" code]]])
(def .public random
(Random /.Input)
(all random.and
- $///code.random
- $///code.random
+ $////code.random
+ $////code.random
))
(def .public test
diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux
index 1970a6ef8..d0c249716 100644
--- a/stdlib/source/test/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux
@@ -12,9 +12,10 @@
["[0]" random (.only Random)]]]]
[\\library
["[0]" / (.only)
- [////
- ["[0]" code
- ["<[1]>" \\parser]]]]])
+ [/////
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser]]]]]])
(def .public random
(Random /.Variable)
diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux
index 4c48e5561..d279edfeb 100644
--- a/stdlib/source/test/lux/macro/template.lux
+++ b/stdlib/source/test/lux/macro/template.lux
@@ -11,13 +11,14 @@
[collection
["[0]" list]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random (.only Random)]
[number
- ["[0]" nat]]]]]
+ ["[0]" nat]]]
+ [meta
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux
index 5109bb34b..98c4480d2 100644
--- a/stdlib/source/test/lux/math/modulus.lux
+++ b/stdlib/source/test/lux/math/modulus.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -13,7 +12,8 @@
[number
["i" int]]]
[macro
- [syntax (.only syntax)]
+ [syntax (.only syntax)]]
+ ["[0]" meta (.only)
["[0]" code]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index e5166d7ee..2c2943c19 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -33,6 +33,7 @@
["[0]" / (.only)
["[0]" type (.use "[1]#[0]" equivalence)]]]
["[0]" /
+ ["[1][0]" code]
["[1][0]" location]
["[1][0]" symbol]
["[1][0]" configuration]
@@ -1017,6 +1018,7 @@
..label_related)
))
+ /code.test
/location.test
/symbol.test
/configuration.test
diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/meta/code.lux
index a566b030d..a566b030d 100644
--- a/stdlib/source/test/lux/macro/code.lux
+++ b/stdlib/source/test/lux/meta/code.lux
diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux
index e1a546d82..141d7ed96 100644
--- a/stdlib/source/test/lux/meta/configuration.lux
+++ b/stdlib/source/test/lux/meta/configuration.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
[abstract
[monad (.only do)]
[\\specification
@@ -18,11 +17,12 @@
[collection
["[0]" list]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
- ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux
index de92d9eac..d87af185b 100644
--- a/stdlib/source/test/lux/meta/location.lux
+++ b/stdlib/source/test/lux/meta/location.lux
@@ -12,9 +12,8 @@
["[0]" random (.only Random)]]]]
[\\library
["[0]" /]]
- ["$[0]" ///
- [macro
- ["[1][0]" code]]])
+ ["$[0]" //
+ ["[1][0]" code]])
(def .public random
(Random Location)
@@ -44,7 +43,7 @@
(text.contains? error
located_error)))))
(do random.monad
- [[location _] $///code.random]
+ [[location _] $//code.random]
(_.coverage [/.dummy]
(at /.equivalence = /.dummy location)))
)))
diff --git a/stdlib/source/test/lux/meta/type.lux b/stdlib/source/test/lux/meta/type.lux
index 9f753b1d0..59ca03061 100644
--- a/stdlib/source/test/lux/meta/type.lux
+++ b/stdlib/source/test/lux/meta/type.lux
@@ -20,14 +20,14 @@
["[0]" list]
["[0]" array]]]
[macro
- ["^" pattern]
- ["[0]" code (.use "[1]#[0]" equivalence)]]
+ ["^" pattern]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]]]
[meta
- ["[0]" symbol (.use "[1]#[0]" equivalence)]]]]
+ ["[0]" symbol (.use "[1]#[0]" equivalence)]
+ ["[0]" code (.use "[1]#[0]" equivalence)]]]]
["[0]" \\parser]
[\\library
["[0]" / (.use "[1]#[0]" equivalence)]]
diff --git a/stdlib/source/test/lux/meta/type/primitive.lux b/stdlib/source/test/lux/meta/type/primitive.lux
index 7b4500c00..8766f07c2 100644
--- a/stdlib/source/test/lux/meta/type/primitive.lux
+++ b/stdlib/source/test/lux/meta/type/primitive.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -12,13 +11,14 @@
["[0]" text (.use "[1]#[0]" equivalence)]]
["[0]" macro (.only)
[syntax (.only syntax)]
- ["[0]" template]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ ["[0]" template]]
["[0]" math (.only)
["[0]" random]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/meta/type/resource.lux b/stdlib/source/test/lux/meta/type/resource.lux
index a23f1cacf..f7d04d659 100644
--- a/stdlib/source/test/lux/meta/type/resource.lux
+++ b/stdlib/source/test/lux/meta/type/resource.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
[abstract
["[0]" monad (.only)
[indexed (.only do)]]]
@@ -17,11 +16,12 @@
["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
- ["[0]" random]]]]
+ ["[0]" random]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" / (.only Res)]])
diff --git a/stdlib/source/test/lux/meta/type/unit/scale.lux b/stdlib/source/test/lux/meta/type/unit/scale.lux
index adc3523b5..0c305912b 100644
--- a/stdlib/source/test/lux/meta/type/unit/scale.lux
+++ b/stdlib/source/test/lux/meta/type/unit/scale.lux
@@ -2,18 +2,18 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" meta]
[abstract
[monad (.only do)]
[equivalence (.only Equivalence)]]
[macro
- [syntax (.only syntax)]
- ["[0]" code]]
+ [syntax (.only syntax)]]
[math
["[0]" random (.only Random)]
[number
["i" int]
- ["[0]" ratio (.use "[1]#[0]" equivalence)]]]]]
+ ["[0]" ratio (.use "[1]#[0]" equivalence)]]]
+ ["[0]" meta (.only)
+ ["[0]" code]]]]
[\\library
["[0]" / (.only)
["/[1]" //]]])
diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux
index ff70f25a0..e225265da 100644
--- a/stdlib/source/test/lux/meta/version.lux
+++ b/stdlib/source/test/lux/meta/version.lux
@@ -3,7 +3,6 @@
[lux (.except)
["_" test (.only Test)]
["[0]" static]
- ["[0]" meta]
[abstract
[monad (.only do)]]
[control
@@ -12,13 +11,14 @@
[data
["[0]" text]]
["[0]" macro (.only)
- [syntax (.only syntax)]
- ["[0]" code (.only)
- ["<[1]>" \\parser]]]
+ [syntax (.only syntax)]]
[math
["[0]" random]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ ["[0]" meta (.only)
+ ["[0]" code (.only)
+ ["<[1]>" \\parser]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux
index 8d534dd6e..cedad66d5 100644
--- a/stdlib/source/test/lux/program.lux
+++ b/stdlib/source/test/lux/program.lux
@@ -14,13 +14,14 @@
["[0]" list]]]
[macro
[syntax (.only syntax)]
- ["^" pattern]
- ["[0]" code
- ["<[1]>" \\parser]]]
+ ["^" pattern]]
[math
["[0]" random]
[number
- ["n" nat (.use "[1]#[0]" decimal)]]]]]
+ ["n" nat (.use "[1]#[0]" decimal)]]]
+ [meta
+ ["[0]" code
+ ["<[1]>" \\parser]]]]]
["[0]" \\parser]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux
index 95896cb7c..5748958f4 100644
--- a/stdlib/source/test/lux/static.lux
+++ b/stdlib/source/test/lux/static.lux
@@ -3,21 +3,20 @@
[lux (.except)
["_" test (.only Test)]
["@" target]
- ["[0]" meta]
[data
["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]]
[collection
["[0]" list (.use "[1]#[0]" mix)]]]
- [macro
- ["[0]" code]]
[math
["[0]" random (.use "[1]#[0]" functor)]
[number
["n" nat]
["i" int]
["r" rev]
- ["f" frac]]]]]
+ ["f" frac]]]
+ ["[0]" meta (.only)
+ ["[0]" code]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index fd972f3e0..afda8957c 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -1,8 +1,9 @@
(.require
[library
[lux (.except Type Primitive Label int)
- ["[0]" ffi (.only import)]
+ ["_" test (.only Test)]
["@" target]
+ ["[0]" ffi (.only import)]
[abstract
["[0]" monad (.only do)]]
[control
@@ -31,8 +32,7 @@
["i" int]
["f" frac]
["[0]" i32 (.only I32)]
- ["[0]" i64]]]
- ["_" test (.only Test)]]]
+ ["[0]" i64]]]]]
[\\library
["[0]" /
["[1][0]" loader (.only Library)]
diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux
index 7fa88daf7..8e3fb3472 100644
--- a/stdlib/source/test/lux/target/python.lux
+++ b/stdlib/source/test/lux/target/python.lux
@@ -20,15 +20,15 @@
["%" \\format (.only format)]]
[collection
["[0]" list (.use "[1]#[0]" functor)]]]
- [macro
- ["[0]" code]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]
["i" int]
["f" frac]
- ["[0]" i64]]]]]
+ ["[0]" i64]]]
+ [meta
+ ["[0]" code]]]]
[\\library
["[0]" / (.use "[1]#[0]" equivalence)]])
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
index 987a00507..7387ce1bc 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
@@ -2,6 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
+ ["[0]" macro]
[abstract
[monad (.only do)]]
[control
@@ -14,13 +15,12 @@
["[0]" text]
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
- ["[0]" macro (.only)
- ["[0]" code]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]]]
[meta
+ ["[0]" code]
["[0]" symbol
["$[1]" \\test]]
["[0]" configuration
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
index 0563892be..5a830ba38 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
@@ -2,6 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
+ ["[0]" macro]
[abstract
[monad (.only do)]
[\\specification
@@ -16,20 +17,18 @@
["[0]" text (.use "[1]#[0]" equivalence)]
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
- ["[0]" macro (.only)
- ["[0]" code (.use "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]]]
["[0]" meta (.only)
+ ["[0]" code (.use "[1]#[0]" equivalence)]
["[0]" configuration
["$[1]" \\test]]]]]
["$" ///////
- [macro
- ["[1][0]" code]]
[meta
- ["[1][0]" symbol]]]
+ ["[1][0]" symbol]
+ ["[1][0]" code]]]
[\\library
["[0]" / (.only)
["/[1]" //]]])
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
index 3c0823345..0c68a9690 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -2,6 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
+ ["[0]" macro]
[abstract
[monad (.only do)]]
[control
@@ -12,13 +13,12 @@
["[0]" text]
[collection
["[0]" list]]]
- ["[0]" macro (.only)
- ["[0]" code]]
[math
["[0]" random]
[number
["n" nat]]]
[meta
+ ["[0]" code]
["[0]" type (.use "[1]#[0]" equivalence)
["[0]" check]]]]]
[\\library
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
index e5254f4b4..35da92ea5 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -2,6 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
+ ["[0]" macro]
[abstract
[monad (.only do)]]
[control
@@ -11,11 +12,10 @@
["[0]" product]
["[0]" text (.only)
["%" \\format]]]
- ["[0]" macro (.only)
- ["[0]" code]]
[math
["[0]" random]]
[meta
+ ["[0]" code]
["[0]" type (.use "[1]#[0]" equivalence)
["[0]" check]]]]]
[\\library
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index 31e3355f2..29da6a3cd 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -18,14 +18,14 @@
["[0]" list (.use "[1]#[0]" monad monoid)]
["[0]" set]]]
["[0]" macro (.only)
- ["^" pattern]
- ["[0]" code]]
+ ["^" pattern]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]
["f" frac]]]
[meta
+ ["[0]" code]
["[0]" symbol (.only)
["$[1]" \\test]]
["[0]" configuration
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
index 1a865d0d6..421c41900 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -2,6 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
+ ["[0]" macro]
[abstract
[monad (.only do)]]
[control
@@ -14,13 +15,12 @@
["%" \\format]]
[collection
["[0]" list]]]
- ["[0]" macro (.only)
- ["[0]" code]]
[math
["[0]" random]
[number
["n" nat]]]
[meta
+ ["[0]" code]
["[0]" symbol
["$[1]" \\test]]
["[0]" type (.use "[1]#[0]" equivalence)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index 7507a6da6..a3b9b281d 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -14,9 +14,8 @@
["[0]" atom]]]
[data
["[0]" product]]
- [macro
- ["[0]" code]]
[meta
+ ["[0]" code]
["[0]" symbol]
["[0]" type (.use "[1]#[0]" equivalence)]]]
[////
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
index 52e957f9c..98b9a71fd 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
@@ -16,9 +16,8 @@
[collection
["[0]" list]
["[0]" dictionary (.only Dictionary)]]]
- [macro
- ["[0]" code]]
[meta
+ ["[0]" code]
["[0]" location]
["[0]" symbol]]]
[\\