Miscellaneous fixes

[berberman]

Retrie plugin is missing in hie.yaml.cbl, and tactics plugin's cabal file contains some invalid links.
BTW, I don't think .cbl is a good filename extension, since github would consider it as a COBOL source file :P

[jneira]

BTW, I don't think .cbl is a good filename extension, since github would consider it as a COBOL source file :P

agree, maybe .cabal would be better, but it is used for cabal package config so 🤷

[jneira]

thanks for the fixes, i'll wait for @isovector review for tactic plugin changes

[berberman]

And tactics plugin needs a LICENSE file :)

[jneira]

what about stack.hie.yaml and cabal.hie.yaml (or something alike)?

[berberman]

Agree, editors would treat these files as yaml properly.

[jneira]

@berberman nice, do you mind include that file renaming in this pr or do you think is better to left it for a new one?

[jneira]

The readme should be updated too (if we change file names):

haskell-language-server/README.md

Line 688 in 3717653

$ cp hie.yaml.cbl hie.yaml

[berberman]

@berberman nice, do you mind include that file renaming in this pr or do you think is better to left it for a new one?

I prefer including it in this PR, just as the title said XD

[berberman]

We shoud do the same thing to ghcide :)

[jneira]

I think tactic plugin cabal config values was set thinking it would be in a separate repo so i think we could remove it until that move is actually done.
So i am gonna merge it to include in the next release, we always could revert bab10e8
//cc @isovector

[jneira]

thanks (again 🙂 )!

[Ailrun]

LGTM!