From f88d2026b46945ec2d45461ae4c545366aff7d30 Mon Sep 17 00:00:00 2001 From: Pavel Glushkov Date: Sat, 16 Apr 2022 13:46:09 +0200 Subject: [PATCH] Fix typo in reverse-append comment --- lib/std/core.kk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/std/core.kk b/lib/std/core.kk index 65d469ced..121a60dee 100644 --- a/lib/std/core.kk +++ b/lib/std/core.kk @@ -394,7 +394,7 @@ pub fun reverse(xs : list) : list reverse-append( xs, Nil ) // Efficiently reverse a list `xs` and append it to `tl`: -// `reverse-append(xs,tl) == reserve(xs) ++ tl +// `reverse-append(xs,tl) == reverse(xs) ++ tl pub fun reverse-append( xs : list, tl : list ) : list fun reverse-acc(acc : list, ys : list ) : list match ys