From 6f6747ddc9c528805c664ad14301efee9bdbbd0e Mon Sep 17 00:00:00 2001 From: Nicolas Abril Date: Thu, 30 May 2024 23:58:39 +0200 Subject: [PATCH] Update src/fun/transform/desugar_with_blocks.rs Co-authored-by: imaqtkatt <135721694+imaqtkatt@users.noreply.github.com> --- src/fun/transform/desugar_with_blocks.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/fun/transform/desugar_with_blocks.rs b/src/fun/transform/desugar_with_blocks.rs index a290ff59..14df5781 100644 --- a/src/fun/transform/desugar_with_blocks.rs +++ b/src/fun/transform/desugar_with_blocks.rs @@ -6,7 +6,7 @@ use crate::{ use std::collections::HashSet; impl Ctx<'_> { - /// Converts `ask` terms inside `do` blocks into calls to a monadic bind operation. + /// Converts `ask` terms inside `with` blocks into calls to a monadic bind operation. pub fn desugar_with_blocks(&mut self) -> Result<(), Diagnostics> { self.info.start_pass();