From c4f6a161c027c617d1e1eebad7c1dc997465a247 Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Wed, 10 Jan 2024 09:27:52 +0300
Subject: [PATCH] Update syntax in phi unit tests

---
 eo-phi-normalizer/test/eo/phi/rule-1.yaml | 8 ++++----
 eo-phi-normalizer/test/eo/phi/rule-5.yaml | 6 +++---
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/eo-phi-normalizer/test/eo/phi/rule-1.yaml b/eo-phi-normalizer/test/eo/phi/rule-1.yaml
index 1652f59e5..c37aa8a9c 100644
--- a/eo-phi-normalizer/test/eo/phi/rule-1.yaml
+++ b/eo-phi-normalizer/test/eo/phi/rule-1.yaml
@@ -2,14 +2,14 @@
   input: |
     {}
   normalized: |
-    { ν ↦ { Δ ⤍ 00- } }
+    { ν ↦ ⟦ Δ ⤍ 00- ⟧ }
   prettified: |
     { }
 
 - name: 'Program in normal form (2)'
   input: |
-    { φ ↦ { φ ↦ { φ ↦ { } } } }
+    { φ ↦ ⟦ φ ↦ ⟦ φ ↦ ⟦ ⟧ ⟧ ⟧ }
   normalized: |
-    { ν ↦ { Δ ⤍ 03- }, φ ↦ { ν ↦ { Δ ⤍ 02- }, φ ↦ { ν ↦ { Δ ⤍ 01- }, φ ↦ { ν ↦ { Δ ⤍ 00- } } } } }
+    { ν ↦ ⟦ Δ ⤍ 03- ⟧, φ ↦ ⟦ ν ↦ ⟦ Δ ⤍ 02- ⟧, φ ↦ ⟦ ν ↦ ⟦ Δ ⤍ 01- ⟧, φ ↦ ⟦ ν ↦ ⟦ Δ ⤍ 00- ⟧ ⟧ ⟧ ⟧ }
   prettified: |
-    { φ ↦ { φ ↦ { φ ↦ { } } } }
+    { φ ↦ ⟦ φ ↦ ⟦ φ ↦ ⟦ ⟧ ⟧ ⟧ }
diff --git a/eo-phi-normalizer/test/eo/phi/rule-5.yaml b/eo-phi-normalizer/test/eo/phi/rule-5.yaml
index 5ae468e8b..ab5ee703a 100644
--- a/eo-phi-normalizer/test/eo/phi/rule-5.yaml
+++ b/eo-phi-normalizer/test/eo/phi/rule-5.yaml
@@ -1,7 +1,7 @@
 - name: 'Simple static attribute reference'
   input: |
-    { φ ↦ { } , a ↦ ξ.φ }
+    { φ ↦ ⟦ ⟧ , a ↦ ξ.φ }
   normalized: |
-    { ν ↦ { Δ ⤍ 01- }, φ ↦ { ν ↦ { Δ ⤍ 00- } }, a ↦ ξ.φ }
+    { ν ↦ ⟦ Δ ⤍ 01- ⟧, φ ↦ ⟦ ν ↦ ⟦ Δ ⤍ 00- ⟧ ⟧, a ↦ ξ.φ }
   prettified: |
-    { φ ↦ { }, a ↦ ξ.φ }
+    { φ ↦ ⟦ ⟧, a ↦ ξ.φ }