ES: added some stuff to Test

Author: Anabra

grin/src/Test/ExtendedSyntax/Assertions.hs

@@ -38,8 +38,8 @@ instance SameAs ETResult where
 -- instance SameAs ProducerGraph where
 --   sameAs found expected = (PP found) `shouldBe` (PP expected)
 
--- instance SameAs ExpChanges where
---   sameAs found expected = found `shouldBe` expected
+instance SameAs ExpChanges where
+  sameAs found expected = found `shouldBe` expected
 
 instance (SameAs a, SameAs b) => SameAs (a, b) where
   sameAs (f1, f2) (e1, e2) = do

grin/src/Test/ExtendedSyntax/New/Test.hs

@@ -22,6 +22,9 @@ type TestExpContext = (String, (TypeEnv, Exp) -> (TypeEnv, Exp))
 testExprContext :: (((TypeEnv, Exp) -> (TypeEnv, Exp)) -> Spec) -> Spec
 testExprContext mkSpec = forM_ contexts $ \(label, ctx) -> describe (concat ["(", label, ")"]) $ mkSpec ctx
 
+testExprContextIn :: [TestExpContext] -> (((TypeEnv, Exp) -> (TypeEnv, Exp)) -> Spec) -> Spec
+testExprContextIn ctxs mkSpec = forM_ ctxs $ \(label, ctx) -> describe (concat ["(", label, ")"]) $ mkSpec ctx
+
 testExprContextE :: ((Exp -> Exp) -> Spec) -> Spec
 testExprContextE mkSpec =
   forM_ contexts $ \(label, ctx) ->