aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm/extension
diff options
context:
space:
mode:
Diffstat (limited to '')
-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
2 files changed, 6 insertions, 4 deletions
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)