Add Development.IDE.GHC.Error to the public API (#369)

And noSpan
This commit is contained in:
Alan Zimmerman 2020-01-26 13:26:09 +00:00 committed by Moritz Kiefer
parent 19a346a3cc
commit 742df7dd66
2 changed files with 2 additions and 1 deletions

View File

@ -106,6 +106,7 @@ library
Development.IDE.Core.RuleTypes
Development.IDE.Core.Service
Development.IDE.Core.Shake
Development.IDE.GHC.Error
Development.IDE.GHC.Util
Development.IDE.Import.DependencyInformation
Development.IDE.LSP.LanguageServer
@ -125,7 +126,6 @@ library
Development.IDE.Core.FileExists
Development.IDE.GHC.Compat
Development.IDE.GHC.CPP
Development.IDE.GHC.Error
Development.IDE.GHC.Orphans
Development.IDE.GHC.Warnings
Development.IDE.Import.FindImports

View File

@ -17,6 +17,7 @@ module Development.IDE.GHC.Error
, zeroSpan
, realSpan
, isInsideSrcSpan
, noSpan
-- * utilities working with severities
, toDSeverity