bounds + unit tests

swarm-game · Jul 15, 2024 · 95506cb · 95506cb
1 parent e4c098e
commit 95506cb
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/swarm.cabal b/swarm.cabal
@@ -191,7 +191,7 @@ library swarm-lang
     terminal-size >=0.3 && <1.0,
     text,
     text-rope >=0.2 && <0.3,
-    unicode-show,
+    unicode-show >= 0.1 && <0.2,
     vector,
     vty,
     witch,

diff --git a/test/unit/TestEval.hs b/test/unit/TestEval.hs
@@ -227,6 +227,9 @@ testEval g =
         , testCase
             "format function"
             ("format (\\x. x + 1)" `evaluatesTo` VText "\\x. x + 1")
+        , testCase
+            "format forall"
+            ("format \"∀\"" `evaluatesTo` VText "\"∀\"")
         , testCase
             "concat"
             ("\"x = \" ++ format (2+3) ++ \"!\"" `evaluatesTo` VText "x = 5!")
@@ -346,6 +349,7 @@ testEval g =
  where
   tquote :: String -> Text
   tquote = T.pack . show
+
   throwsError :: Text -> (Text -> Bool) -> Assertion
   throwsError tm p = do
     result <- evaluate tm