Auto generate hie.yaml from flake?

[Montmorency]

Following up on the HLS issues in order to get VSCode to work with HLS properly there is some manual configuration required.

The ihp-boilerplate at the moment contains a hie.yaml file:

# Used by haskell-language-server to find GHC settings
cradle:
    bios:
        shell: "$IHP/.hie-bios"

The line shell:"$IHP/.hie-bios" and the IHP variable does not seem to be getting expanded as expected when the language server is run. (You can test by running haskell-language-server-wrapper and noting the path). This seems to cause the language server to fail to load

Would it be better to autogenerate the hie.yaml file with a correct ${ihp}/.hie-bios path expanded everytime the user runs devenv up from within the boiler plates flake.nix? Something e.g.

                devenv.shells.default = {
...
                   process.hie-yaml.exec = ''
echo "cradle:
    bios:
        shell: "${ihp}.hie-bios"" > hie.yaml
                   ''
              };
            };
...

[mpscholten]

IMO it would be better to just fidx the hie.yaml. Generating the file always comes with it's own issues