From b0b972a0a77fe780cc53891cb8925fc4880e6649 Mon Sep 17 00:00:00 2001 From: Ting-Gian LUA Date: Fri, 6 Dec 2024 14:20:44 +0800 Subject: [PATCH] [ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3 --- .github/workflows/test.yaml | 4 ++-- package.yaml | 2 +- src/Options.hs | 10 +++++++++- 3 files changed, 12 insertions(+), 4 deletions(-) diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index d539d1d..9f63a08 100644 --- a/.github/workflows/test.yaml +++ b/.github/workflows/test.yaml @@ -130,14 +130,14 @@ jobs: # things to be cached - name: 💾 Cache stack global package db - if: always() && steps.stack-global.outputs.cache-hit != 'true' + if: 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: always() && steps.stack-work.outputs.cache-hit != 'true' + if: steps.stack-work.outputs.cache-hit != 'true' uses: actions/cache/save@v4 with: path: .stack-work diff --git a/package.yaml b/package.yaml index abb48d8..51a84b1 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: agda-language-server -version: 0.2.7.0.1.3 +version: 0.2.7.0.1.4 github: "banacorn/agda-language-server" license: MIT author: "Ting-Gian LUA" diff --git a/src/Options.hs b/src/Options.hs index 37a13cb..a958075 100644 --- a/src/Options.hs +++ b/src/Options.hs @@ -64,7 +64,15 @@ options = ] usage :: String -usage = "Agda v2.7.0.1 Language Server v3\nUsage: als [Options...]\n" +#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" +#endif usageAboutAgdaOptions :: String usageAboutAgdaOptions =