Move to Felix namespace

15 files changed, 22 insertions, 23 deletions

diff --git a/source/Checking/Declaration.hs b/source/Checking/Declaration.hs
index 4f129e5..c1ecd55 100644
--- a/source/Checking/Declaration.hs
+++ b/source/Checking/Declaration.hs
@@ -178,13 +178,12 @@ import Checking.Core
 import Checking.Foundation
 import Checking.Identity
 import Checking.Kernel.Derivation
-import Checking.Semantic
 import Checking.Materialization qualified as Materialization
+import Checking.Semantic
 import Checking.SetConstruction
-import Felix.Cache.Codec
-    ( encodeCache )
+import Felix.Cache.Codec (encodeCache)
 import Felix.Module
-import Provers qualified
+import Felix.Provers qualified as Provers
 import Report.Location
 import Syntax.Abstract (StructSymbol)
 
diff --git a/source/Checking/Exact/Datatype.hs b/source/Checking/Exact/Datatype.hs
index 14ee58c..61d99e5 100644
--- a/source/Checking/Exact/Datatype.hs
+++ b/source/Checking/Exact/Datatype.hs
@@ -34,7 +34,7 @@ import Checking.Semantic
 import Checking.Typed.Inductive qualified as Typed
 import Felix.Cache.Codec
 import Felix.Module
-import Meaning qualified
+import Felix.Meaning qualified as Meaning
 import Report.Location
 import Syntax.Abstract qualified as Raw
 import Syntax.Interface
diff --git a/source/Checking/Exact/Inductive.hs b/source/Checking/Exact/Inductive.hs
index 74208fc..441c773 100644
--- a/source/Checking/Exact/Inductive.hs
+++ b/source/Checking/Exact/Inductive.hs
@@ -29,7 +29,7 @@ import Checking.Identity
 import Checking.Semantic
 import Checking.Typed.Inductive qualified as Typed
 import Felix.Cache.Codec
-import Meaning qualified
+import Felix.Meaning qualified as Meaning
 import Report.Location
 import Syntax.Abstract qualified as Raw
 import Syntax.Interface
diff --git a/source/CommandLine.hs b/source/Felix/CommandLine.hs
index 4a31061..701020f 100644
--- a/source/CommandLine.hs
+++ b/source/Felix/CommandLine.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE NoImplicitPrelude #-}
 
