[ ci ] Unify the CI workflow for testing on all platforms

Author: banacorn

.github/workflows/test-unix.yaml renamed to .github/workflows/test.yaml

@@ -1,6 +1,6 @@
 # modified from https://github.com/simonmichael/hledger/blob/master/.github/workflows/linux.yml
 
-name: CI (Unix)
+name: CI
 
 defaults:
   run:
@@ -19,7 +19,7 @@ jobs:
     runs-on: ${{ matrix.os }} 
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-latest]
+        os: [ubuntu-latest, macos-latest, windows-latest]
       fail-fast: false
     steps:
 
@@ -78,13 +78,10 @@ jobs:
       run: |
         echo PKG_CONFIG_PATH="$(brew --prefix)/opt/icu4c/lib/pkgconfig" >> "${GITHUB_ENV}"
 
-    # - name: ⏬ Setup Haskell
-    #   uses: haskell-actions/setup@v2
-    #   id: setup-haskell
-    #   with:
-    #     ghc-version: ${{ env.GHC_VERSION }}
-    #     enable-stack: true
-    #     stack-version: 'latest'
+    - name: Install the icu library (on Windows)
+      if: runner.os == 'Windows'
+      run: |
+        stack exec -- pacman -S --noconfirm mingw-w64-x86_64-icu mingw-w64-x86_64-pkgconf
 
     - name: 📸 Build Snapshot
       run: stack build --no-terminal --only-snapshot -j1
@@ -95,13 +92,6 @@ jobs:
     - name: 🧰 Build ALS
       run: stack build
 
-  
-    # - name: 🔨 Build
-    #   run: stack build
-
-    # - name: 🧪 Run tests
-    #   run: stack test
-  
     # things to be cached
 
     - name: 💾 Cache stack global package db
@@ -119,7 +109,7 @@ jobs:
         key: ${{ steps.stack-work.outputs.cache-primary-key }}
 
 
-    - name: 🔗 Bundle ICU4C DLLs (on macOS)
+    - name: 📦 Bundle executable, DLLs and data files (on macOS)
       if: runner.os == 'macOS'
       run: |  # Bundle icu4c DLLs
 
@@ -209,8 +199,8 @@ jobs:
         echo "    old path  : $icudata_path"
         echo "    new path  : $icudata_path_new"
 
-
-    - name: 📦 Compress files
+    - name: 📦 Bundle executable, DLLs and data files (on Linux and macOS)
+      if: runner.os != 'Windows'
       id: zip
       run: |
         # locate the data-dir
@@ -243,18 +233,53 @@ jobs:
           mv zip/als-macos.zip .
         fi
 
+    - name: 📦 Bundle executable, DLLs and data files (on Windows)
+      if: runner.os == 'Windows'
+      shell: pwsh
+      run: |
+        # locate the data-dir
+        $snapshot = (stack path --snapshot-install-root)
+        $datadir = (ls $snapshot\share *Agda-* -Recurse -Directory).FullName
+
+        # locate the executable
+        $local = (stack path --local-install-root)
+        $executable = (ls $local\bin *als.exe* -Recurse -File).FullName
+
+        # make a temporary directory for compresssing
+        mkdir zip
+        cp -r $datadir zip/data
+        cp $executable zip/
+
+        # include text-icu DLLs
+        $mingw64bin = (stack path --extra-library-dirs).split(", ") -match "\\bin"
+        ls $mingw64bin
+        cp (ls $mingw64bin *libicudt*) zip/
+        cp (ls $mingw64bin *libicuin*) zip/
+        cp (ls $mingw64bin *libicuuc*) zip/
+        ls zip
+
+        # compress
+        cd zip
+        Compress-Archive * als-windows.zip
+        cd ..
+        mv zip/als-windows.zip .
+  
+  
     - name: 🧪 Run tests
       run: stack test --ta --als-path=zip/als
 
-    # - name: 🔨 Build and run tests
-    #   run: |
-
-    #     stack test --ta --als-path=zip/als
-
     # release (optional)
     - name: 🚢 Release Artifacts
       if: startsWith(github.ref, 'refs/tags/v') # so that only commits with a git tag would upload artifacts
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
-        gh release upload ${{ github.ref_name }} als-ubuntu.zip --clobber
+        if [[ ${{ runner.os }} == "Linux" ]]; then
+          gh release upload ${{ github.ref_name }} als-ubuntu.zip --clobber
+        fi
+        if [[ ${{ runner.os }} == "macOS" ]]; then
+          gh release upload ${{ github.ref_name }} als-macos.zip --clobber
+        fi
+        if [[ ${{ runner.os }} == "Windows" ]]; then
+          gh release upload ${{ github.ref_name }} als-windows.zip --clobber
+        fi

test/Test/LSP.hs

@@ -1,40 +1,42 @@
 {-# LANGUAGE OverloadedStrings #-}
+
 module Test.LSP (tests) where
 
-import Control.Applicative.Combinators
+import Agda
 import Control.Monad.IO.Class
+import qualified Data.Aeson as JSON
 import Language.LSP.Protocol.Message
-import Language.LSP.Protocol.Types
 import Language.LSP.Test
+import Switchboard (agdaCustomMethod)
 import Test.Tasty
 import Test.Tasty.HUnit
-import qualified Data.Aeson                    as JSON
-import Switchboard ( agdaCustomMethod )
-import Agda
 
 tests :: FilePath -> TestTree
-tests alsPath = 
+tests alsPath =
   testGroup
     "LSP"
     [ testCase "load" (demo alsPath)
     ]
 
 demo :: FilePath -> IO ()
-demo alsPath = 
+demo alsPath = do
+  putStrLn $ "Running LSP tests on the server with the following path to the als executable: " ++ alsPath
   runSession alsPath fullLatestClientCaps "test/data/" $ do
-  doc <- openDoc "A.agda" "agda"
+    doc <- openDoc "A.agda" "agda"
 
-  -- Use your favourite favourite combinators.
-  -- skipManyTill loggingNotification (count 1 publishDiagnosticsNotification)
+    -- Use your favourite favourite combinators.
+    -- skipManyTill loggingNotification (count 1 publishDiagnosticsNotification)
 
-  testCustomMethod "IOTCM \"test/data/A.agdaa\" NonInteractive Direct( Cmd_load \"test/data/A.agda\" [] )"
+    testCustomMethod "IOTCM \"test/data/A.agdaa\" NonInteractive Direct( Cmd_load \"test/data/A.agda\" [] )"
 
-  -- Or use one of the helper functions
-  -- getDocumentSymbols doc >>= liftIO . print
+-- Or use one of the helper functions
+-- getDocumentSymbols doc >>= liftIO . print
 
 -- | Sends a custom method request to the server and expects a response of `CmdRes Nothing`
 testCustomMethod :: String -> Session ()
-testCustomMethod cmd = do 
-  TResponseMessage _ _ rsp <- request agdaCustomMethod $ 
-    JSON.toJSON $ CmdReq cmd
+testCustomMethod cmd = do
+  TResponseMessage _ _ rsp <-
+    request agdaCustomMethod $
+      JSON.toJSON $
+        CmdReq cmd
   liftIO $ rsp @?= Right (JSON.toJSON (CmdRes Nothing))