From 69fefab57c40f323d759dc444dbcebad15071585 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 13 Jul 2018 22:01:32 -0400
Subject: Re-named "Bool" type to "Bit".

---
 new-luxc/source/luxc/lang/translation/r/case.jvm.lux       | 4 ++--
 new-luxc/source/luxc/lang/translation/r/expression.jvm.lux | 4 ++--
 new-luxc/source/luxc/lang/translation/r/primitive.jvm.lux  | 4 ++--
 new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux    | 4 ++--
 new-luxc/source/luxc/lang/translation/r/structure.jvm.lux  | 2 +-
 5 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/r')

diff --git a/new-luxc/source/luxc/lang/translation/r/case.jvm.lux b/new-luxc/source/luxc/lang/translation/r/case.jvm.lux
index fb16b8791..42460b620 100644
--- a/new-luxc/source/luxc/lang/translation/r/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/case.jvm.lux
@@ -31,7 +31,7 @@
                bodyO)))))
 
 (def: #export (translate-record-get translate valueS pathP)
-  (-> (-> Synthesis (Meta Expression)) Synthesis (List [Nat Bool])
+  (-> (-> Synthesis (Meta Expression)) Synthesis (List [Nat Bit])
       (Meta Expression))
   (do macro.Monad<Meta>
     [valueO (translate valueS)]
@@ -116,7 +116,7 @@
       [_ (<tag> value)]
       (meta/wrap (r.when (r.not (r.= (|> value <format>) cursor-top))
                          fail-pm!)))
-    ([#.Bool r.bool]
+    ([#.Bit  r.bool]
      [#.Frac r.float]
      [#.Text r.string])
 
diff --git a/new-luxc/source/luxc/lang/translation/r/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/r/expression.jvm.lux
index cd2227df3..2e30b4999 100644
--- a/new-luxc/source/luxc/lang/translation/r/expression.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/expression.jvm.lux
@@ -39,14 +39,14 @@
     (^template [<tag> <generator>]
       [_ (<tag> value)]
       (<generator> value))
-    ([#.Bool primitiveT.translate-bool]
+    ([#.Bit primitiveT.translate-bit]
      [#.Nat  primitiveT.translate-nat]
      [#.Int  primitiveT.translate-int]
      [#.Rev  primitiveT.translate-rev]
      [#.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 [(~ singleton)])
diff --git a/new-luxc/source/luxc/lang/translation/r/primitive.jvm.lux b/new-luxc/source/luxc/lang/translation/r/primitive.jvm.lux
index 3652dfcfd..8bc7da848 100644
--- a/new-luxc/source/luxc/lang/translation/r/primitive.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/primitive.jvm.lux
@@ -5,8 +5,8 @@
   [//]
   (// [".T" runtime]))
 
-(def: #export translate-bool
-  (-> Bool (Meta Expression))
+(def: #export translate-bit
+  (-> Bit (Meta Expression))
   (|>> r.bool meta/wrap))
 
 (def: #export translate-int
diff --git a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
index 9cab92115..cf0b87d78 100644
--- a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
@@ -45,7 +45,7 @@
                         [//.int-low-field (r.int low)]))))
 
 (def: (flag value)
-  (-> Bool Expression)
+  (-> Bit Expression)
   (if value
     (r.string "")
     r.null))
@@ -57,7 +57,7 @@
                       [//.variant-value-field value])))
 
 (def: #export (variant tag last? value)
-  (-> Nat Bool Expression Expression)
+  (-> Nat Bit Expression Expression)
   (variant' (r.int (.int tag))
             (flag last?)
             value))
diff --git a/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux
index bfe0a40a6..e9a528d2b 100644
--- a/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux
@@ -25,7 +25,7 @@
       (wrap (r.list 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))))
-- 
cgit v1.2.3