Test against EO compiler

.github/workflows/ghc.yml

@@ -41,49 +41,26 @@ jobs:
         with:
           hlint-bin: ${{ steps.get-hlint-bin.outputs.hlint-bin }}
 
-  build:
-    name: "Build and test with GHC"
+  pipeline:
+    name: Run pipeline
     needs: check
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
         os: [ubuntu-latest, windows-latest, macos-latest]
-
-    steps:
-      - name: 📥 Checkout repository
-        uses: actions/checkout@v4
-
-      - uses: haskell-actions/run-fourmolu@v10
-        if: matrix.os == 'ubuntu-latest'
-        with:
-          version: "0.14.0.0"
-          pattern: |
-            eo-phi-normalizer/**/*.hs
-            !eo-phi-normalizer/src/Language/EO/Phi/Syntax/**/*.hs
-            !eo-phi-normalizer/Setup.hs
-
-      - name: 🧰 Setup Stack
-        uses: freckle/stack-action@v5
-        with:
-          stack-build-arguments: ${{ github.ref_name != 'master' && '--fast' || '' }} --pedantic
-
-  pipeline:
-    if: false
-    name: "Run pipeline"
-    runs-on: ubuntu-latest
-    strategy:
       fail-fast: false
-      matrix:
-        program: [1]
 
     steps:
       - name: 📥 Checkout repository
         uses: actions/checkout@v4
+        with:
+          submodules: true
 
       - name: 🧰 Setup Stack
         uses: freckle/stack-action@v5
         with:
           stack-build-arguments: ${{ github.ref_name != 'master' && '--fast' || '' }} --pedantic
+          test: ${{ matrix.os != 'windows-latest' }}
 
       - uses: actions/setup-node@v4
         with:
@@ -94,16 +71,12 @@ jobs:
           distribution: "zulu"
           java-version: 21
 
-      - name: Install EO
-        run: npm install -g [email protected]
-
       - name: Run pipeline
-        run: ./pipeline.sh
-        env:
-          PROGRAM: ${{ matrix.program }}
+        shell: bash
+        run: ./scripts/pipeline.sh
 
   docs:
-    needs: [build]
+    needs: pipeline
     if: ${{ github.ref_name == 'master' }}
     name: "Build and upload site (master)"
     runs-on: ubuntu-latest
@@ -113,7 +86,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: 🧰 Setup Stack
-        uses: freckle/stack-action@v4
+        uses: freckle/stack-action@v5
         with:
           test: false
 
@@ -126,7 +99,7 @@ jobs:
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v1
         with:
-          mdbook-version: 'latest'
+          mdbook-version: "latest"
 
       - name: Build site
         run: |

.gitignore

@@ -43,3 +43,6 @@ __pycache__
 *.fdb_latexmk
 *.fls
 *.log
+pipeline/*
+!pipeline/config.yaml
+node_modules

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "eo"]
+	path = eo
+	url = https://github.com/objectionary/eo

eo-phi-normalizer/test/eo/phi/rules/yegor.yaml

@@ -94,24 +94,24 @@ rules:
   #   when: []
   #   tests: []
 
-  - name: Rule 5
-    description: 'ξ-dispatch'
-    context:
-      current_object: '⟦ !a ↦ !obj, !B ⟧'
-      current_attribute: '!a'
-    pattern: |
-      ξ
-    result: |
-      ⟦ !B ⟧
-    when:
-      - present_attrs:
-          attrs: ['ν', 'σ', 'ρ']
-          bindings: ['!B']
-    tests:
-      - name: Replaces ξ with the actual object
-        input: '⟦ a ↦ ⟦ ⟧, x ↦ ξ.a, ν ↦ ⟦ ⟧, σ ↦ ⟦ ⟧, ρ ↦ ⟦ ⟧ ⟧'
-        output:
-          - '⟦ a ↦ ⟦ ⟧, x ↦ ⟦ a ↦ ⟦ ⟧, ν ↦ ⟦ ⟧, σ ↦ ⟦ ⟧, ρ ↦ ⟦ ⟧ ⟧.a, ν ↦ ⟦ ⟧, σ ↦ ⟦ ⟧, ρ ↦ ⟦ ⟧ ⟧'
+  # - name: Rule 5
+  #   description: 'ξ-dispatch'
+  #   context:
+  #     current_object: '⟦ !a ↦ !obj, !B ⟧'
+  #     current_attribute: '!a'
+  #   pattern: |
+  #     ξ
+  #   result: |
+  #     ⟦ !B ⟧
+  #   when:
+  #     - present_attrs:
+  #         attrs: ['ν', 'σ', 'ρ']
+  #         bindings: ['!B']
+  #   tests:
+  #     - name: Replaces ξ with the actual object
+  #       input: '⟦ a ↦ ⟦ ⟧, x ↦ ξ.a, ν ↦ ⟦ ⟧, σ ↦ ⟦ ⟧, ρ ↦ ⟦ ⟧ ⟧'
+  #       output:
+  #         - '⟦ a ↦ ⟦ ⟧, x ↦ ⟦ a ↦ ⟦ ⟧, ν ↦ ⟦ ⟧, σ ↦ ⟦ ⟧, ρ ↦ ⟦ ⟧ ⟧.a, ν ↦ ⟦ ⟧, σ ↦ ⟦ ⟧, ρ ↦ ⟦ ⟧ ⟧'
 
   - name: Rule 6
     description: 'Accessing an α-binding'

flake.nix

@@ -159,7 +159,7 @@
             text =
               let mkProgram = n: ''
                 export PROGRAM="${builtins.toString n}"
-                ${builtins.readFile ./pipeline.sh}
+                ${builtins.readFile ./scripts/pipeline.sh}
               ''; in
 
               ''
@@ -177,7 +177,7 @@
               stack
             ];
             text = ''
-              export LANG=C.utf8
+              export LC_ALL=C.UTF-8
               mdsh
               # create sample program
               mdsh -i site/docs/src/common/sample-program.md --work_dir .

hie.yaml

@@ -9,5 +9,14 @@ cradle:
     - path: "eo-phi-normalizer/app/Paths_eo_phi_normalizer.hs"
       component: "eo-phi-normalizer:exe:normalize-phi"
 
+    - path: "eo-phi-normalizer/app/Paths_eo_phi_normalizer.hs"
+      component: "eo-phi-normalizer:exe:normalize-phi"
+
     - path: "eo-phi-normalizer/test"
       component: "eo-phi-normalizer:test:eo-phi-normalizer-test"
+
+    - path: "scripts/transform-eo-tests/app/Main.hs"
+      component: "transform-eo-tests:exe:transform-eo-tests"
+
+    - path: "scripts/transform-eo-tests/app/Paths_transform_eo_tests.hs"
+      component: "transform-eo-tests:exe:transform-eo-tests"