From 8759a64cf0bac7b5ad578a71d58545a132f037ed Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Fri, 22 Jul 2022 11:12:09 +0100 Subject: [PATCH] Remove redundant WARNING prefix It's logged as a warning, it shouldn't duplicate the severity in the message. --- ghcide/src/Development/IDE/Core/Rules.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghcide/src/Development/IDE/Core/Rules.hs b/ghcide/src/Development/IDE/Core/Rules.hs index 818aaea3a3..b82d928fa0 100644 --- a/ghcide/src/Development/IDE/Core/Rules.hs +++ b/ghcide/src/Development/IDE/Core/Rules.hs @@ -184,7 +184,7 @@ instance Pretty Log where "SUCCEEDED LOADING HIE FILE FOR" <+> pretty path LogExactPrint log -> pretty log LogTypecheckedFOI path -> vcat - [ "WARNING: Typechecked a file which is not currently open in the editor:" <+> pretty (fromNormalizedFilePath path) + [ "Typechecked a file which is not currently open in the editor:" <+> pretty (fromNormalizedFilePath path) , "This can indicate a bug which results in excessive memory usage." , "This may be a spurious warning if you have recently closed the file." , "If you haven't opened this file recently, please file a report on the issue tracker mentioning"