Re-named "Bool" type to "Bit".

5 files changed, 11 insertions, 11 deletions

diff --git a/new-luxc/source/luxc/lang/translation/ruby/case.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/case.jvm.lux
index 2cce1abf5..d83a5cd0a 100644
--- a/new-luxc/source/luxc/lang/translation/ruby/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/ruby/case.jvm.lux
@@ -30,7 +30,7 @@
                               (ruby.return! bodyO)))))))
 
 (def: #export (translate-record-get translate valueS path)
-  (-> (-> ls.Synthesis (Meta Expression)) ls.Synthesis (List [Nat Bool])
+  (-> (-> ls.Synthesis (Meta Expression)) ls.Synthesis (List [Nat Bit])
       (Meta Expression))
   (do macro.Monad<Meta>
     [valueO (translate valueS)]
@@ -108,7 +108,7 @@
       (meta/wrap (ruby.when! (ruby.not (ruby.= (|> value <format>) cursor-top))
                              (ruby.raise pm-error))))
     ([#.Int  ruby.int]
-     [#.Bool ruby.bool]
+     [#.Bit  ruby.bool]
      [#.Frac ruby.float]
      [#.Text ruby.string])
 
diff --git a/new-luxc/source/luxc/lang/translation/ruby/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/expression.jvm.lux
index 6d829f81c..e68cf8a8f 100644
--- a/new-luxc/source/luxc/lang/translation/ruby/expression.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/ruby/expression.jvm.lux
@@ -41,12 +41,12 @@
     (^template [<tag> <generator>]
       [_ (<tag> value)]
       (<generator> value))
-    ([#.Bool primitiveT.translate-bool]
+    ([#.Bit primitiveT.translate-bit]
      [#.Int  primitiveT.translate-int]
      [#.Frac primitiveT.translate-frac]
      [#.Text primitiveT.translate-text])
 
-    (^code ((~ [_ (#.Nat tag)]) (~ [_ (#.Bool last?)]) (~ valueS)))
+    (^code ((~ [_ (#.Nat tag)]) (~ [_ (#.Bit last?)]) (~ valueS)))
     (structureT.translate-variant translate tag last? valueS)
 
     (^code [(~+ members)])
diff --git a/new-luxc/source/luxc/lang/translation/ruby/primitive.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/primitive.jvm.lux
index f84c700d4..cc5e5752e 100644
--- a/new-luxc/source/luxc/lang/translation/ruby/primitive.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/ruby/primitive.jvm.lux
@@ -6,13 +6,13 @@
        [macro "meta/" Monad<Meta>])
   (luxc (lang (host [ruby #+ Ruby Expression Statement]))))
 
-(def: #export translate-bool
-  (-> Bool (Meta Expression))
-  (|>> %b meta/wrap))
+(def: #export translate-bit
+  (-> Bit (Meta Expression))
+  (|>> ruby.bool meta/wrap))
 
 (def: #export translate-int
   (-> Int (Meta Expression))
-  (|>> %i meta/wrap))
+  (|>> ruby.int meta/wrap))
 
 (def: #export translate-frac
   (-> Frac (Meta Expression))
diff --git a/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux
index 7e94101ff..9d0d0f890 100644
--- a/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux
@@ -17,7 +17,7 @@
 (def: #export unit Expression (%t //.unit))
 
 (def: (flag value)
-  (-> Bool Ruby)
+  (-> Bit Ruby)
   (if value
     (ruby.string "")
     ruby.nil))
@@ -29,7 +29,7 @@
                          [(ruby.string //.variant-value-field) value])))
 
 (def: #export (variant tag last? value)
-  (-> Nat Bool Expression Expression)
+  (-> Nat Bit Expression Expression)
   (variant' (%i (.int tag)) (flag last?) value))
 
 (def: #export none
diff --git a/new-luxc/source/luxc/lang/translation/ruby/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/structure.jvm.lux
index 5bf7c9e8b..2a1f81d37 100644
--- a/new-luxc/source/luxc/lang/translation/ruby/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/ruby/structure.jvm.lux
@@ -25,7 +25,7 @@
       (wrap (ruby.array elemsT+)))))
 
 (def: #export (translate-variant translate tag tail? valueS)
-  (-> (-> Synthesis (Meta Expression)) Nat Bool Synthesis (Meta Expression))
+  (-> (-> Synthesis (Meta Expression)) Nat Bit Synthesis (Meta Expression))
   (do macro.Monad<Meta>
     [valueT (translate valueS)]
     (wrap (runtimeT.variant tag tail? valueT))))