Minimal working example that demonstrates problem

This builds against `lts-15.0` with GHC 8.8.2; unfortunately **ghcide**
segfaults when checking it for errors. Demonstrates
https://github.com/digital-asset/ghcide/issues/444 as requested by
@mpickering whose help we hugely appreciate.

hie.yaml

@@ -1 +1 @@
-cradle: {stack: {component: "hello:test:check" }}
+cradle: {stack: {component: "hello:exe:hello" }}

src/HelloMain.hs

@@ -1,10 +1,19 @@
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TemplateHaskell #-}
 {-# OPTIONS_GHC -fno-warn-unused-imports #-}
 
 module Main where
 
 import Core.Program
 
+version :: Version
+version = $(fromPackage)
+
 main :: IO ()
-main = execute $ do
+main = do
+    context <- configure version None blank
+    executeWith context program
+
+program :: Program None ()
+program = do
     write "Hello World"

stack.yaml

@@ -1,7 +1 @@
-resolver: lts-14.22
-
-extra-deps:
-  - core-text-0.2.3.3
-  - core-data-0.2.1.5
-  - core-program-0.2.4.2
-
+resolver: lts-15.0