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/python/case.jvm.lux       | 6 +++---
 new-luxc/source/luxc/lang/translation/python/expression.jvm.lux | 4 ++--
 new-luxc/source/luxc/lang/translation/python/primitive.jvm.lux  | 4 ++--
 new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux    | 4 ++--
 new-luxc/source/luxc/lang/translation/python/structure.jvm.lux  | 2 +-
 5 files changed, 10 insertions(+), 10 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/translation/python/case.jvm.lux b/new-luxc/source/luxc/lang/translation/python/case.jvm.lux
index 8e5b16a88..809b32c23 100644
--- a/new-luxc/source/luxc/lang/translation/python/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/case.jvm.lux
@@ -30,7 +30,7 @@
               (python.apply (list valueO))))))
 
 (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)]
@@ -118,7 +118,7 @@
     ([#.Nat  (<| python.int (:coerce Int))]
      [#.Int  python.int]
      [#.Rev  (<| python.int (:coerce Int))]
-     [#.Bool python.bool]
+     [#.Bit python.bool]
      [#.Frac python.float]
      [#.Text python.string])
 
@@ -204,7 +204,7 @@
           ## TODO: Remove (let [inner recur]) once loops can have names.
           (let [inner recur]
             (case bodyS
-              (^code ((~ [_ (#.Nat tag)]) (~ [_ (#.Bool last?)]) (~ valueS)))
+              (^code ((~ [_ (#.Nat tag)]) (~ [_ (#.Bit last?)]) (~ valueS)))
               (inner valueS inner-variables)
 
               (^code [(~+ members)])
diff --git a/new-luxc/source/luxc/lang/translation/python/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/python/expression.jvm.lux
index a1abe59a6..62be95f27 100644
--- a/new-luxc/source/luxc/lang/translation/python/expression.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/expression.jvm.lux
@@ -41,14 +41,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 [(~+ members)])
diff --git a/new-luxc/source/luxc/lang/translation/python/primitive.jvm.lux b/new-luxc/source/luxc/lang/translation/python/primitive.jvm.lux
index 439404893..f88c34fce 100644
--- a/new-luxc/source/luxc/lang/translation/python/primitive.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/primitive.jvm.lux
@@ -3,8 +3,8 @@
   (lux [macro "meta/" Monad<Meta>])
   (luxc (lang (host [python #+ Expression Statement]))))
 
-(def: #export translate-bool
-  (-> Bool (Meta Expression))
+(def: #export translate-bit
+  (-> Bit (Meta Expression))
   (|>> python.bool meta/wrap))
 
 (def: #export translate-int
diff --git a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux
index fbd599c77..70ce11a94 100644
--- a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux
@@ -17,7 +17,7 @@
 (def: #export unit Expression (python.string //.unit))
 
 (def: (flag value)
-  (-> Bool Expression)
+  (-> Bit Expression)
   (if value
     (python.string "")
     python.none))
@@ -29,7 +29,7 @@
                      [(python.string //.variant-value-field) value])))
 
 (def: #export (variant tag last? value)
-  (-> Nat Bool Expression Expression)
+  (-> Nat Bit Expression Expression)
   (variant' (python.int (.int tag))
             (flag last?)
             value))
diff --git a/new-luxc/source/luxc/lang/translation/python/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/python/structure.jvm.lux
index 0452ef504..158cf3a2c 100644
--- a/new-luxc/source/luxc/lang/translation/python/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/structure.jvm.lux
@@ -25,7 +25,7 @@
       (wrap (python.tuple 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