diff options
author | Eduardo Julian | 2020-12-29 23:29:54 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-29 23:29:54 -0400 |
commit | 02d27daeacac74785c2b0f4d1ce03d432377a36e (patch) | |
tree | 5129c496d136deb57880f202153e96f4f585e355 /lux-jvm/source/luxc/lang/translation/jvm | |
parent | 832a9361b632331e82a64c07baa560487ca8abde (diff) |
Unified repository abstraction for Aedifex.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm')
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) |