Add minor fixes

anoma · Jul 20, 2022 · 650aea9 · 650aea9
1 parent a69713a
commit 650aea9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/src/Juvix/Prelude.hs b/src/Juvix/Prelude.hs
@@ -1,6 +1,6 @@
 module Juvix.Prelude
   ( module Juvix.Prelude.Base,
-    module Juvix.Prelude.Debug,
+    module Juvix.Prelude.Trace,
     module Juvix.Prelude.Error,
     module Juvix.Prelude.Files,
     module Juvix.Prelude.Lens,
@@ -9,8 +9,8 @@ module Juvix.Prelude
 where
 
 import Juvix.Prelude.Base
-import Juvix.Prelude.Debug
 import Juvix.Prelude.Error
 import Juvix.Prelude.Files
 import Juvix.Prelude.Lens
 import Juvix.Prelude.Loc
+import Juvix.Prelude.Trace
diff --git a/src/Juvix/Prelude/Debug.hs → src/Juvix/Prelude/Trace.hs b/src/Juvix/Prelude/Debug.hs → src/Juvix/Prelude/Trace.hs
@@ -1,9 +1,9 @@
-module Juvix.Prelude.Debug where
+module Juvix.Prelude.Trace where
 
+import Data.Text qualified as Text
 import Debug.Trace qualified as T
 import GHC.IO (unsafePerformIO)
 import Juvix.Prelude.Base
-import Data.Text qualified as Text
 
 setDebugMsg :: Text -> Text
 setDebugMsg msg = "[debug] " <> fmsg

diff --git a/src/Juvix/Syntax/MicroJuvix/TypeChecker.hs b/src/Juvix/Syntax/MicroJuvix/TypeChecker.hs
@@ -14,8 +14,8 @@ import Juvix.Syntax.MicroJuvix.Language.Extra
 import Juvix.Syntax.MicroJuvix.LocalVars
 import Juvix.Syntax.MicroJuvix.MicroJuvixArityResult
 import Juvix.Syntax.MicroJuvix.MicroJuvixTypedResult
-import Juvix.Syntax.MicroJuvix.TypeChecker.Inference
 import Juvix.Syntax.MicroJuvix.Pretty
+import Juvix.Syntax.MicroJuvix.TypeChecker.Inference
 
 addIdens :: Member (State TypesTable) r => TypesTable -> Sem r ()
 addIdens idens = modify (HashMap.union idens)