From 28e7f8ef7bf9e6718f8b051b62bb95dd02736126 Mon Sep 17 00:00:00 2001 From: Ting-Gian LUA Date: Thu, 19 Aug 2021 11:57:27 +0800 Subject: [PATCH] [ test ] Path of lib.prim --- .github/workflows/test-mac.yaml | 1 + agda-language-server.cabal | 11 ++++++----- package.yaml | 2 +- 3 files changed, 8 insertions(+), 6 deletions(-) diff --git a/.github/workflows/test-mac.yaml b/.github/workflows/test-mac.yaml index 8dc0a3c..3c4a31f 100644 --- a/.github/workflows/test-mac.yaml +++ b/.github/workflows/test-mac.yaml @@ -73,6 +73,7 @@ jobs: id: install run: | stack install + stack path cp ~/.local/bin/als . # - name: 📦 Some linker shit diff --git a/agda-language-server.cabal b/agda-language-server.cabal index 151f860..84d24c0 100644 --- a/agda-language-server.cabal +++ b/agda-language-server.cabal @@ -1,13 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.33.0. +-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack --- --- hash: 7a8436d062f0282114deea0760e6916246b921eb5e16e606b2d3e99adb2582d7 name: agda-language-server -version: 0.1.0.2 +version: 0.1.0.3 synopsis: An implementation of language server protocal (LSP) for Agda 2. description: Please see the README on GitHub at category: Development @@ -59,7 +57,10 @@ library Paths_agda_language_server hs-source-dirs: src - default-extensions: PatternSynonyms LambdaCase OverloadedStrings + default-extensions: + PatternSynonyms + LambdaCase + OverloadedStrings ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures build-depends: Agda ==2.6.2 diff --git a/package.yaml b/package.yaml index b02a9a5..dfdae4d 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: agda-language-server -version: 0.1.0.2 +version: 0.1.0.3 github: "banacorn/agda-language-server" license: MIT author: "Ting-Gian LUA"