1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

AbstractIntro is pure.

This commit is contained in:
Rob Rix 2018-05-28 14:47:42 -04:00
parent 89b90496b7
commit cc02cfd8eb

View File

@ -19,13 +19,13 @@ import SpecHelpers hiding (reassociate)
spec :: Spec
spec = parallel $ do
it "constructs integers" $ do
(expected, _) <- evaluate (integer 123)
(expected, _) <- evaluate (pure (integer 123))
expected `shouldBe` Right (Value.Integer (Number.Integer 123))
it "calls functions" $ do
(expected, _) <- evaluate $ do
identity <- closure [name "x"] lowerBound (variable (name "x"))
call identity [integer 123]
call identity [pure (integer 123)]
expected `shouldBe` Right (Value.Integer (Number.Integer 123))
evaluate