From a55e29e6a010205bec7995378d79b24628dcc68a Mon Sep 17 00:00:00 2001
From: Folkert <folkert@folkertdev.nl>
Date: Fri, 28 Feb 2020 23:18:26 +0100
Subject: [PATCH] add signatures for boolean functions

---
 src/builtins.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/builtins.rs b/src/builtins.rs
index 87ad4f5bfa..25cf441ed0 100644
--- a/src/builtins.rs
+++ b/src/builtins.rs
@@ -336,6 +336,18 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
         SolvedType::Func(vec![bool_type(), bool_type()], Box::new(bool_type())),
     );
 
+    // xor : Bool, Bool -> Bool
+    add_type(
+        Symbol::BOOL_XOR,
+        SolvedType::Func(vec![bool_type(), bool_type()], Box::new(bool_type())),
+    );
+
+    // not : Bool -> Bool
+    add_type(
+        Symbol::BOOL_NOT,
+        SolvedType::Func(vec![bool_type()], Box::new(bool_type())),
+    );
+
     // Str module
 
     // isEmpty : Str -> Bool