Skip to content

Miscellaneous fixes #672

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Dec 14, 2020
Merged

Miscellaneous fixes #672

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
6cc853a
Update hie.yaml
berberman Dec 14, 2020
bab10e8
Remove invalid links in package description of tactics plugin
berberman Dec 14, 2020
76161d7
Rename hie.yaml.* to hie-*.yaml
berberman Dec 14, 2020
2fd380d
Update hie.yaml
berberman Dec 14, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -685,16 +685,16 @@ templates.
#### Using Cabal

```shell
$ cp hie.yaml.cbl hie.yaml
$ cp install/hie.yaml.cbl install/hie.yaml
$ cp hie-cabal.yaml hie.yaml
$ cp install/hie-cabal.yaml install/hie.yaml
```

#### Using Stack

```shell
$ cp hie.yaml.stack hie.yaml
$ cp install/hie.yaml.stack install/hie.yaml
$ cp ghcide/hie.yaml.stack ghcide/hie.yaml
$ cp hie-stack.yaml hie.yaml
$ cp install/hie-stack.yaml install/hie.yaml
$ cp ghcide/hie-stack.yaml ghcide/hie.yaml
$ stack build --test --no-run-tests
$ cd install
$ stack build
Expand Down
3 changes: 3 additions & 0 deletions hie.yaml.cbl → hie-cabal.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,3 +48,6 @@ cradle:

- path: "./plugins/hls-hlint-plugin/src"
component: "lib:hls-hlint-plugin"

- path: "./plugins/hls-retrie-plugin/src"
component: "lib:hls-retrie-plugin"
0 hie.yaml.stack → hie-stack.yaml
View file
Open in desktop
File renamed without changes.
0 install/hie.yaml.cbl → install/hie-cabal.yaml
View file
Open in desktop
File renamed without changes.
0 install/hie.yaml.stack → install/hie-stack.yaml
View file
Open in desktop
File renamed without changes.
12 changes: 2 additions & 10 deletions plugins/tactics/hls-tactics-plugin.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,12 +2,8 @@ cabal-version: 2.2
category: Development
name: hls-tactics-plugin
version: 0.5.1.0
synopsis: LSP server for GHC
description:
Please see the README on GitHub at <https://github.com/isovector/hls-tactics-plugin#readme>

homepage: https://github.com/isovector/hls-tactics-plugin#readme
bug-reports: https://github.com/isovector/hls-tactics-plugin/issues
synopsis: Tactics plugin for Haskell Language Server
description: Please see README.md
author: Sandy Maguire, Reed Mullanix
maintainer: [email protected]
copyright: Sandy Maguire, Reed Mullanix
Expand All @@ -23,10 +19,6 @@ flag pedantic
default: False
manual: True

source-repository head
type: git
location: https://github.com/isovector/hls-tactics-plugin

library
hs-source-dirs: src
exposed-modules:
Expand Down