wip: port REPL from minilang

1 files changed, 5 insertions, 3 deletions

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