@@ -45,6 +45,9 @@ async function downloadTool(name) {
4545 const storagePath = getStorageForTool(name);
4646 console.log("Downloading " + storagePath);
4747 const urls = await getHLSAssets();
48+ if (!(name in urls)) {
49+ sendPermanentNotification("There is no pre-built HLS for GHC " + name ,"There is no pre-built version of HLS for GHC " + name + ". You can either build HLS yourself or update your project to one of the pre-built versions: https://github.com/haskell/haskell-language-server/releases")
50+ }
4851 const response = await fetch(urls[name]);
4952 if (!response.ok) {
5053 console.error(response.statusText);
@@ -194,4 +197,3 @@ function which(name) {
194197 shell: true,
195198 }).then((p) => p.trim())
196199}
197−