Update src/fun/transform/desugar_with_blocks.rs

Co-authored-by: imaqtkatt <135721694+imaqtkatt@users.noreply.github.com>
This commit is contained in:
Nicolas Abril 2024-05-30 23:58:39 +02:00 committed by GitHub
parent 137591f7ae
commit 6f6747ddc9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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();