From f667109c28cc145ea3b67a855c0220197f6c1e34 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 11 Dec 2015 15:51:25 -0500 Subject: [PATCH] Test _Term_ equality, not ArbitraryTerm equality. --- test/Spec.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Spec.hs b/test/Spec.hs index b5e1771df..01c865d8c 100644 --- a/test/Spec.hs +++ b/test/Spec.hs @@ -59,7 +59,7 @@ main :: IO () main = hspec $ do describe "Term" $ do prop "equality is reflexive" $ - \ a -> a == (a :: ArbitraryTerm String ()) + \ a -> unTerm a == unTerm (a :: ArbitraryTerm String ()) describe "annotatedToRows" $ do it "outputs one row for single-line unchanged leaves" $