[ test ] Path of lib.prim

agda · Aug 19, 2021 · 28e7f8e · 28e7f8e
1 parent eb18d20
commit 28e7f8e
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 6 deletions.
diff --git 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
@@ -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 <https://github.com/banacorn/agda-language-server#readme>
 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
@@ -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"