From b59a9de99a0c385bda95dae580cf28e8b3b888cc Mon Sep 17 00:00:00 2001 From: jaschdoc <60233376+jaschdoc@users.noreply.github.com> Date: Sun, 10 Mar 2024 20:22:12 +0100 Subject: [PATCH] feat: update for Flix version 0.45.0 --- src/Parser.flix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Parser.flix b/src/Parser.flix index a20cb76..c77cb0d 100644 --- a/src/Parser.flix +++ b/src/Parser.flix @@ -224,7 +224,7 @@ mod Parser { /// Returns `chars` as a string. /// pub def stringify(chars: m[Char]): String with Foldable[m] = region r { - let sb = StringBuilder.new(r); + let sb = StringBuilder.empty(r); let ap = sb |> flip(StringBuilder.append!); Foldable.forEach(ap, chars); StringBuilder.toString(sb)