evaluate deBruijn terms in environment

1 files changed, 6 insertions, 1 deletions

diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/DeBruijnSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/DeBruijnSpec.hs
index cff047d..85c9d6b 100644
--- a/lambda-calcul/haskell/test/Minilang/Lambda/DeBruijnSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/Lambda/DeBruijnSpec.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE TypeApplications #-}
 module Minilang.Lambda.DeBruijnSpec where
 
-import Minilang.Lambda.DeBruijn (DeBruijn (..), eval, toDeBruijn)
+import Minilang.Lambda.DeBruijn (DeBruijn (..), eval, toDeBruijn, eval')
 import qualified Minilang.Lambda.Eval as Eval
 import Test.Hspec (Spec, it, shouldBe)
 import Data.Text (Text)
@@ -18,3 +18,8 @@ spec = do
     let term = App (App (Lam "x" (Lam "y" (Var "x" 1))) (FV "z")) (FV "t")
 
     eval @Text term `shouldBe` FV "z"
+
+  it "evaluates deBruijn term in env" $ do
+    let term = App (FV "z") (FV "t")
+        env = [("z", toDeBruijn $ Eval.Lam "x" (Eval.Var "x"))]
+    eval' @Text env term `shouldBe` FV "t"