ExpressionSpec.hs

module Language.Lambda.ExpressionSpec where

import Test.Hspec

import Language.Lambda.Expression
import Language.Lambda.Util.PrettyPrint

spec :: Spec
spec = describe "prettyPrint" $ do
    it "prints simple variables" $ 
      prettyPrint (Var "x") `shouldBe` "x"

    it "prints simple abstractions" $
      prettyPrint (Abs "x" (Var "x")) `shouldBe` "λx. x"

    it "prints simple applications" $
      prettyPrint (App (Var "a") (Var "b"))
        `shouldBe` "a b"

    it "prints nested abstractions" $
      prettyPrint (Abs "f" (Abs "x" (Var "x")))
        `shouldBe` "λf x. x"

    it "prints nested applications" $
      prettyPrint (App (App (Var "f") (Var "x")) (Var "y"))
        `shouldBe` "f x y"

    it "prints parenthesized applications" $ do
      prettyPrint (App (Var "f") (App (Var "x") (Var "y")))
        `shouldBe` "f (x y)"

      prettyPrint (App (Abs "x" (Var "x")) (Var "y"))
        `shouldBe` "(λx. x) y"

      prettyPrint (App (Var "x") (Abs "f" (Var "f")))
        `shouldBe` "x (λf. f)"
      
      prettyPrint (App (Abs "f" (Var "f")) (Abs "g" (Var "g")))
        `shouldBe` "(λf. f) (λg. g)"