Address #253.

fpco · Sep 13, 2014 · 79c9f91 · 79c9f91
1 parent 820f980
commit 79c9f91
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/IdeSession/Update/ExecuteSessionUpdate.hs b/IdeSession/Update/ExecuteSessionUpdate.hs
@@ -864,15 +864,19 @@ instance Dummy ExplicitSharingCache where
 
 instance Dummy GhcCompileResult where
   dummy = GhcCompileResult {
-      ghcCompileErrors   = dummy
-    , ghcCompileLoaded   = dummy
+      ghcCompileLoaded   = dummy
     , ghcCompileCache    = dummy
     , ghcCompileImports  = dummy
     , ghcCompileAuto     = dummy
     , ghcCompileSpanInfo = dummy
     , ghcCompilePkgDeps  = dummy
     , ghcCompileExpTypes = dummy
     , ghcCompileUseSites = dummy
+    , ghcCompileErrors   = force [SourceError {
+          errorKind = KindError
+        , errorSpan = TextSpan (Text.pack "No location information")
+        , errorMsg  = Text.pack "GHC server died (dummy error)"
+        }]
     }
 
 {-------------------------------------------------------------------------------