From 854ae6ed13804912b8ca1954626867d12b142f45 Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Tue, 9 Jan 2024 09:02:20 +0300
Subject: [PATCH] Update tests to use the new syntax

---
 eo-phi-normalizer/test/eo/phi/normal-1.yaml |  2 +-
 eo-phi-normalizer/test/eo/phi/normal-2.yaml |  8 ++++----
 eo-phi-normalizer/test/eo/phi/test.yaml     | 10 +++++-----
 3 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/eo-phi-normalizer/test/eo/phi/normal-1.yaml b/eo-phi-normalizer/test/eo/phi/normal-1.yaml
index 758437236..889a32292 100644
--- a/eo-phi-normalizer/test/eo/phi/normal-1.yaml
+++ b/eo-phi-normalizer/test/eo/phi/normal-1.yaml
@@ -1,4 +1,4 @@
-name: "Program in normal form (1)"
+name: 'Program in normal form (1)'
 input: |
   {}
 normalized: |
diff --git a/eo-phi-normalizer/test/eo/phi/normal-2.yaml b/eo-phi-normalizer/test/eo/phi/normal-2.yaml
index 2420abe2f..5efc8bb9c 100644
--- a/eo-phi-normalizer/test/eo/phi/normal-2.yaml
+++ b/eo-phi-normalizer/test/eo/phi/normal-2.yaml
@@ -1,7 +1,7 @@
-name: "Program in normal form (2)"
+name: 'Program in normal form (2)'
 input: |
-  { φ ↦ { φ ↦ { φ ↦ { } } } }
+  { φ ↦ ⟦ φ ↦ ⟦ φ ↦ ⟦ ⟧ ⟧ ⟧ }
 normalized: |
-  { φ ↦ { φ ↦ { φ ↦ { } } } }
+  { φ ↦ ⟦ φ ↦ ⟦ φ ↦ ⟦ ⟧ ⟧ ⟧ }
 prettified: |
-  { φ ↦ { φ ↦ { φ ↦ { } } } }
+  { φ ↦ ⟦ φ ↦ ⟦ φ ↦ ⟦ ⟧ ⟧ ⟧ }
diff --git a/eo-phi-normalizer/test/eo/phi/test.yaml b/eo-phi-normalizer/test/eo/phi/test.yaml
index 741ee8506..01c49577b 100644
--- a/eo-phi-normalizer/test/eo/phi/test.yaml
+++ b/eo-phi-normalizer/test/eo/phi/test.yaml
@@ -1,10 +1,10 @@
-name: "Simple static attribute reference"
+name: 'Simple static attribute reference'
 input: |
-  { φ ↦ {   } , a ↦ ξ.φ }
+  { φ ↦ ⟦   ⟧ , a ↦ ξ.φ }
 normalized: |
   {
-    φ ↦ {},
-    a ↦ {}
+    φ ↦ ⟦⟧,
+    a ↦ ⟦⟧
   }
 prettified: |
-  { φ ↦ { }, a ↦ ξ.φ }
+  { φ ↦ ⟦ ⟧, a ↦ ξ.φ }