From 02d27daeacac74785c2b0f4d1ce03d432377a36e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 29 Dec 2020 23:29:54 -0400
Subject: Unified repository abstraction for Aedifex.

---
 lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | 5 +++--
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux   | 5 +++--
 2 files changed, 6 insertions(+), 4 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension')

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)
-- 
cgit v1.2.3