From dc35b241b6fc13a197ed7048cc55502301e30635 Mon Sep 17 00:00:00 2001 From: jneira Date: Tue, 4 Feb 2020 09:25:16 +0100 Subject: [PATCH 1/2] Warning about not working hie.yaml --- hie.yaml.cbl | 4 +++- hie.yaml.stack | 8 +++++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/hie.yaml.cbl b/hie.yaml.cbl index bd9bd92b6e..86ff605f83 100644 --- a/hie.yaml.cbl +++ b/hie.yaml.cbl @@ -1,7 +1,9 @@ # This is a sample hie.yaml file for opening haskell-language-server # in hie, using cabal as the build system. To use is, copy it to a # file called 'hie.yaml' - +# WARNING: This configuration does not currently work. +# It needs support for multi-cradle in ghcide: +# https://github.com/digital-asset/ghcide/issues/113 cradle: cabal: diff --git a/hie.yaml.stack b/hie.yaml.stack index 855c172c14..08f52bec6a 100644 --- a/hie.yaml.stack +++ b/hie.yaml.stack @@ -1,7 +1,13 @@ # This is a sample hie.yaml file for opening haskell-language-server # in hie, using stack as the build system. To use is, copy it to a # file called 'hie.yaml' - +# WARNING: This configuration does not currently work. +# It needs support for multi-cradle in ghcide: +# https://github.com/digital-asset/ghcide/issues/113 +# A "working" hie.yaml (only for lib modules) could be +# ``` +# cradle: { stack: { component: "haskell-language-server:lib" } } +# ``` cradle: stack: - path: "./test" From fbdc352f7c64d0969800830b28c262144865a20c Mon Sep 17 00:00:00 2001 From: jneira Date: Tue, 4 Feb 2020 23:48:10 +0100 Subject: [PATCH 2/2] Note that hie.yaml's work with hie --- hie.yaml.cbl | 5 +++-- hie.yaml.stack | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/hie.yaml.cbl b/hie.yaml.cbl index 86ff605f83..d68984ceec 100644 --- a/hie.yaml.cbl +++ b/hie.yaml.cbl @@ -1,8 +1,9 @@ # This is a sample hie.yaml file for opening haskell-language-server # in hie, using cabal as the build system. To use is, copy it to a # file called 'hie.yaml' -# WARNING: This configuration does not currently work. -# It needs support for multi-cradle in ghcide: +# WARNING: This configuration works for hie but does not for +# haskell-language-server or ghcide. +# They need support for multi-cradle: # https://github.com/digital-asset/ghcide/issues/113 cradle: cabal: diff --git a/hie.yaml.stack b/hie.yaml.stack index 08f52bec6a..2e841d5763 100644 --- a/hie.yaml.stack +++ b/hie.yaml.stack @@ -1,8 +1,9 @@ # This is a sample hie.yaml file for opening haskell-language-server # in hie, using stack as the build system. To use is, copy it to a # file called 'hie.yaml' -# WARNING: This configuration does not currently work. -# It needs support for multi-cradle in ghcide: +# WARNING: This configuration works for hie but does not for +# haskell-language-server or ghcide. +# They need support for multi-cradle: # https://github.com/digital-asset/ghcide/issues/113 # A "working" hie.yaml (only for lib modules) could be # ```