From 23995e007d722e7561657dc6f1518bc92de01883 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Wed, 20 Mar 2024 12:41:44 +0100 Subject: [PATCH] Embed IO -> EmbedIO --- app/Commands/Dev/Core/Compile/Base.hs | 2 +- app/Commands/Dev/Tree/Compile/Base.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/app/Commands/Dev/Core/Compile/Base.hs b/app/Commands/Dev/Core/Compile/Base.hs index 5d5e248cab..d25399f103 100644 --- a/app/Commands/Dev/Core/Compile/Base.hs +++ b/app/Commands/Dev/Core/Compile/Base.hs @@ -173,7 +173,7 @@ runAnomaPipeline pa@PipelineArg {..} = do let code = Nockma.ppSerialize tab' writeFileEnsureLn nockmaFile code -runCasmPipeline :: (Members '[Embed IO, App, TaggedLock] r) => PipelineArg -> Sem r () +runCasmPipeline :: (Members '[EmbedIO, App, TaggedLock] r) => PipelineArg -> Sem r () runCasmPipeline pa@PipelineArg {..} = do entryPoint <- getEntry pa casmFile <- Compile.outputFile _pipelineArgOptions _pipelineArgFile diff --git a/app/Commands/Dev/Tree/Compile/Base.hs b/app/Commands/Dev/Tree/Compile/Base.hs index 2301d05a84..7a2c3425cd 100644 --- a/app/Commands/Dev/Tree/Compile/Base.hs +++ b/app/Commands/Dev/Tree/Compile/Base.hs @@ -130,7 +130,7 @@ runAnomaPipeline pa@PipelineArg {..} = do let code = Nockma.ppSerialize tab' writeFileEnsureLn nockmaFile code -runCasmPipeline :: (Members '[Embed IO, App, TaggedLock] r) => PipelineArg -> Sem r () +runCasmPipeline :: (Members '[EmbedIO, App, TaggedLock] r) => PipelineArg -> Sem r () runCasmPipeline pa@PipelineArg {..} = do entryPoint <- getEntry pa casmFile <- Compile.outputFile _pipelineArgOptions _pipelineArgFile