@@ -175,7 +175,7 @@ runGhciRepl
175175 :: MonadObelisk m
176176 => FilePath -- ^ Path to .ghci
177177 -> m ()
178−runGhciRepl dotGhci = inProjectShell "ghc" $ unwords $ "ghci" : ["-ghci-script", dotGhci]
178+runGhciRepl dotGhci = inProjectShell "ghc" $ unwords $ "ghci" : ["-no-user-package-db", "-ghci-script", dotGhci]
179179
180180-- | Run ghcid
181181runGhcid
@@ -188,7 +188,7 @@ runGhcid dotGhci mcmd = callCommand $ unwords $ "ghcid" : opts
188188 opts =
189189 [ "-W"
190190 --TODO: The decision of whether to use -fwarn-redundant-constraints should probably be made by the user
191− , "--command='ghci -Wall -ignore-dot-ghci -fwarn-redundant-constraints -ghci-script " <> dotGhci <> "' "
191+ , "--command='ghci -Wall -ignore-dot-ghci -fwarn-redundant-constraints -no-user-package-db -ghci-script " <> dotGhci <> "' "
192192 , "--reload=config"
193193 , "--outputfile=ghcid-output.txt"
194194 ] <> testCmd