diff options
Diffstat (limited to 'source/Felix/Verification.hs')
| -rw-r--r-- | source/Felix/Verification.hs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/source/Felix/Verification.hs b/source/Felix/Verification.hs index 572f3ce..716beea 100644 --- a/source/Felix/Verification.hs +++ b/source/Felix/Verification.hs @@ -48,11 +48,11 @@ module Felix.Verification import Base -import Checking.Declaration qualified as Declaration -import Checking.Foundation qualified as Foundation -import Checking.Identity qualified as Identity -import Checking.Module qualified as Typed -import Checking.Semantic qualified as Semantic +import Felix.Checking.Declaration qualified as Declaration +import Felix.Checking.Foundation qualified as Foundation +import Felix.Checking.Identity qualified as Identity +import Felix.Checking.Module qualified as Typed +import Felix.Checking.Semantic qualified as Semantic import Felix.Module (localDeclarationOrdinal) import Felix.Parse (ParseWorkspaceError(..), ParsedSourceWorkspace) import Felix.Parse qualified as Felix @@ -61,10 +61,10 @@ import Felix.Provers import Felix.Source import Felix.Source.Graph (ResolvedSourceGraph) import Felix.Store qualified as Store -import Render.Html.Export qualified as HtmlExport -import Report.Location -import Syntax.Abstract qualified as Raw -import Syntax.Interface qualified as Syntax +import Felix.Render.Html.Export qualified as HtmlExport +import Felix.Report.Location +import Felix.Syntax.Abstract qualified as Raw +import Felix.Syntax.Interface qualified as Syntax import Control.Exception qualified as Exception import Control.Monad (unless) |