From fa7e8346a784d31b0b70d5c4a4f9824d4af5c2a5 Mon Sep 17 00:00:00 2001 From: lemastero Date: Mon, 18 Dec 2023 15:47:41 +0100 Subject: [PATCH] rename after refactor to RustExpr - fix --- src/Agda/Compiler/Rust/PrettyPrintRustExpr.hs | 3 +-- test/RustBackendTest.hs | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Agda/Compiler/Rust/PrettyPrintRustExpr.hs b/src/Agda/Compiler/Rust/PrettyPrintRustExpr.hs index 134dab2..51dcf37 100644 --- a/src/Agda/Compiler/Rust/PrettyPrintRustExpr.hs +++ b/src/Agda/Compiler/Rust/PrettyPrintRustExpr.hs @@ -1,4 +1,4 @@ -module Agda.Compiler.Rust.PrettyPrintRustExpr ( prettyPrintRustExpr ) where +module Agda.Compiler.Rust.PrettyPrintRustExpr ( prettyPrintRustExpr, moduleHeader ) where import Data.List ( intersperse ) import Agda.Compiler.Rust.CommonTypes ( CompiledDef ) @@ -61,4 +61,3 @@ prettyPrintFunctionBody fBody = "return" <> exprSeparator <> fBody <> ";" moduleHeader :: String -> String moduleHeader mName = "mod" <> exprSeparator <> mName <> exprSeparator - diff --git a/test/RustBackendTest.hs b/test/RustBackendTest.hs index ed6e6b5..4532f44 100644 --- 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.AgdaToRustExpr ( moduleHeader ) +import Agda.Compiler.Rust.PrettyPrintRustExpr ( moduleHeader ) import Agda.Compiler.Backend ( isEnabled )