diff --git a/hie.yaml b/hie.yaml index d23f66c1c4412b87351f6c0ddaaa4f9d5850d5e5..34dde0452ad1f13d1823293b06b2d70f5b1698e3 100644 --- a/hie.yaml +++ b/hie.yaml @@ -1,5 +1,8 @@ # This is a IDE configuration file which tells IDEs such as `ghcide` how # to set up a GHC API session for this project. # +# To use it in windows systems replace the config with +# cradle: {bios: {program: "./hadrian/hie-bios.bat"}} +# # The format is documented here - https://github.com/mpickering/hie-bios cradle: {bios: {program: "./hadrian/hie-bios"}}