aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation
diff options
context:
space:
mode:
authorEduardo Julian2020-12-29 23:29:54 -0400
committerEduardo Julian2020-12-29 23:29:54 -0400
commit02d27daeacac74785c2b0f4d1ce03d432377a36e (patch)
tree5129c496d136deb57880f202153e96f4f585e355 /lux-jvm/source/luxc/lang/translation
parent832a9361b632331e82a64c07baa560487ca8abde (diff)
Unified repository abstraction for Aedifex.
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/case.lux5
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux5
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux5
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/function.lux7
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/loop.lux5
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/primitive.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux7
8 files changed, 23 insertions, 17 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index b9d6ec6d1..f3bbb2a1c 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -6,10 +6,11 @@
["." function]
["ex" exception (#+ exception:)]]
[data
- [number
- ["n" nat]]
[collection
["." list ("#@." fold)]]]
+ [math
+ [number
+ ["n" nat]]]
[target
[jvm
["." type (#+ Type)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index ff56c7824..add0eefcc 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -8,11 +8,12 @@
["<s>" synthesis (#+ Parser)]]]
[data
["." product]
- [number
- ["f" frac]]
[collection
["." list ("#@." monad)]
["." dictionary]]]
+ [math
+ [number
+ ["f" frac]]]
[target
[jvm
["." type]]]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index d83a6d841..c3c522bfa 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -14,12 +14,13 @@
["." maybe ("#@." functor)]
["." text ("#@." equivalence)
["%" format (#+ format)]]
- [number
- ["." nat]]
[collection
["." list ("#@." monad)]
["." dictionary (#+ Dictionary)]
["." set]]]
+ [math
+ [number
+ ["." nat]]]
[target
[jvm
["." type (#+ Type Typed Argument)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 0fe7717fb..6c03bd482 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -10,11 +10,12 @@
["." product]
[text
["%" format (#+ format)]]
- [number
- ["n" nat]
- ["i" int]]
[collection
["." list ("#@." functor monoid)]]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
[target
[jvm
["." type (#+ Type)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 4b44561c7..5ad997539 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -5,10 +5,11 @@
[control
["." function]]
[data
- [number
- ["n" nat]]
[collection
["." list ("#@." functor monoid)]]]
+ [math
+ [number
+ ["n" nat]]]
[tool
[compiler
["." phase]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index 2d8bff828..b42f63c4d 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -1,7 +1,7 @@
(.module:
[lux (#- i64)
["." host (#+ import:)]
- [data
+ [math
[number
["i" int]]]
[target
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index 061972df1..782187339 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -10,10 +10,10 @@
["%" format (#+ format)]]
[collection
["." list ("#@." functor)]
- ["." row]]
+ ["." row]]]
+ ["." math
[number
["n" nat]]]
- ["." math]
[target
[jvm
["." type (#+ Type)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index a93b4845f..b3daed102 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -6,13 +6,14 @@
[control
["." exception (#+ exception:)]]
[data
- [number
- ["n" nat]
- ["i" int]]
[text
["%" format (#+ format)]]
[collection
["." list]]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
[target
[jvm
["." type (#+ Type)