Development.IDE.GHC.Error

Producing Diagnostic values

diagFromErrMsgs :: Text -> DynFlags -> Bag ErrMsg -> [FileDiagnostic]

diagFromErrMsg :: Text -> DynFlags -> ErrMsg -> [FileDiagnostic]

Produce a GHC-style error from a source span and a message.

diagFromString :: Text -> DiagnosticSeverity -> SrcSpan -> String -> [FileDiagnostic]

Produce a GHC-style error from a source span and a message.

diagFromStrings :: Text -> DiagnosticSeverity -> [(SrcSpan, String)] -> [FileDiagnostic]

Produce a bag of GHC-style errors (ErrorMessages) from the given (optional) locations and message strings.

diagFromGhcException :: Text -> DynFlags -> GhcException -> [FileDiagnostic]

catchSrcErrors :: DynFlags -> Text -> IO a -> IO (Either [FileDiagnostic] a)

Catch the errors thrown by GHC (SourceErrors and compiler-internal exceptions like Panic or InstallationError), and turn them into diagnostics

utilities working with spans

srcSpanToLocation :: SrcSpan -> Maybe Location

srcSpanToRange :: SrcSpan -> Maybe Range

Convert a GHC SrcSpan to a DAML compiler Range

realSrcSpanToRange :: RealSrcSpan -> Range

realSrcLocToPosition :: RealSrcLoc -> Position

srcSpanToFilename :: SrcSpan -> Maybe FilePath

Extract a file name from a GHC SrcSpan (use message for unhelpful ones) FIXME This may not be an _absolute_ file name, needs fixing.

zeroSpan

Arguments

:: FastString

file path of span

-> RealSrcSpan

creates a span with zero length in the filename of the argument passed

realSpan :: SrcSpan -> Maybe RealSrcSpan

isInsideSrcSpan :: Position -> SrcSpan -> Bool

noSpan :: String -> SrcSpan

Produces an "unhelpful" source span with the given string.

utilities working with severities

toDSeverity :: Severity -> Maybe DiagnosticSeverity

Convert a GHC severity to a DAML compiler Severity. Severities below Warning level are dropped (returning Nothing).