ghcide doesn't work on latest master

[thufschmitt]

Describe the bug

Since 844f87f running ghcide fails with

ghcide: target ‘"-pgma"’ is not a module name or a source file

To Reproduce

git checkout ghcide-ghc8.8 # ghcide branch rebased on top of master and with an updated ghcide stackage snapshot to build on top of ghc8.8
./.ghcide tests/binary-custom-main/Main.hs # Run ghcide on a random file

Expected behavior

The command should return without any error

Environment

• OS name + version:
• Bazel version:
• Version of the rules: 844f87f

Additional context

./.hie-bios prints some quoted flags which are taken litterally by ghcide.
Crudely removing the quotes in the script removes the error (see the diff below)

diff --git a/.hie-bios b/.hie-bios
index 31f3736a..2cd6becf 100755
--- a/.hie-bios
+++ b/.hie-bios
@@ -15,7 +15,8 @@ hie_bios_flags() {
       {
         print $0 > "/dev/stderr"
       }
-    '
+    ' \
+    | sed 's/"//g'
   # Make warnings non-fatal
   echo -Wwarn
 }

[hanshoglund]

I can't reproduce this in master using Nixpkgs.

I've attempted a CI reproduction here: #1375

[aherrmann]

This was fixed in da560fd as part of #1262. Sorry, I forgot to close this issue afterwards.