Support running pipeline

.github/workflows/ghc.yml

@@ -27,10 +27,24 @@ jobs:
         uses: actions/checkout@v4
 
       - name: 🧰 Setup Stack
-        uses: freckle/stack-action@v4
+        # FIXME use freckle/stack-action@v4 when https://github.com/freckle/stack-action/pull/31 is merged
+        uses: deemp/stack-action@main
         with:
           fast: ${{ github.ref_name != 'master' }}
 
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 20
+
+      - uses: actions/setup-java@v4
+        with:
+          distribution: "zulu"
+          java-version: 21
+
+      - run: npm install -g [email protected]
+
+      - run: ./pipeline.sh
+
   haddock:
     needs: [build]
     if: ${{ github.ref_name == 'master' }}

.gitignore

@@ -1,3 +1,7 @@
+.eoc
+before.txt
+after.txt
+app.eo
 *.bak
 eo-phi-normalizer/src/Language/EO/Phi/Syntax/Lex.hs
 eo-phi-normalizer/src/Language/EO/Phi/Syntax/Par.hs

eo-phi-normalizer/grammar/EO/Phi/Syntax.cf

@@ -4,7 +4,7 @@
 --
 -- This is a non-ambiguous grammar for φ-programs.
 
-token Bytes ({"--"} | ["0123456789ABCDEF"] ["0123456789ABCDEF"] ({"-"} ["0123456789ABCDEF"] ["0123456789ABCDEF"])* {"--"}) ;
+token Bytes ({"--"} | ["0123456789ABCDEF"] ["0123456789ABCDEF"] {"-"} | ["0123456789ABCDEF"] ["0123456789ABCDEF"] ({"-"} ["0123456789ABCDEF"] ["0123456789ABCDEF"])+) ;
 token Function upper (char - [" \r\n\t,.|':;!-?][}{)(⟧⟦"])* ;
 token LabelId  lower (char - [" \r\n\t,.|':;!-?][}{)(⟧⟦"])* ;
 token AlphaIndex ({"α0"} | {"α"} (digit - ["0"]) (digit)* ) ;