Boolean literals and comparison operators

Changelog: Added `True` and `False` literals, and comparison operators for boolean values

5 files changed, 61 insertions, 0 deletions

diff --git a/README.md b/README.md
index 3c5a3a7..c6ea018 100644
--- a/README.md
+++ b/README.md
@@ -179,6 +179,7 @@ let re2 = /$str$re1/ # match '.' followed by any character
 #### boolean
 
 Result of comparison operators `==` and `/=`.
+Values are `True` and `False`.
 
 #### network
 
diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs
index 079cfba..b9b5f01 100644
--- a/src/Parser/Expr.hs
+++ b/src/Parser/Expr.hs
@@ -118,6 +118,13 @@ numberLiteral = label "number" $ lexeme $ do
              else return $ SomeExpr $ Pure x
         ]
 
+boolLiteral :: TestParser SomeExpr
+boolLiteral = label "bool" $ lexeme $ do
+    SomeExpr . Pure <$> choice
+        [ wsymbol "True"  *> return True
+        , wsymbol "False" *> return False
+        ]
+
 quotedString :: TestParser (Expr Text)
 quotedString = label "string" $ lexeme $ do
     void $ char '"'
@@ -261,11 +268,13 @@ someExpr = join inner <?> "expression"
                               [ SomeBinOp ((==) @Integer)
                               , SomeBinOp ((==) @Scientific)
                               , SomeBinOp ((==) @Text)
+                              , SomeBinOp ((==) @Bool)
                               ]
               , binary' "/=" (\op xs ys -> length xs /= length ys || or  (zipWith op xs ys)) $
                               [ SomeBinOp ((/=) @Integer)
                               , SomeBinOp ((/=) @Scientific)
                               , SomeBinOp ((/=) @Text)
+                              , SomeBinOp ((/=) @Bool)
                               ]
               , binary ">" $
                   [ SomeBinOp ((>) @Integer)
@@ -347,6 +356,7 @@ typedExpr = do
 literal :: TestParser SomeExpr
 literal = label "literal" $ choice
     [ numberLiteral
+    , boolLiteral
     , SomeExpr <$> quotedString
     , SomeExpr <$> regex
     , list
diff --git a/test/asset/run-fail/bool.et b/test/asset/run-fail/bool.et
new file mode 100644
index 0000000..1608a08
--- /dev/null
+++ b/test/asset/run-fail/bool.et
@@ -0,0 +1,3 @@
+test Test:
+    node n
+    guard (True == False)
diff --git a/test/asset/run-success/bool.et b/test/asset/run-success/bool.et
new file mode 100644
index 0000000..7121cc0
--- /dev/null
+++ b/test/asset/run-success/bool.et
@@ -0,0 +1,7 @@
+test Test:
+    node n
+    guard (True == True)
+    guard (False == False)
+    guard (False /= True)
+    guard ((1 == 1) == True)
+    guard ((1 == 0) == False)
diff --git a/test/script/run.et b/test/script/run.et
index 973a786..7cc1670 100644
--- a/test/script/run.et
+++ b/test/script/run.et
@@ -3,6 +3,13 @@ module run
 asset scripts:
     path: ../asset/run
 
+asset scripts_success:
+    path: ../asset/run-success
+
+asset scripts_fail:
+    path: ../asset/run-fail
+
+
 test TrivialRun:
     spawn as p 
     with p:
@@ -21,6 +28,39 @@ test TrivialRun:
             guard (done == "run-failed")
 
 
+test SimpleRun:
+    let should_succeed = [ "bool" ]
+    let should_fail = [ "bool" ]
+    spawn as p
+
+    with p:
+        for file in should_succeed:
+            send "load ${scripts_success.path}/$file.et"
+            local:
+                expect /(load-.*)/ capture done
+                guard (done == "load-done")
+            flush
+
+            send "run Test"
+            local:
+                expect /(run-.*)/ capture done
+                guard (done == "run-done")
+            flush
+
+        for file in should_fail:
+            send "load ${scripts_fail.path}/$file.et"
+            local:
+                expect /(load-.*)/ capture done
+                guard (done == "load-done")
+            flush
+
+            send "run Test"
+            local:
+                expect /(run-.*)/ capture done
+                guard (done == "run-failed")
+            flush
+
+
 test RunConfig:
     node n
     shell on n: