rename back to PrettyPrintingUtils for easier review

lemastero · Dec 18, 2023 · 9fce154 · 9fce154
1 parent 30d761f
commit 9fce154
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/agda2rust.cabal b/agda2rust.cabal
@@ -30,7 +30,7 @@ library
   exposed-modules:     Agda.Compiler.Rust.Backend
                        Agda.Compiler.Rust.RustExpr
                        Agda.Compiler.Rust.CommonTypes
-                       Agda.Compiler.Rust.PrettyPrintRustExpr
+                       Agda.Compiler.Rust.PrettyPrintingUtils
                        Agda.Compiler.Rust.AgdaToRustExpr
                        Paths_agda2rust
   autogen-modules:     Paths_agda2rust

diff --git a/src/Agda/Compiler/Rust/Backend.hs b/src/Agda/Compiler/Rust/Backend.hs
@@ -24,7 +24,7 @@ import Agda.TypeChecking.Monad (
 
 import Agda.Compiler.Rust.CommonTypes ( Options(..), CompiledDef, ModuleEnv )
 import Agda.Compiler.Rust.AgdaToRustExpr ( compile, compileModule )
-import Agda.Compiler.Rust.PrettyPrintRustExpr ( prettyPrintRustExpr )
+import Agda.Compiler.Rust.PrettyPrintingUtils ( prettyPrintRustExpr )
 
 runRustBackend :: IO ()
 runRustBackend = runAgda [Backend backend]

diff --git a/...Agda/Compiler/Rust/PrettyPrintRustExpr.hs → ...Agda/Compiler/Rust/PrettyPrintingUtils.hs b/...Agda/Compiler/Rust/PrettyPrintRustExpr.hs → ...Agda/Compiler/Rust/PrettyPrintingUtils.hs
@@ -1,4 +1,4 @@
-module Agda.Compiler.Rust.PrettyPrintRustExpr ( prettyPrintRustExpr, moduleHeader ) where
+module Agda.Compiler.Rust.PrettyPrintingUtils ( prettyPrintRustExpr, moduleHeader ) where
 
 import Data.List ( intersperse )
 import Agda.Compiler.Rust.CommonTypes ( CompiledDef )

diff --git a/test/RustBackendTest.hs b/test/RustBackendTest.hs
@@ -7,7 +7,7 @@ import Test.HUnit (
   , runTestTT)
 import System.Exit ( exitFailure , exitSuccess )
 import Agda.Compiler.Rust.Backend ( backend, defaultOptions )
-import Agda.Compiler.Rust.PrettyPrintRustExpr ( moduleHeader )
+import Agda.Compiler.Rust.PrettyPrintingUtils ( moduleHeader )
 
 import Agda.Compiler.Backend ( isEnabled )