hie-bios fails to compile where "stack repl" succeeds, even with hie.yaml: cradle: stack:

[kenton-waters]

Summary

I am trying to get a minimal example of LiquidHaskell working with HLS, and I'm running into the following issue:

The haskell-language-server-wrapper command produces an inappropriate compilation error:

Unknown type constructor `Pos`
    matchTyCon: Pos

The stack repl command, on the other hand, compiles successfully without producing the error (this is the correct behavior, as the code itself is correct).

hie-bios produces the error despite the project containing a hie.yaml file with these contents:

cradle:
  stack:

My understanding was that this was supposed to make hie-bios build "the same way" that Stack does. Why might hie-bios build differently than Stack, even when the hie.yaml file is present?

Steps to re-create

Platform: Arch Linux

Install the following via ghcup:

• HLS 2.6.0.0
• GHC 9.8.1
• Stack 3.1.1
• cabal 3.12.1

Example project: git clone https://github.com/ucsd-progsys/lh-plugin-demo.git

Replace the contents of the stack.yaml file with the following:

resolver: nightly-2024-01-26

system-ghc: true

packages:
  - .
extra-deps:
  - rest-rewrite-0.4.3
  - smtlib-backends-0.3
  - smtlib-backends-process-0.3
  - store-0.7.18
  - store-core-0.4.4.7
  - liquidhaskell-0.9.8.1
  - liquidhaskell-boot-0.9.8.1
  - liquid-fixpoint-0.9.6.3
  - liquid-prelude-0.9.2.8.1@rev:1
  - liquid-vector-0.13.1.0.1

nix:
  packages: [cacert, git, hostname, z3]

Create a top-level hie.yaml file with the following contents:

cradle:
  stack:

Replace the contents of src/Demo/Client.hs with the following:

{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
module Demo.Client where
import Demo.Lib

{-@ posId :: Pos -> Pos @-}
posId :: Int -> Int
posId = id

At this point,

stack build compiles with no errors.

stack ghci compiles with no errors.

stack repl compiles with no errors.

haskell-language-server-wrapper produces a compilation error:

Unknown type constructor `Pos`
    matchTyCon: Pos

Why might hie-bios build differently than Stack, even when the hie.yaml file is present? Thank you in advance for your help!

Extra context

I was able to recreate this issue with ghcid.

The command ghcid fails to compile with the same error that hie-bios is producing.

The command ghcid "--command=stack ghci" compiles with no errors, giving the All good message. This does not immediately help me resolve the issue with hie-bios, though.

[fendor]

Hi, thanks for the bug report! I don't think this is a bug in hie-bios but rather in HLS. hie-bios only provides the ghc-options necessary to compile your project with.

I tried to compile the project manually with the ghc options obtained via hie-bios and got the following:

> ghc-9.8.1 -i -odir=/home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/odir -hidir=/home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/odir -hide-all-packages -XHaskell2010 -i/home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/dist/x86_64-linux/ghc-9.8.1/build -i/home/hugin/Documents/haskell/lh-plugin-demo/src -i/home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/dist/x86_64-linux/ghc-9.8.1/build/autogen -i/home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/dist/x86_64-linux/ghc-9.8.1/build/global-autogen -stubdir=/home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/dist/x86_64-linux/ghc-9.8.1/build -package-id=liquid-prelude-0.9.2.8-8zraW8z2owHAEhb0P3tDGo -package-id=liquid-vector-0.13.1.0-2T74o3DTtNzK4JABAuryaz -package-id=liquidhaskell-0.9.8.1-3lXTk19XlPi9nmyENSWJM4 -package-id=base-4.19.0.0-c1f2 -package-id=containers-0.6.8-3ad8 -package-id=vector-0.13.1.0-KLRdDSd3uHFIQ31PGs0nmd -optP-include -optP/home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/ghci/a0a68725/cabal_macros.h -ghci-script=/home/hugin/.cache/stack/ghci-script/5bc6b1db/ghci-script -package-db /home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/install/x86_64-linux/d4c8f414142aee2f8b016a70837de24cb43b23734076e10fac976bd4f0184c0e/9.8.1/pkgdb -package-db /home/hugin/.stack/snapshots/x86_64-linux/d4c8f414142aee2f8b016a70837de24cb43b23734076e10fac976bd4f0184c0e/9.8.1/pkgdb -package-db /home/hugin/.ghcup/ghc/9.8.1/lib/ghc-9.8.1/lib/package.conf.d Demo.Lib Demo.Erase Demo.Client
[1 of 3] Compiling Demo.Erase       ( /home/hugin/Documents/haskell/lh-plugin-demo/src/Demo/Erase.hs, /home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/odir/Demo/Erase.o )

**** LIQUID: SAFE (26 constraints checked) *************************************
[2 of 3] Compiling Demo.Lib         ( /home/hugin/Documents/haskell/lh-plugin-demo/src/Demo/Lib.hs, /home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/odir/Demo/Lib.o )

**** LIQUID: SAFE (48 constraints checked) *************************************
[3 of 3] Compiling Demo.Client      ( /home/hugin/Documents/haskell/lh-plugin-demo/src/Demo/Client.hs, /home/hugin/Documents/haskell/lh-plugin-demo/.stack-work/odir/Demo/Client.o )

**** LIQUID: SAFE (1 constraints checked) **************************************

Which looks correct.
Thus, I moving this issue to the HLS repo.

Also, I can reproduce the issue, thank you very much for the detailed reproducer!