Change the test Yaml format to an array of tests

Co-authored-by: Danila Danko <[email protected]>

eo-phi-normalizer/test/Language/EO/PhiSpec.hs

@@ -14,10 +14,10 @@ spec :: Spec
 spec = do
   tests <- runIO (allPhiTests "test/eo/phi/")
   describe "Normalizer" $ do
-    forM_ tests $ \PhiTest{..} -> do
+    forM_ tests $ mapM_ $ \PhiTest{..} -> do
       it name $ do
         Phi.printTree (Phi.normalize input) `shouldBe` Phi.printTree normalized
   describe "Prettify" $ do
-    forM_ tests $ \PhiTest{..} -> do
+    forM_ tests $ mapM_ $ \PhiTest{..} -> do
       it name $ do
         Phi.printTree input `shouldBe` dropWhileEnd isSpace prettified

eo-phi-normalizer/test/Test/EO/Phi.hs

@@ -24,7 +24,7 @@ data PhiTest = PhiTest
   }
   deriving (Generic, FromJSON)
 
-allPhiTests :: FilePath -> IO [PhiTest]
+allPhiTests :: FilePath -> IO [[PhiTest]]
 allPhiTests dir = do
   paths <- listDirectory dir
   forM (sort paths) $ \path ->

eo-phi-normalizer/test/eo/phi/rule-1.yaml

@@ -0,0 +1,15 @@
+- name: 'Program in normal form (1)'
+  input: |
+    {}
+  normalized: |
+    { ν ↦ { Δ ⤍ 00- } }
+  prettified: |
+    { }
+
+- name: 'Program in normal form (2)'
+  input: |
+    { φ ↦ { φ ↦ { φ ↦ { } } } }
+  normalized: |
+    { ν ↦ { Δ ⤍ 03- }, φ ↦ { ν ↦ { Δ ⤍ 02- }, φ ↦ { ν ↦ { Δ ⤍ 01- }, φ ↦ { ν ↦ { Δ ⤍ 00- } } } } }
+  prettified: |
+    { φ ↦ { φ ↦ { φ ↦ { } } } }

eo-phi-normalizer/test/eo/phi/rule-5.yaml

@@ -0,0 +1,7 @@
+- name: 'Simple static attribute reference'
+  input: |
+    { φ ↦ { } , a ↦ ξ.φ }
+  normalized: |
+    { ν ↦ { Δ ⤍ 01- }, φ ↦ { ν ↦ { Δ ⤍ 00- } }, a ↦ ξ.φ }
+  prettified: |
+    { φ ↦ { }, a ↦ ξ.φ }