force complete pattern (#4209)

Author: soulomoon

ghcide/ghcide.cabal

@@ -35,6 +35,7 @@ flag pedantic
 
 common warnings
   ghc-options:
+    -Werror=incomplete-patterns
     -Wall
     -Wincomplete-uni-patterns
     -Wunused-packages
@@ -43,6 +44,7 @@ common warnings
     -fno-ignore-asserts
 
 library
+  import: warnings
   default-language:   GHC2021
   build-depends:
     , aeson

ghcide/src/Development/IDE/GHC/CoreFile.hs

@@ -202,6 +202,7 @@ tcIfaceId = fmap getIfaceId . tcIfaceDecl False <=< unmangle_decl_name
         name' <- newIfaceName (mkVarOcc $ getOccString name)
         pure $ ifid{ ifName = name' }
       | otherwise = pure ifid
+    unmangle_decl_name _ifid = error $ "tcIfaceId: got non IfaceId: "
     -- invariant: 'IfaceId' is always a 'IfaceId' constructor
     getIfaceId (AnId identifier) = identifier
     getIfaceId _                 = error "tcIfaceId: got non Id"

ghcide/src/Development/IDE/GHC/Orphans.hs

@@ -60,6 +60,7 @@ instance NFData Unlinked where
   rnf (DotA f)   = rnf f
   rnf (DotDLL f) = rnf f
   rnf (BCOs a b) = seqCompiledByteCode a `seq` liftRnf rwhnf b
+  rnf  _         = error "rnf: not implemented for Unlinked"
 instance Show PackageFlag where show = unpack . printOutputable
 instance Show InteractiveImport where show = unpack . printOutputable
 instance Show PackageName  where show = unpack . printOutputable

ghcide/src/Development/IDE/LSP/Notifications.hs

@@ -41,7 +41,6 @@ import           Numeric.Natural
 data Log
   = LogShake Shake.Log
   | LogFileStore FileStore.Log
-  | LogOpenTextDocument !Uri
   | LogOpenedTextDocument !Uri
   | LogModifiedTextDocument !Uri
   | LogSavedTextDocument !Uri