summaryrefslogtreecommitdiff
path: root/source/Felix/Meaning.hs
diff options
context:
space:
mode:
authoradelon <22380201+adelon@users.noreply.github.com>2026-08-06 17:54:00 +0200
committeradelon <22380201+adelon@users.noreply.github.com>2026-08-06 17:54:00 +0200
commit82328890108bae64b372b8d58620ebc62699de76 (patch)
tree575404c6b425c19259c0ded296f1c8ffb7ff0e2b /source/Felix/Meaning.hs
parent1a25421c2a168d420581358c8733fcd8f36f379b (diff)
Migrate to `Felix` namespaceHEADhotg
Diffstat (limited to 'source/Felix/Meaning.hs')
-rw-r--r--source/Felix/Meaning.hs12
1 files changed, 6 insertions, 6 deletions
diff --git a/source/Felix/Meaning.hs b/source/Felix/Meaning.hs
index 60c4cfc..268a1a6 100644
--- a/source/Felix/Meaning.hs
+++ b/source/Felix/Meaning.hs
@@ -9,12 +9,12 @@ module Felix.Meaning where
import Base
-import Syntax.Abstract (Sign(..))
-import Syntax.Abstract qualified as Raw
-import Syntax.Internal (VarSymbol(..), pattern FreshVar)
-import Syntax.Internal qualified as Sem
-import Syntax.LexicalPhrase (unsafeReadPhrase)
-import Report.Location
+import Felix.Syntax.Abstract (Sign(..))
+import Felix.Syntax.Abstract qualified as Raw
+import Felix.Syntax.Internal (VarSymbol(..), pattern FreshVar)
+import Felix.Syntax.Internal qualified as Sem
+import Felix.Syntax.LexicalPhrase (unsafeReadPhrase)
+import Felix.Report.Location
import Bound
import Control.Monad.Except