-module CommandLine
+module Felix.CommandLine
     ( runCommandLine
     , Input(..)
     , VerificationOptions(..)
@@ -18,6 +18,7 @@ import Base
 import Felix.OutputPlan qualified as Output
 import Felix.Parse (ParseWorkspaceError)
 import Felix.Parse qualified as Parse
+import Felix.Provers qualified as Provers
 import Felix.RequestDump qualified as RequestDump
 import Felix.Source (SafeRelativePath)
 import Felix.Source.Graph qualified as SourceGraph
@@ -25,7 +26,6 @@ import Felix.Store qualified as Store
 import Felix.Verification qualified as Verification
 import Felix.Version qualified as Version
 import Felix.Workspace qualified as Workspace
-import Provers qualified
 import Render.Html.Export qualified as HtmlExport
 import Render.Html.Layout qualified as HtmlLayout
 import Render.Html.Output qualified as HtmlOutput
diff --git a/source/Meaning.hs b/source/Felix/Meaning.hs
index 3ef8911..60c4cfc 100644
--- a/source/Meaning.hs
+++ b/source/Felix/Meaning.hs
@@ -5,7 +5,7 @@
 {-# LANGUAGE TupleSections #-}
 
 
-module Meaning where
+module Felix.Meaning where
 
 
 import Base
diff --git a/source/Provers.hs b/source/Felix/Provers.hs
index 0da5053..eb6f62c 100644
--- a/source/Provers.hs
+++ b/source/Felix/Provers.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE RecordWildCards #-}
 
-module Provers
+module Felix.Provers
     ( Vampire
     , vampire
     , VampireTaskMode(..)
diff --git a/source/Felix/RequestDump.hs b/source/Felix/RequestDump.hs
index b87e4e5..312e1da 100644
--- a/source/Felix/RequestDump.hs
+++ b/source/Felix/RequestDump.hs
@@ -16,7 +16,7 @@ import Felix.Verification
     ( VerificationRequestObserver
     , verificationRequestObserver
     )
-import Provers
+import Felix.Provers
 
 import Control.Exception (displayException)
 import Control.Exception qualified as Exception
diff --git a/source/Felix/Verification.hs b/source/Felix/Verification.hs
index 04e653a..572f3ce 100644
--- a/source/Felix/Verification.hs
+++ b/source/Felix/Verification.hs
@@ -57,10 +57,10 @@ import Felix.Module (localDeclarationOrdinal)
 import Felix.Parse (ParseWorkspaceError(..), ParsedSourceWorkspace)
 import Felix.Parse qualified as Felix
 import Felix.Prelude qualified as Prelude
+import Felix.Provers
 import Felix.Source
-import Felix.Store qualified as Store
 import Felix.Source.Graph (ResolvedSourceGraph)
-import Provers
+import Felix.Store qualified as Store
 import Render.Html.Export qualified as HtmlExport
 import Report.Location
 import Syntax.Abstract qualified as Raw
diff --git a/source/Test/Unit/Backend.hs b/source/Test/Unit/Backend.hs
index fac7507..5243c96 100644
--- a/source/Test/Unit/Backend.hs
+++ b/source/Test/Unit/Backend.hs
@@ -8,7 +8,7 @@ import Checking.Backend.Problem
 import Checking.Backend.Tptp
 import Checking.Core
 import Checking.Foundation qualified as Foundation
-import Provers
+import Felix.Provers
 import Tptp.UnsortedFirstOrder qualified as Tptp
 
 import Data.Map.Strict qualified as Map
diff --git a/source/Test/Unit/CommandLine.hs b/source/Test/Unit/CommandLine.hs
index 123ee97..110e00d 100644
--- a/source/Test/Unit/CommandLine.hs
+++ b/source/Test/Unit/CommandLine.hs
@@ -3,12 +3,12 @@
 module Test.Unit.CommandLine (unitTests) where
 
 import Base
-import CommandLine
+import Felix.CommandLine
 import Felix.Output.Atomic qualified as Atomic
 import Felix.Source (safeRelativePath)
 import Felix.Store qualified as Store
 import Felix.Verification qualified as Verification
-import Provers qualified
+import Felix.Provers qualified as Provers
 import Render.Html.Output qualified as HtmlOutput
 import Report.Location (pattern Nowhere)
 
diff --git a/source/Test/Unit/Declaration.hs b/source/Test/Unit/Declaration.hs
index ebf1468..32d979c 100644
--- a/source/Test/Unit/Declaration.hs
+++ b/source/Test/Unit/Declaration.hs
@@ -19,8 +19,8 @@ import Felix.Math.Codec
 import Felix.Module
 import Felix.Source
 import Felix.Store qualified as Store
-import Meaning qualified
-import Provers qualified
+import Felix.Meaning qualified as Meaning
+import Felix.Provers qualified as Provers
 import Report.Location
 import Syntax.Abstract qualified as Raw
 import Syntax.Interface qualified as Syntax
diff --git a/source/Test/Unit/Meaning.hs b/source/Test/Unit/Meaning.hs
index 8954aa7..acb33d0 100644
--- a/source/Test/Unit/Meaning.hs
+++ b/source/Test/Unit/Meaning.hs
@@ -3,7 +3,7 @@
 module Test.Unit.Meaning (unitTests) where
 
 import Base
-import Meaning
+import Felix.Meaning
 import Report.Location
 import Syntax.Abstract qualified as Raw
 import Syntax.Internal qualified as Sem
diff --git a/source/Test/Unit/Module.hs b/source/Test/Unit/Module.hs
index 6ffbe40..13fe90d 100644
--- a/source/Test/Unit/Module.hs
+++ b/source/Test/Unit/Module.hs
@@ -17,7 +17,7 @@ import Checking.Identity qualified as Identity
 import Checking.Module qualified as Module
 import Checking.Semantic qualified as Semantic
 import Checking.Typed.Inductive qualified as TypedInductive
-import CommandLine qualified
+import Felix.CommandLine qualified as CommandLine
 import Felix.Module
 import Felix.Math.Codec
 import Felix.Parse qualified as Parse
@@ -28,7 +28,7 @@ import Felix.Store qualified as Store
 import Felix.Verification qualified as Verification
 import Felix.Workspace qualified as Workspace
 import Report.Location
-import Provers qualified
+import Felix.Provers qualified as Provers
 import Paths_felix qualified as Paths
 import Syntax.Abstract qualified as Raw
 import Syntax.Internal qualified as Internal
diff --git a/source/Test/Unit/Provers.hs b/source/Test/Unit/Provers.hs
index 9d4e771..0d0cf1b 100644
--- a/source/Test/Unit/Provers.hs
+++ b/source/Test/Unit/Provers.hs
@@ -5,7 +5,7 @@ module Test.Unit.Provers (unitTests) where
 import Base hiding (Empty)
 import Checking.Backend.Problem
 import Checking.Core
-import Provers
+import Felix.Provers
 
 import Control.Concurrent
     ( newEmptyMVar
diff --git a/source/Test/Unit/Store.hs b/source/Test/Unit/Store.hs
index e2896c3..fb207d1 100644
--- a/source/Test/Unit/Store.hs
+++ b/source/Test/Unit/Store.hs
@@ -18,7 +18,7 @@ import Felix.Parsed.Payload qualified as ParsedPayload
 import Felix.Source.Content qualified as Content
 import Felix.Source
 import Felix.Store qualified as Store
-import Provers qualified
+import Felix.Provers qualified as Provers
 import Syntax.Interface qualified as Syntax
 
 import Control.Concurrent (threadDelay)