From 1bd817bc76b2952617f0726ba79780c47e55495b Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Mon, 7 May 2018 15:10:41 -0400
Subject: [PATCH] Test that we can construct integers.

---
 test/Control/Abstract/Evaluator/Spec.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/test/Control/Abstract/Evaluator/Spec.hs b/test/Control/Abstract/Evaluator/Spec.hs
index e57f4421b..988e72d14 100644
--- a/test/Control/Abstract/Evaluator/Spec.hs
+++ b/test/Control/Abstract/Evaluator/Spec.hs
@@ -9,7 +9,12 @@ import qualified Data.Abstract.Value as Value
 import SpecHelpers hiding (Term)
 
 spec :: Spec
-spec = parallel $ pure ()
+spec = parallel $ do
+  it "constructs integers" $ do
+    let expected = evaluate (integer 123)
+    let actual = Right (Right (Right (Value.injValue (Value.Integer (Number.Integer 123)))))
+    fst expected `shouldBe` actual
+  pure ()
 
 evaluate
   = run