[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3

Author: banacorn

.github/workflows/test.yaml

@@ -130,14 +130,14 @@ jobs:
     # things to be cached
 
     - name: 💾 Cache stack global package db
-      if:   steps.stack-global.outputs.cache-hit != 'true'
+      if:   always() && steps.stack-global.outputs.cache-hit != 'true'
       uses: actions/cache/save@v4
       with:
         path: ${{ env.STACK_ROOT }}
         key: ${{ steps.stack-global.outputs.cache-primary-key }}
 
     - name: 💾 Cache .stack-work
-      if:   steps.stack-work.outputs.cache-hit != 'true'
+      if:   always() && steps.stack-work.outputs.cache-hit != 'true'
       uses: actions/cache/save@v4
       with:
         path: .stack-work

agda-language-server.cabal

@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           agda-language-server
-version:        0.2.7.0.1.3
+version:        0.2.7.0.1.4
 synopsis:       An implementation of language server protocal (LSP) for Agda 2.
 description:    Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
 category:       Development

src/Options.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE DeriveGeneric #-}
 
 module Options
@@ -64,26 +65,19 @@ options =
   ]
 
 usage :: String
+usage = 
 #if MIN_VERSION_Agda(2,7,0)
-usage = "Agda v2.7.0.1 Language Server v4\nUsage: als [Options...]\n"
-#endif
-#if MIN_VERSION_Agda(2,6,4)
-usage = "Agda v2.6.4.3 Language Server v4\nUsage: als [Options...]\n"
-#endif
-#if MIN_VERSION_Agda(2,6,3)
-usage = "Agda v2.6.3 Language Server v4\nUsage: als [Options...]\n"
+  "Agda v2.7.0.1 Language Server v4\nUsage: als [Options...]\n"
+#elif MIN_VERSION_Agda(2,6,4)
+  "Agda v2.6.4.3 Language Server v4\nUsage: als [Options...]\n"
+#elif MIN_VERSION_Agda(2,6,3)
+  "Agda v2.6.3 Language Server v4\nUsage: als [Options...]\n"
+#else
+  "Unsupported Agda version\n"
 #endif
 
 usageAboutAgdaOptions :: String
-usageAboutAgdaOptions =
-  "\n\
-  \  +AGDA [Options for Agda ...] -AGDA\n\
-  \    To pass command line options to Agda, put them in between '+AGDA' and '-AGDA'\n\
-  \    For example:\n\
-  \      als -p=3000 +AGDA --cubical -AGDA\n\
-  \    If you are using agda-mode on VS Code, put them in the Settings at:\n\
-  \      agdaMode.connection.commandLineOptions\n\
-  \"
+usageAboutAgdaOptions = "\n  +AGDA [Options for Agda ...] -AGDA\n    To pass command line options to Agda, put them in between '+AGDA' and '-AGDA'\n    For example:\n      als -p=3000 +AGDA --cubical -AGDA\n    If you are using agda-mode on VS Code, put them in the Settings at:\n      agdaMode.connection.commandLineOptions\n"
 
 parseOpts :: [String] -> IO (Options, [String])
 parseOpts argv = case getOpt Permute options argv of