From 0ae6559deba5490aebde8edf17b65b482d6058d5 Mon Sep 17 00:00:00 2001 From: JonathanStarup <32037926+JonathanStarup@users.noreply.github.com> Date: Tue, 19 Nov 2024 09:28:09 +0100 Subject: [PATCH] work --- flix.toml | 2 +- src/ListSet.flix | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/flix.toml b/flix.toml index 46ba6a7..292f606 100644 --- a/flix.toml +++ b/flix.toml @@ -1,6 +1,6 @@ [package] name = "ListSet" description = "A set that just requires equality." -version = "0.4.0" +version = "0.5.0" flix = "0.53.0" authors = ["Jonathan Lindegaard Starup"] diff --git a/src/ListSet.flix b/src/ListSet.flix index eb717c1..672dae1 100644 --- a/src/ListSet.flix +++ b/src/ListSet.flix @@ -215,17 +215,17 @@ mod ListSet { /// This is a linear time operation. /// pub def toString(s: ListSet[t]): String with ToString[t], Eq[t] = { - use StringBuilder.appendString!; + use StringBuilder.appendString; region rc { let sb = StringBuilder.empty(rc); - appendString!("ListSet(", sb); + appendString("ListSet(", sb); match extract(s) { case hd :: tl => - appendString!("${hd}", sb); - tl |> List.forEach(x -> appendString!(", ${x}", sb)) + appendString("${hd}", sb); + tl |> List.forEach(x -> appendString(", ${x}", sb)) case Nil => () }; - appendString!(")", sb); + appendString(")", sb); StringBuilder.toString(sb) } }