From f7e2b56eef219ce0ebf5c799439e856b99f61bd9 Mon Sep 17 00:00:00 2001 From: Sean Gillespie <sean@mistersg.net> Date: Sat, 7 Jan 2017 21:37:55 -0500 Subject: [PATCH] Update SystemF Expression test --- test/Language/SystemF/ExpressionSpec.hs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/test/Language/SystemF/ExpressionSpec.hs b/test/Language/SystemF/ExpressionSpec.hs index 24726a7..d570d85 100644 --- a/test/Language/SystemF/ExpressionSpec.hs +++ b/test/Language/SystemF/ExpressionSpec.hs @@ -73,3 +73,9 @@ spec = describe "prettyPrint" $ do prettyPrint (TyForAll "A" (TyArrow (TyVar "A") (TyVar "A"))) `shouldBe` "forall A. A -> A" + it "prints nested forall types" $ + prettyPrint (TyForAll "W" + (TyForAll "X" + (TyArrow (TyVar "W") (TyArrow (TyVar "X") (TyVar "Y"))))) + `shouldBe` "forall W. forall X. W -> X -> Y" + -- GitLab