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

3 files changed, 9 insertions, 10 deletions

diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux
index 8e1c92f84..b2c747028 100644
--- a/stdlib/source/lux/type/implicit.lux
+++ b/stdlib/source/lux/type/implicit.lux
@@ -9,7 +9,6 @@
     [number]
     [collection [list ("list/" Monad<List> Fold<List>)]
      ["dict" dictionary (#+ Dictionary)]]
-    [bool]
     [product]
     [maybe]]
    [macro (#+ Monad<Meta>)
@@ -285,7 +284,7 @@
         (do Monad<Meta> [alts import-structs] (test alts)))))
 
 (def: (var? input)
-  (-> Code Bool)
+  (-> Code Bit)
   (case input
     [_ (#.Symbol _)]
     true
diff --git a/stdlib/source/lux/type/object/interface.lux b/stdlib/source/lux/type/object/interface.lux
index c90965c2d..42284b4b3 100644
--- a/stdlib/source/lux/type/object/interface.lux
+++ b/stdlib/source/lux/type/object/interface.lux
@@ -98,7 +98,7 @@
           (~ g!method)))))
 
 (def: (definition export [interface parameters] g!self-object g!ext g!states (^open))
-  (-> Bool Declaration Code Code (List Code) Method Code)
+  (-> Bit Declaration Code Code (List Code) Method Code)
   (let [g!method (code.local-symbol name)
         g!parameters (list/map code.local-symbol parameters)
         g!type-vars (list/map code.local-symbol type-vars)
@@ -125,7 +125,7 @@
 (def: no-parent Ident ["" ""])
 
 (def: (no-parent? parent)
-  (-> Ident Bool)
+  (-> Ident Bit)
   (ident/= no-parent parent))
 
 (def: (with-interface parent interface)
@@ -247,7 +247,7 @@
   )
 
 (def: (getterN export interface g!parameters g!ext g!child ancestors)
-  (-> Bool Text (List Code) Code Code (List Ident)
+  (-> Bit Text (List Code) Code Code (List Ident)
       Code)
   (let [g!get (code.local-symbol (getN interface))
         g!interface (code.local-symbol interface)
@@ -266,7 +266,7 @@
            (~ g!_state))))))
 
 (def: (setterN export interface g!parameters g!ext g!child ancestors)
-  (-> Bool Text (List Code) Code Code (List Ident)
+  (-> Bit Text (List Code) Code Code (List Ident)
       Code)
   (let [g!set (code.local-symbol (setN interface))
         g!interface (code.local-symbol interface)
@@ -289,7 +289,7 @@
            (~ g!build-up))))))
 
 (def: (updaterN export interface g!parameters g!ext g!child ancestors)
-  (-> Bool Text (List Code) Code Code (List Ident)
+  (-> Bit Text (List Code) Code Code (List Ident)
       Code)
   (let [g!update (code.local-symbol (updateN interface))
         g!interface (code.local-symbol interface)
diff --git a/stdlib/source/lux/type/object/protocol.lux b/stdlib/source/lux/type/object/protocol.lux
index 495aaebd4..ebbf9cc4b 100644
--- a/stdlib/source/lux/type/object/protocol.lux
+++ b/stdlib/source/lux/type/object/protocol.lux
@@ -78,7 +78,7 @@
                    (Method (~ inputC) (~ outputC) (~ g!return)))))))
 
 (def: (method|c export protocol method)
-  (-> Bool cs.Declaration Method-Syntax (Meta Code))
+  (-> Bit cs.Declaration Method-Syntax (Meta Code))
   (let [methodC (code.local-symbol (get@ #method-name method))
         tagC (code.local-tag (get@ #method-name method))
         protocolC (code.local-symbol (get@ #cs.declaration-name protocol))
@@ -110,7 +110,7 @@
     (` ((~ tagC) ((~ protocolC) (~ g!return))))))
 
 (def: (class|c export protocol class)
-  (-> Bool cs.Declaration Class-Syntax (Meta Code))
+  (-> Bit cs.Declaration Class-Syntax (Meta Code))
   (let [classC (code.local-symbol (get@ #class-name class))
         tagC (code.local-tag (get@ #class-name class))
         protocolC (code.local-symbol (get@ #cs.declaration-name protocol))
@@ -138,7 +138,7 @@
               (class|w g!return)))
 
 (def: (super|c export protocol)
-  (-> Bool cs.Declaration (| Method-Syntax Class-Syntax) (Meta Code))
+  (-> Bit cs.Declaration (| Method-Syntax Class-Syntax) (Meta Code))
   (sum.either (method|c export protocol)
               (class|c export protocol)))