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

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

diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux
index 9d781429e..373d23ae4 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux
@@ -29,7 +29,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)]
@@ -115,7 +115,7 @@
       [_ (<tag> value)]
       (meta/wrap (_.when (|> value <format> (<=> cursor-top) _.not)
                          fail-pm!)))
-    ([#.Bool _.bool _.equal]
+    ([#.Bit _.bool _.equal]
      [#.Nat  (<| _.int (:coerce Int)) _.=]
      [#.Int  _.int _.=]
      [#.Rev  (<| _.int (:coerce Int)) _.=]
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
index a10fa0d5d..c88e83ed5 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
@@ -85,7 +85,7 @@
         (#e.Success output)))))
 
 (def: (variant tag flag value)
-  (-> Nat Bool Any Any)
+  (-> Nat Bit Any Any)
   [(Long::intValue [] (:coerce Long tag))
    (: Any
       (if flag
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/expression.jvm.lux
index 4e0c617b4..d3761ff6b 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/expression.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/expression.jvm.lux
@@ -38,14 +38,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/common-lisp/primitive.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/primitive.jvm.lux
index 1c8c17bed..7556e6ebb 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/primitive.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/primitive.jvm.lux
@@ -5,8 +5,8 @@
   [//]
   (// [".T" runtime]))
 
-(def: #export translate-bool
-  (-> Bool (Meta Expression))
+(def: #export translate-bit
+  (-> Bit (Meta Expression))
   (|>> _.bool meta/wrap))
 
 (def: #export translate-int
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux
index cd12328e2..43c1fd2a0 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux
@@ -19,7 +19,7 @@
 (def: #export unit Expression (_.string //.unit))
 
 (def: (flag value)
-  (-> Bool Expression)
+  (-> Bit Expression)
   (if value
     (_.string "")
     _.nil))
@@ -32,7 +32,7 @@
       value))
 
 (def: #export (variant tag last? value)
-  (-> Nat Bool Expression Expression)
+  (-> Nat Bit Expression Expression)
   (variant' (_.int (:coerce Int tag)) (flag last?) value))
 
 (def: #export none
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/structure.jvm.lux
index fe7009627..dcf7e5693 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/structure.jvm.lux
@@ -25,7 +25,7 @@
       (wrap (_.vector 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